Lapin0t/induction-recursion 8

formalization of ornaments on indexed inductive-recursive definitions

Lapin0t/ophiuchus 4

[WIP] Stellar Consensus Protocol implementation

Lapin0t/DNS 2

a better naming system

gliboc/simeon 1

A miniSQL engine using csv files

Lapin0t/extempore 1

A cyber-physical programming environment

Lapin0t/ordinals 1

a couple formalizations of ordinals in agda

gliboc/vega 0

Keras/TensorFow implementation of DCGAN / InfoGAN / CycleGAN

Lapin0t/agda 0

Agda is a dependently typed programming language / interactive theorem prover.

Lapin0t/agda-patch 0