Similar repositories to argent0/idris-dataframe:

• argent0/idris-dataframe github similar
• danistefanovic/build-your-own-x github similar
• hecrj/iced github similar
• jyp/organ github similar
• LightAndLight/idris-lambda-reflection github similar
• rntz/stlc github similar
• yfcai/CREG github similar
• ziman/idris-scheme github similar
• asajeffrey/finite-dtypes github similar
• ajrouvoet/implicits.agda github similar
• danelahman/POPL18 github similar
• ayberkt/chi github similar
• ahmadsalim/davidlang github similar
• heyrutvik/nbe-a-tutorial github similar
• Lapin0t/induction-recursion github similar
• m50d/console-game github similar
• ollef/region github similar
• olivierverdier/GeometricAlgebra github similar
• michaelsproul/dblib-linear github similar
• Event-Structures/event-struct github similar
• uds-psl/autosubst-ocaml github similar
• jonsterling/agda-stc github similar
• elpinal/focused-modules github similar
• ziman/idris-bytes github similar
• ahmadsalim/desc-n-crunch github similar
• sabauma/agda-relation-algebra github similar
• atennapel/qtt-ts github similar
• laMudri/quantitative github similar
• fsestini/tt-in-cubical github similar
• ayberkt/simplc github similar
• uelis/IntML github similar
• border-patrol/lightclick github similar
• soren-n/bidi-higher-rank-poly github similar
• gallais/agdarky github similar
• liamoc/dddp github similar
• ajrouvoet/ternary.agda github similar
• jdolson/univalence-from-scratch github similar
• matthesjh/coq-tal github similar
• AndrasKovacs/preordertt github similar
• AliasQli/tactics github similar