formalization of ornaments on indexed inductive-recursive definitions
[WIP] Stellar Consensus Protocol implementation
a better naming system
A miniSQL engine using csv files
A cyber-physical programming environment
a couple formalizations of ordinals in agda
Keras/TensorFow implementation of DCGAN / InfoGAN / CycleGAN
Agda is a dependently typed programming language / interactive theorem prover.