Similar repositories to coq-contribs/pi-calc:

• coq-contribs/pi-calc github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• tootsuite/mastodon github similar
• m4lvin/modal-logic-final-embedding github similar
• tel/intone github similar
• meyerphi/strix github similar
• braibant/coq-tutorial-ml-tactics github similar
• felipeZ/Haskell-abinitio github similar
• andrisaar/Type-Theory-Foundations github similar
• omelkonian/AlgoRhythm github similar
• reactive-systems/syfco github similar
• IntelLabs/flrc-lib github similar
• RobertHarper/hott-notes github similar
• langston-barrett/coq-big-o github similar
• vlopezj/coq-course github similar
• SpinalHDL/SpinalCrypto github similar
• jaalonso/Lecturas_GLC github similar
• OPLSS/oplss-notes-2017 github similar
• wenkokke/AutoInAgda github similar
• arthuraa/poleiro github similar
• JBakouny/Scallina github similar
• anuyts/agda-sessions github similar
• cmeiklejohn/distributed-data-structures github similar
• jsiek/B522-PL-Foundations github similar
• philzook58/nand2coq github similar
• jozefg/miniprl github similar
• lthms/FreeSpec github similar
• DeepSpec/dsss17 github similar
• o1-labs/snarkette github similar
• vivid-synth/vivid github similar
• sigurdschneider/lvc github similar
• praveenkulkarni1996/awesome-program-synthesis github similar
• ilyasergey/pnp github similar
• UlfNorell/agda-summer-school github similar
• sstucki/system-f-agda github similar
• mikeshulman/catlog github similar
• jsiek/B629-denotational github similar
• jdevuyst/comprehend github similar
• pi8027/lambda-calculus github similar