Similar repositories to jonsterling/hs-abt:

• jonsterling/hs-abt github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• pixijs/pixi.js github similar
• jonsterling/agda-abt github similar
• gergoerdi/stlc-agda github similar
• jonsterling/sml-logical-framework github similar
• jozefg/independence-of-the-continuum-hypothesis github similar
• pigworker/BiF github similar
• ezyang/lr-agda github similar
• RedPRL/sml-typed-abts github similar
• nmvdw/Three-HITs github similar
• ekmett/homotopy github similar
• JasonGross/lob github similar
• david-christiansen/epigram1 github similar
• SimonJF/IdrisNet github similar
• ayberkt/abt github similar
• pigworker/Ohrid-Agda github similar
• gergoerdi/hindleymilner-agda github similar
• precog/quasar github similar
• jonsterling/twelf-itt github similar
• tlcsrc/tlcsrc.github.io github similar
• Averethel/OCamlMin github similar
• ocharles/ghc-nix github similar
• jonsterling/sml-spreads github similar
• jonsterling/ocaml-abt github similar
• cacay/language-krill github similar
• ayberkt/tinyrw github similar
• meilisearch/MeiliSearch github similar
• jonsterling/topos-theory-notes github similar
• effectfully/Eff github similar
• effectfully/Cubes github similar
• neel-krishnaswami/linearml github similar
• jonsterling/agda-effectful-forcing github similar
• pigworker/BathTime github similar
• gallais/type-scope-semantics github similar
• nicolaidahl/TouchBasedIdris github similar
• pigworker/SSGEP-DataData github similar
• ahmadsalim/well-typed-agda-interpreter github similar
• jledent/vset github similar