yfcai

Baden-Württemberg, Germany

Pinned Repositories

popl2016-papers
Links to publicly available preprints for the POPL'16 conference
120 13 116
ilc-agda
Machine-checked Agda formalization for the ILC project
Language:Agda15 5 41
derive_more
Some more derive(Trait) options
Language:Rust1.7k 14 222117
monad-bayes
A library for probabilistic programming in Haskell.
Language:Jupyter Notebook404 52 10862
derive_more
Some more derive(Trait) options
Language:Rust0 0 00