Pinned Loading

1. polarity-lang/polarity polarity-lang/polarity Public

   A Language with Dependent Data and Codata Types

   Rust 74 5

2. duo-lang/duo-lang duo-lang/duo-lang Public

   Duo - A research language exploring duality in programming language design

   Haskell 57 2

3. yalr yalr Public

   Yet Another LR parser generator

   Rust 2

4. webber webber Public

   Making webapps superfluous since 2019

   Rust 14 9