Similar repositories to chrisdone/ats-examples:

• chrisdone/ats-examples github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• tootsuite/mastodon github similar
• shaunlebron/parinfer github similar
• RobertHarper/hott-notes github similar
• tuvtran/project-based-learning github similar
• precog/quasar github similar
• blockstack/stacks github similar
• pixijs/pixi.js github similar
• motemen/gore github similar
• k6io/k6 github similar
• aquynh/capstone github similar
• postalhq/postal github similar
• Eugeny/terminus github similar
• hecrj/iced github similar
• yizhouzhang/olaf-coq github similar
• JakobBruenker/curses-idris github similar
• jfdm/idris-xml github similar
• matijapretnar/proofs github similar
• idris-hackers/eff-tutorial github similar
• puffnfresh/atsboot github similar
• forked-from-1kasper/bravo github similar
• dorchard/effects-as-sessions github similar
• alex-ren/org.ats-lang.toolats github similar
• danelahman/POPL18 github similar
• jonsterling/itt-bidirectional github similar
• maximedenes/coq-amd64 github similar
• Chaaaos/formaltt github similar
• fpiot/arduino-ats github similar
• jonsterling/lean4-sgdt github similar
• UniMath/largecatmodules github similar
• RobertHarper/nsml github similar
• kckennylau/mathlib4 github similar
• Zekt/Type-Embellishment github similar
• kik/Four-Color-Theorem-Maintenance github similar
• orca-lang/orca github similar
• tomdjong/domain-theory-in-uf github similar
• ekmett/haskell github similar
• GaloisInc/jvm-parser github similar