Guest0x0

normalization-bench. Benchmarking various normalization algorithms for the lambda calculus

trebor. an implementation of Observational Type Theory (OTT) and more

pruning-tutor. a tutorial implementation on an elaborator of a dependently typed language with pruning

coqoune. CoqIDE-like experience for kakoune

ipudp. tunnel IP over UDP, with encryption and random padding