Skip to content

@polarity-lang Polarity

Change the repository type filter

All

    Repositories list

    7 repositories

    • polarity-lang.github.io

      Public
      Website for polarity-lang
      HTML
      •0•0•2•0•Updated Jan 23, 2025Jan 23, 2025

    • polarity

      Public
      A Language with Dependent Data and Codata Types
      Rust
      •
      Apache License 2.0
      •5•78•23•7•Updated Jan 23, 2025Jan 23, 2025

    • codespan

      Public archive
      Fork of the codespan libary
      Rust
      •
      Apache License 2.0
      •63•0•0•0•Updated Dec 25, 2024Dec 25, 2024

    • vscode

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

    • artwork

      Public
      Logos and mascots for polarity
      1•0•1•1•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