Hi there 👋
Here's a list of some of my personal projects. They are as fun as utterly useless — who cares about utility and productivity anyway 😉
| Repository | Status | Description | Technologies |
|---|---|---|---|
| quippy | ✅ | End-to-end encrypted expense splitter | VueJS, MQTT |
| page | ✅ | Collaborative infinite text page | Haskell, TypeScript |
| random-sleep | ✅ | Like POSIX sleep utility, but sleep for a (quantum) random amount of time |
Haskell |
| 427 | ✅ | Employee #427's terminal screen | JavaScript |
| nf | ✅ | Formal proof of consistency of Quine's New Foundations weaker fragments | Coq Proof Assistant |
| anagni | ⚰️ | Log-based replication framework | TypeScript |
| ji | ⚰️ | FFI between the browser and native iOS APIs | TypeScript, SwiftUI |
| classy | 🚧 | Experiments on Curry-Howard correspondence for classical logic | LaTeX, Haskell |
| vague | 🚧 | Toy programming language | Haskell |