Similar repositories to ayberkt/simplc:

• ayberkt/simplc github similar
• gibiansky/IHaskell github similar
• hecrj/iced github similar
• LightAndLight/certified-lc github similar
• meilisearch/MeiliSearch github similar
• LightAndLight/como github similar
• Twey/agda-imp github similar
• google/forma github similar
• danistefanovic/build-your-own-x github similar
• effectfully/proto-tt github similar
• inanna-malick/hgit github similar
• bobatkey/system-f-parametricity-model github similar
• pigworker/InteriorDesign github similar
• nmvdw/HITs-Examples github similar
• gmalecha/coq-printf github similar
• jdublu10/STLC-to-SKI github similar
• FreeProving/free-proving-code github similar
• gallais/typing-with-leftovers github similar
• effectfully/Cubes github similar
• liamoc/dddp github similar
• gmalecha/skip-list github similar
• shayan-najd/HsAST github similar
• john-ml/lambda-calculus github similar
• uds-psl/autosubst-ocaml github similar
• Event-Structures/event-struct github similar
• nachivpn/expelim github similar
• dboulytchev/miniKanren-coq github similar
• ayberkt/agda-brzozowski github similar
• LightAndLight/idris-lambda-reflection github similar
• jonsterling/guarded-theories github similar
• AndrasKovacs/preordertt github similar
• jonsterling/agda-stc github similar
• ToTal/total github similar
• JoeyEremondi/lambda-pi-constraint github similar
• wilbowma/infernalize github similar
• joshuasellers/CardgameDSL github similar
• ziman/itt-idris github similar
• DreamLinuxer/FracAncilla github similar
• ysharoda/Deriving-Definitions github similar
• jirkamarsik/lambda-mu github similar