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 104 7

  2. polarity-lang.github.io polarity-lang.github.io Public

    Website for polarity-lang

    HTML 1

  3. .github .github Public

    Configuration of the GitHub organization

  4. vscode vscode Public

    VSCode extension for the polarity programming language

    TypeScript

  5. artwork artwork Public

    Logos and mascots for polarity

    1

  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 104 Apache-2.0 7 26 (1 issue needs help) 5 Updated May 8, 2025
  • polarity-lang.github.io Public

    Website for polarity-lang

    polarity-lang/polarity-lang.github.io’s past year of commit activity
    HTML 1 0 2 0 Updated Apr 16, 2025
  • 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 Mar 31, 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
  • artwork Public

    Logos and mascots for polarity

    polarity-lang/artwork’s past year of commit activity
    0 1 1 1 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…