Skip to content

@polarity-lang Polarity

Change the repository type filter

All

    Repositories list

    7 repositories

    • polarity

      Public
      A Language with Dependent Data and Codata Types
      Rust
      •
      Apache License 2.0
      •4•74•20•4•Updated Dec 15, 2024Dec 15, 2024

    • polarity-lang.github.io

      Public
      Website for polarity-lang
      HTML
      •0•0•2•1•Updated Dec 11, 2024Dec 11, 2024

    • vscode

      Public
      VSCode extension for the polarity programming language
      TypeScript
      •
      MIT License
      •0•0•2•0•Updated Nov 27, 2024Nov 27, 2024

    • codespan

      Public
      Fork of the codespan libary
      Rust
      •
      Apache License 2.0
      •62•0•0•0•Updated May 12, 2024May 12, 2024

    • artwork

      Public
      Logos and mascots for polarity
      0•0•1•0•Updated Mar 20, 2024Mar 20, 2024

    • oopsla24

      Public
      Demo for OOPSLA24
      Rust
      •
      Apache License 2.0
      •0•0•0•0•Updated Mar 4, 2024Mar 4, 2024

    • .github

      Public
      Configuration of the GitHub organization
      0•0•0•0•Updated Mar 1, 2024Mar 1, 2024