Popular repositories Loading

1. mkRustCrate mkRustCrate Public

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

   Rust 22 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 6 1

3. twey.io twey.io Public

   twey.io website

   CSS 4

4. gloss-banana gloss-banana Public

   A reactive-banana interface for Gloss.

   Haskell 3 5

5. uzbl uzbl Public

   uzbl scripts

   Shell 2

6. cll cll Public

   Forked from lojban/cll

   Complete Lojban Language Chunked

   1 1