Pinned Loading

1. compli compli Public

   My compiler for PLI

   Rust 2

2. jisl jisl Public

   A Java Interpreter for ISL+

   Java 2 1

3. polymoly polymoly Public

   A polynomial calculator with support for various rings

   Rust 1

4. peanoforte peanoforte Public

   Peano-arithmetic proof verifier

   C

5. sheetstorm sheetstorm Public

   A Typst template for assignment sheets

   Typst 23 1

6. polarity-lang/polarity polarity-lang/polarity Public

   A language with dependent data and codata types

   Rust 132 10