Similar repositories to GU-CLASP/ttr:

• GU-CLASP/ttr github similar
• joe9/idris-to-9frontc github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• macrotypefunctors/macrotypes-nonstx github similar
• zrho/pylon github similar
• jaredloomis/russell github similar
• wjzz/Agda-small-developments-and-examples github similar
• cb125/scope-islands github similar
• gkaracha/quantcs-impl github similar
• ptigwe/hs2048 github similar
• wenkokke/NLQ github similar
• xnning/TypeInfer github similar
• phadej/kleene-type github similar
• awson/ghc-nw github similar
• mchakravarty/hoas-conv github similar
• middlefeng/NuoWindows github similar
• andrejbauer/miniLCF github similar
• gdijkstra/hs-to-gallina github similar
• jespercockx/reflection-tutorial github similar
• ucsd-progsys/131-web github similar
• lambdabetaeta/modal-logics github similar
• lpeterse/koka github similar
• pnwamk/stop2015-redex github similar
• lexi-lambda/mini-ml github similar
• fpsluozi/Quin-bf github similar
• mietek/formal-logic github similar
• thsutton/cha github similar
• sstucki/pts-agda github similar
• andreasabel/helf github similar
• agda/agda-spec github similar
• rossberg/mixml github similar
• CHTT-s18/lecture-notes github similar
• ucsd-progsys/230-wi19-web github similar
• mirage/ocaml-diet github similar
• plclub/lngen github similar
• robrix/ui-effects github similar
• avigad/qpf github similar
• neel-krishnaswami/linearml github similar
• MaskRay/CamlFeatherweight github similar