Similar repositories to nikivazou/proof-combinators:

• nikivazou/proof-combinators github similar
• minad/tasty-stats github similar
• danistefanovic/build-your-own-x github similar
• Lysxia/coq-recursion-schemes github similar
• mathandley/RTick github similar
• kwf/Presburger github similar
• GaloisInc/cryptol-verifier github similar
• kosmikus/session-types-regensburg github similar
• ollef/incrementalism github similar
• mstksg/wavelets github similar
• ranjitjhala/ghc-options github similar
• smlnj/smlnj github similar
• inanna-malick/hgit github similar
• ekmett/monad-ran github similar
• ChrisPenner/update-monad github similar
• csabahruska/game-logic-experiment github similar
• karlicoss/cofunctor-pl github similar
• andrewthad/natural-arithmetic github similar
• ion1/quadratic-irrational github similar
• andreasabel/shift-reset-dsl github similar
• UU-ComputerScience/uu-cco github similar
• KolodeznyDiver/THEff github similar
• jespercockx/ttac github similar
• jules-hedges/open-games github similar
• sofn-xyz/mailing github similar
• ivanperez-keera/demos-hacknotts2015 github similar
• jozefg/register-alloc github similar
• spinda/diagrams-wx github similar
• taktoa/derp github similar
• ranjitjhala/gradr github similar
• jwiegley/zomega github similar
• strake/lenz.hs github similar
• takano-akio/total-array github similar
• parsonsmatt/packedbits github similar
• ezyang/groom github similar
• haskell-mafia/corba github similar
• justinwoo/purescript-mochi github similar
• LightAndLight/closure github similar
• Gabriel439/sig github similar
• GaloisInc/aterm-utils github similar