Similar repositories to ssomayyajula/stlc:

• ssomayyajula/stlc github similar
• SciHS/scihs-docs github similar
• bollu/polyir github similar
• gergoerdi/hm-compo github similar
• ssomayyajula/linear github similar
• benjaminselfridge/propcheck github similar
• eugmes/imp github similar
• UCSD-PL/nano-smt github similar
• robsimmons/abbot github similar
• christian-marie/oauth2-server github similar
• aische/typelevel-examples github similar
• nikivazou/theorem-proving-template github similar
• kpavery/System-Fo github similar
• smpallen99/coherence_demo github similar
• nilehmann/liquid-rust github similar
• aherrmann/simply_llvm github similar
• froozen/kademlia github similar
• llvm-hs/llvm-hs-typed github similar
• ucsd-progsys/mist github similar
• jsiek/B522-PL-Foundations github similar
• jfaure/lfvm-stg github similar
• brendanzab/moniker github similar
• bollu/simplexhc github similar
• jyp/nano-Agda github similar
• mit-plv/timl github similar
• kit-ty-kate/labrys github similar
• TheoWinterhalter/formal-type-theory github similar
• ucsd-progsys/liquid-fixpoint github similar
• Storyyeller/cubiml-demo github similar
• joom/hezarfen github similar
• ndmitchell/debug github similar
• idris-hackers/idris-crypto github similar
• mit-plv/fiat github similar
• gasche/icfp2017-papers github similar
• AccelerateHS/accelerate-llvm github similar
• mmirman/caledon github similar
• bollu/tiny-optimising-compiler github similar
• GU-CLASP/TypedFlow github similar
• jozefg/higher-order-unification github similar
• stedolan/mlsub github similar