Popular repositories Loading

1. janus janus Public

   λ-calculus in Quantitative Type Theory

   Haskell 10 1

2. Playground Playground Public

   Haskell

3. manta manta Public

   Toy ray tracer based on Peter Shirley's Ray Tracing in One Weekend

   Rust

4. dotfiles dotfiles Public

   My configuration files

   Vim Script

5. pathos pathos Public

   Pitiful operating system. Based on Stephen Marz's OS Blog.

   Rust

6. thesis thesis Public

   TeX