Similar repositories to conal/agda-play:

• danistefanovic/build-your-own-x github similar
• conal/agda-play github similar
• gergoerdi/mod-arith github similar
• rubenpieters/Orthogonal-Pipes github similar
• wjzz/Agda-reflection-for-semiring-solver github similar
• nmvdw/HITs-Examples github similar
• wouter-swierstra/hbral github similar
• sebfisch/level-monad github similar
• oracle/aaosl-agda github similar
• oisdk/Using-Protocols-to-Build-a-very-Generic-Deque github similar
• AndrasKovacs/misc-stuff github similar
• pigworker/Gigs-Summer-2018 github similar
• brynbellomy/Funky github similar
• conal/calculating-compilers-agda github similar
• ziman/idris-data-frame github similar
• robinheghan/collections-ng github similar
• gallais/thesis github similar
• msullivan/typecoin github similar
• laMudri/generic-lr github similar
• jespercockx/agda2scheme github similar
• ekmett/streams github similar
• conal/convolution-paper github similar
• pigworker/Syrup github similar
• qfpl/propagator-examples github similar
• wenkokke/idris-sesh github similar
• rampion/tree-traversals github similar
• oisdk/agda-ring-solver github similar
• sweirich/lennart-lambda github similar
• Z-snails/Idris2-Grin github similar
• andreasabel/strong-normalization github similar
• pigworker/ProgrammerCommaCon github similar
• metaborg/linear.agda github similar
• mr-ohman/logrel-mltt github similar
• chessai/semirings github similar
• alexhumphreys/idrall github similar
• treeowl/sort-traversable github similar
• ekmett/distributive github similar
• Saizan/cubical-demo github similar
• gallais/potpourri github similar
• andrejbauer/notes-on-realizability github similar