Popular repositories Loading

1. sortalonco sortalonco Public

   Personal website, written in Haskell on Yesod, deployed with Google Cloud Run.

   Haskell 2 2

2. fcon fcon Public

   A functional, compact object notation compatible with JSON

   Scala

3. gas_sim gas_sim Public

   A simple 2D elastic particle simulator

   Rust

4. agda-graph agda-graph Public

   Defines and implements inductive graphs in Adga

   Agda

5. pototo pototo Public

   Rust

6. deprels deprels Public

   Formalized dependence relations.

   Agda