Similar repositories to JinWuZhao/idriscanvas:

• JinWuZhao/idriscanvas github similar
• brandondyck/idris-vdom github similar
• jheiling/idris-electron github similar
• eraserhd/Idris-json github similar
• nachivpn/k github similar
• lastland/ClairvoyanceMonad github similar
• RedPRL/kado github similar
• frelindb/agsyHOL github similar
• TOTBWF/coolttviz github similar
• msp-strath/platypus github similar
• bobatkey/system-f-parametricity-model github similar
• ayberkt/sequents github similar
• thautwarm/idris-cam github similar
• bitonic/tog github similar
• Trebor-Huang/Down-The-Path github similar
• gallais/aGdaREP github similar
• evertedsphere/noether github similar
• anuyts/menkar github similar
• joom/type.systems github similar
• dbp/howtoproveacompiler github similar
• AndrasKovacs/sett github similar
• andrejbauer/dedekind-reals github similar
• frex-project/idris-frex github similar
• molikto/mlang github similar
• valis/hoq github similar
• robrix/path github similar
• HoTT/EPIT-2020 github similar
• HoTT-Intro/Agda github similar
• BekaValentine/SimpleFP-v2 github similar
• AndrasKovacs/staged github similar
• nau/lasca-compiler github similar
• simhu/cubical github similar
• ditto/ditto github similar
• snowleopard/alga-paper github similar
• siddhartha-gadgil/ProvingGround github similar
• RedPRL/cooltt github similar
• MaiaVictor/abstract-algorithm github similar
• uhub/awesome-coq github similar
• RedPRL/sml-redprl github similar
• frank-lang/frank github similar