Pinned Loading

1. stacker-2023 stacker-2023 Public

   A notional machine for the SMoL languages

   ReScript 14

2. brownplt/smol-translator-app brownplt/smol-translator-app Public

   A web app that translate smol programs

   JavaScript 1

3. visualize-lambda visualize-lambda Public

   Visualize lambda expressions

   Racket 7

4. brownplt/s-expression brownplt/s-expression Public

   An S-expression parser written ReScript

   JavaScript 1

5. Towards-a-miniKanren-with-fair-search-strategies Towards-a-miniKanren-with-fair-search-strategies Public

   Racket 3 1

6. Equivalence-of-Cast-Calculi Equivalence-of-Cast-Calculi Public

   Forked from Gradual-Typing/Equivalence-of-Cast-Calculi

   Agda