Similar repositories to HenriChataing/ProtoQuipper:

• HenriChataing/ProtoQuipper github similar
• gibiansky/IHaskell github similar
• JohnReppy/sml-compiler-utils github similar
• Suikaba/SelingerQuantumLambdaCalculus github similar
• Blaisorblade/evalFromToAbsMachines github similar
• monadfix/tagged-aeson github similar
• glguy/tries github similar
• mrkgnao/system-dc github similar
• A1kmm/http4idris github similar
• jameshaydon/idris-graphql github similar
• vincenthz/cabal-db github similar
• data61/foldl-statistics github similar
• UCSD-PL/nano-smt github similar
• jameshaydon/smproc github similar
• kavon/sml-language-server github similar
• robsimmons/abbot github similar
• leftaroundabout/linearmap-family github similar
• sellout/Iaia github similar
• emilaxelsson/trackit github similar
• plclub/lngen github similar
• ktvoelker/standalone-haddock github similar
• mauny/the-functional-approach-to-programming github similar
• isovector/jazz github similar
• RobertHarper/hott-notes github similar
• wrengr/unification-fd github similar
• konn/type-natural github similar
• Icelandjack/deriving-via github similar
• runarorama/ircz github similar
• danidiaz/streamy github similar
• sbp/idris-bi github similar
• clash-lang/ghc-typelits-natnormalise github similar
• dabacon/qsel github similar
• tel/scala-tk github similar
• OPLSS/oplss-notes-2017 github similar
• albertoruiz/hTensor github similar
• liamoc/wizards github similar
• rigetti/reference-qvm github similar
• jwiegley/notes github similar
• andrejbauer/what-is-algebraic-about-algebraic-effects github similar
• andrew-bedford/coqatoo github similar