Pinned Loading

1. module-theory module-theory Public

   Efficient query processing using linear algebra

   Haskell 5

2. algebra algebra Public

   Experiments with Cubical Agda

   Agda

3. geometry geometry Public

   Fast and robust computational geometry using aggressive compile-time specialisation of data structures

   C++

4. rsvk rsvk Public

   Low-latency graphics using vulkan and xcb

   Rust

5. tinykernel tinykernel Public

   A 64-bit kernel with an 8086 interpreter for old-school video mode setting

   D

6. elv elv Public

   Domain-specific language for solving Advent of Code problems

   Rust