Skip to content
@polarity-lang

Polarity

README.md

Polarity

Polarity is a programming language with dependent data and codata types

Popular repositories Loading

  1. polarity polarity Public

    A Language with Dependent Data and Codata Types

    Rust 75 5

  2. .github .github Public

    Configuration of the GitHub organization

  3. polarity-lang.github.io polarity-lang.github.io Public

    Website for polarity-lang

    HTML

  4. vscode vscode Public

    VSCode extension for the polarity programming language

    TypeScript

  5. artwork artwork Public

    Logos and mascots for polarity

  6. oopsla24 oopsla24 Public

    Demo for OOPSLA24

    Rust

Repositories

Showing 7 of 7 repositories
  • polarity Public

    A Language with Dependent Data and Codata Types

    polarity-lang/polarity’s past year of commit activity
    Rust 75 Apache-2.0 5 21 (1 issue needs help) 5 Updated Jan 6, 2025
  • polarity-lang.github.io Public

    Website for polarity-lang

    polarity-lang/polarity-lang.github.io’s past year of commit activity
    HTML 0 0 2 1 Updated Jan 5, 2025
  • codespan Public archive Forked from brendanzab/codespan

    Fork of the codespan libary

    polarity-lang/codespan’s past year of commit activity
    Rust 0 Apache-2.0 64 0 0 Updated Dec 25, 2024
  • vscode Public

    VSCode extension for the polarity programming language

    polarity-lang/vscode’s past year of commit activity
    TypeScript 0 MIT 0 2 0 Updated Nov 27, 2024
  • artwork Public

    Logos and mascots for polarity

    polarity-lang/artwork’s past year of commit activity
    0 0 1 0 Updated Mar 20, 2024
  • oopsla24 Public

    Demo for OOPSLA24

    polarity-lang/oopsla24’s past year of commit activity
    Rust 0 Apache-2.0 0 0 0 Updated Mar 4, 2024
  • .github Public

    Configuration of the GitHub organization

    polarity-lang/.github’s past year of commit activity
    0 0 0 0 Updated Mar 1, 2024

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…