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 47

  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-lang.github.io Public

    Website for polarity-lang

    polarity-lang/polarity-lang.github.io’s past year of commit activity
    HTML 0 0 1 0 Updated Sep 24, 2024
  • polarity Public

    A Language with Dependent Data and Codata Types

    polarity-lang/polarity’s past year of commit activity
    Rust 47 Apache-2.0 0 16 1 Updated Sep 24, 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 Sep 15, 2024
  • codespan Public Forked from brendanzab/codespan

    Fork of the codespan libary

    polarity-lang/codespan’s past year of commit activity
    Rust 0 Apache-2.0 58 0 0 Updated May 12, 2024
  • artwork Public

    Logos and mascots for polarity

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