Popular repositories Loading

1. Lilac Lilac Public

   a functional language

   C# 2

2. idris-rlist idris-rlist Public

   A dependently-typed implementation of random-access lists in Idris

   Idris

3. advent-of-code-2018 advent-of-code-2018 Public

   https://adventofcode.com/2018

   Rust

4. mixfix mixfix Public

   parser for a mixfix expression language based on http://www.cse.chalmers.se/~nad/publications/danielsson-parser-combinators.html

   Rust

5. tuesday tuesday Public

   Rust

6. advent-of-code-2019 advent-of-code-2019 Public

   Solutions for https://adventofcode.com/2019

   Rust