This is your work, valued
Ohad Kammar
Expert@ohad
collie. Command line interface library in Idris
34SIGPLAN-Most-Influential-POPL-Papers. Python
12paella. Parameterised algebraic effects library and language
9idris-setoid. Idris
7katla. Idris
6eff-bayes. Makefile
4MetaprogAgda. being the materials for Summer 2013's course
2effects-rosetta-stone. A comparison of how computational effects and handlers are implemented in various programming languages.
1algebra-chapter-0-solutions. The solution to Algebra : Chapter 0 by Paolo Aluffi.
1idris-satyr. Various SAT and SMT bindings for idris
1yst. create static websites from YAML data and string templates
1idris-soas. Idris
1 views searches