Pinned Loading

1. octune octune Public

   A DSL for creating 8-bit style music

   Haskell 33 2

2. bril-scala bril-scala Public

   Exploring compiler optimizations and analyses on the Bril language in Scala

   Scala

3. lambda-calculus-fun lambda-calculus-fun Public

   Implementing stuff in the lambda calculus, for fun (and not profit)

   Haskell

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