I'm interested in way too many things, including: mathematics, computer algebra, functional programming, dependent types, compilers, Haskell, Agda, Idris, cryptography, the c64, synthesizers and electronics.
You can find some of my stuff on darcshub and Hackage, too.
Contact: username at gmail dot com
Example language server (LSP) implementation for a toy language
Algebraic primitives for ZK proof systems
Experiments with dependently-typed programming in Idris2
Idris
| Day of Week | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | April Apr | May May | June Jun | |||||||||||||||||||||||||||||||||||||||||
| Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Saturday Sat | |||||||||||||||||||||||||||||||||||||||||||||||||||||
