Popular repositories Loading

1. mkRustCrate mkRustCrate Public

   A Nix function for building Rust crates with Cargo, but using Nix for dependency management.

   Rust 21 6

2. agda-imp agda-imp Public

   An Agda encoding of the primitive imperative language IMP from Glynn Winskel's ‘The Formal Semantics of Programming Languages’.

   Agda 5 1

3. gloss-banana gloss-banana Public

   A reactive-banana interface for Gloss.

   Haskell 3 5

4. uzbl uzbl Public

   uzbl scripts

   Shell 2

5. cll cll Public

   Forked from lojban/cll

   Complete Lojban Language Chunked

   1 1

6. friendly-lojban friendly-lojban Public

   Friendly Lojban, a textbook intended as a comprehensive introduction to Lojban for non-technical beginners

   1 1