Pinned Loading

1. octune octune Public

   A DSL for creating 8-bit style music

   Haskell 22 1

2. bril-scala bril-scala Public

   Exploring compiler optimizations and analyses on the Bril language in Scala

   Scala

3. remy_type_inference remy_type_inference Public

   OCaml

4. tapl-coq tapl-coq Public

   Going through Types and Programming Languages (Benjamin C. Pierce) in Coq

   Coq

5. navim navim Public

   A TUI for file management written in Haskell

   Haskell 1

6. Schela Schela Public

   An interpreter and REPL for a Scheme-like language written in Scala

   Scala