Similar repositories to sordina/Types-and-Programming-Languages:

• sordina/Types-and-Programming-Languages github similar
• jonsterling/systems-study-notes github similar
• pigworker/Ohrid-Agda github similar
• gergoerdi/hm-compo github similar
• esengie/fpl-exploration-tool github similar
• LeastAuthority/haskell-spake2 github similar
• Neuromancer42/ministgwasm github similar
• tel/hotep github similar
• rodrigogribeiro/unification github similar
• robrix/abstract-interpretation github similar
• LouisJenkinsCS/LLVM-JVM github similar
• steshaw/tdd-with-idris github similar
• yigitozkavci/typelevel-dijkstra-sp github similar
• haskell-haskey/haskey-btree github similar
• isovector/jazz github similar
• 8Gitbrix/2048Haskell github similar
• decentral1se/tasty-discover github similar
• evertedsphere/how-to-implement-dependent-type-theory github similar
• m0ar/lollipop github similar
• aherrmann/simply_llvm github similar
• pigworker/CS410-15 github similar
• yav/type-nat-solver github similar
• steshaw/tiger-ml github similar
• yallop/haskell2014-papers github similar
• jaseemabid/Olifant github similar
• UlfNorell/agda-summer-school github similar
• InitialTypes/Club github similar
• fokot/howerpoint github similar
• sdiehl/dive-into-ghc github similar
• fpco/applied-haskell github similar
• gasche/popl2018-papers github similar
• TheoWinterhalter/formal-type-theory github similar
• gallais/idris-tparsec github similar
• andreasabel/miniagda github similar
• zjhmale/Ntha github similar
• hopper-lang/hopper-v0 github similar
• pigworker/MetaprogAgda github similar
• heidihoward/ocaml-raft github similar
• ollef/Bidirectional github similar
• adamgundry/type-inference github similar