- Compilers and Language Design
- Machine Learning
- Mathematical Finance
- Simulated Physics & Chemistry
- Logical Foundations
- My trading bot
- A virtual machine or two, depends on the mood
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseWIP: Presentation turned blog series: Building the simplest possible thing over and over again.
UrWeb 13
A statically typed dimensional analysis calculator written in Agda.
Agda 4