Ohad Kammar

Expert
@ohad

collie. Command line interface library in Idris

34

SIGPLAN-Most-Influential-POPL-Papers. Python

12

paella. Parameterised algebraic effects library and language

9

idris-setoid. Idris

7

katla. Idris

6

eff-bayes. Makefile

4

MetaprogAgda. being the materials for Summer 2013's course

2

effects-rosetta-stone. A comparison of how computational effects and handlers are implemented in various programming languages.

1

algebra-chapter-0-solutions. The solution to Algebra : Chapter 0 by Paolo Aluffi.

1

idris-satyr. Various SAT and SMT bindings for idris

1

yst. create static websites from YAML data and string templates

1

idris-soas. Idris

1
12
Apply