Similar repositories to hsk/simpletapl:

• hsk/simpletapl github similar
• ekmett/linear-haskell github similar
• hsk/docs github similar
• lotz84/recursion-algorithms github similar
• kcsmnt0/quotient github similar
• coq-community/goedel github similar
• kory33/scala-proofs github similar
• sfja/sfja github similar
• choukh/Set-Theory github similar
• cannorin/nml github similar
• TheoWinterhalter/formal-type-theory github similar
• camlspotter/ocaml-zippy-tutorial-in-japanese github similar
• msakai/cpl github similar
• CertiCoq/certicoq github similar
• jozefg/pcf github similar
• GaloisInc/HaNS github similar
• martinescardo/TypeTopology github similar
• math-comp/fourcolor github similar
• ajhc/ajhc github similar
• kuis-isle3sw/IoPLMaterials github similar
• githwxi/ATS-Xanadu github similar
• SMLFamily/Successor-ML github similar
• mattam82/Coq-Equations github similar
• lukaszcz/coqhammer github similar
• antalsz/hs-to-coq github similar
• idris-hackers/idris-demos github similar
• martinescardo/HoTT-UF-Agda-Lecture-Notes github similar
• pirapira/coq2rust github similar
• githwxi/ATS-Postiats github similar
• PrincetonUniversity/VST github similar
• takenobu-hs/haskell-ghc-illustrated github similar
• Chymyst/curryhoward github similar
• Marwes/haskell-compiler github similar
• lotz84/haskell github similar
• MetaCoq/metacoq github similar
• seL4/l4v github similar
• agda/agda-categories github similar
• math-comp/math-comp github similar
• cpprefjp/site github similar
• agda/cubical github similar