Popular repositories Loading

1. advent-of-code2022 advent-of-code2022 Public

   Advent of code 2022 in haskell

   Haskell 2

2. Logic-designer Logic-designer Public

   C# 1

3. JustKeyboard JustKeyboard Public

   A keyboard layout and synthesizer using just intonation.

   C++ 1

4. FOmega FOmega Public

   Implementation of a modern functional language on top of the ghc compiler backend

   Haskell 1

5. DepentantFormalization DepentantFormalization Public

   Practicing agda/type thoery by trying to develop a formalization of a depentant type theory in agda

   Agda 1

6. ToposOfGraphs ToposOfGraphs Public

   Playing around with synthetic graph theory

   Agda 1