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.8k 14 234124
monad-bayes
A library for probabilistic programming in Haskell.
Language:Jupyter Notebook411 51 10962
derive_more
Some more derive(Trait) options
Language:Rust0 0 00