Similar repositories to jyp/organ:

• jyp/organ github similar
• cartazio/omega github similar
• gelisam/worldly github similar
• ollef/incrementalism github similar
• LightAndLight/game-3d github similar
• LightAndLight/definable-syntax github similar
• ollef/ibuild github similar
• ziman/idris-scheme github similar
• gallais/metamorphismsinagda github similar
• puffnfresh/lastresort github similar
• LightAndLight/idris-lambda-reflection github similar
• ollef/region github similar
• rntz/stlc github similar
• patrickt/absdefint github similar
• LightAndLight/bide github similar
• argent0/idris-dataframe github similar
• yfcai/CREG github similar
• asajeffrey/finite-dtypes github similar
• ajrouvoet/implicits.agda github similar
• simonmichael/hssdl-mac-example github similar
• yav/hobbit github similar
• danelahman/POPL18 github similar
• ayberkt/chi github similar
• ahmadsalim/davidlang github similar
• michaelt/structured-graphs github similar
• heyrutvik/nbe-a-tutorial github similar
• Lapin0t/induction-recursion github similar
• evincarofautumn/hap-hs github similar
• LightAndLight/mini-adapton github similar
• gelisam/circular-sig github similar
• olivierverdier/GeometricAlgebra github similar
• michaelsproul/dblib-linear github similar
• AndrasKovacs/preordertt github similar
• Event-Structures/event-struct github similar
• uds-psl/autosubst-ocaml github similar
• namin/higher-rank github similar
• Ptival/chick github similar
• blamario/construct github similar
• JoeyEremondi/lambda-pi-constraint github similar
• jonsterling/agda-stc github similar