Similar repositories to liamoc/gentzen:

• liamoc/gentzen github similar
• ReactTraining/react-router github similar
• ezyang/backpack-examples github similar
• srdqty/ltal github similar
• ggreer/CursorHide github similar
• mbg/ncc github similar
• mbg/system-f-with-kind-polymorphism github similar
• HIPERFIT/hopencl github similar
• vincenthz/hsco github similar
• liamoc/outside-in github similar
• scmu/mrm github similar
• lucch/pesca github similar
• ct-gradual-typing/Papers github similar
• AaronNGray/prop-cc github similar
• kermitt2/grobid-example github similar
• blambo/accelerate-repa github similar
• conal/talk-2016-generic-parallel-scan github similar
• xnning/Consistent-Subtyping-for-All github similar
• nmvdw/Three-HITs github similar
• robrix/abstract-interpretation github similar
• evertedsphere/preposterous github similar
• AccelerateHS/accelerate-backend-kit github similar
• kframework/haskell-core-semantics github similar
• antalsz/choose-your-own-derivative github similar
• jonsterling/tt github similar
• bluss/odds github similar
• sweirich/hs-inferno github similar
• lexi-lambda/racket-higher-rank github similar
• dalaing/type-systems github similar
• dschepler/coq-sequent-calculus github similar
• rossberg/mixml github similar
• TikhonJelvis/modular-arithmetic github similar
• plclub/lngen github similar
• AndyShiue/pts github similar
• wrengr/unification-fd github similar
• nikivazou/theorem-proving-template github similar
• RedPRL/sml-typed-abts github similar
• bmsherman/topology github similar
• lukemaurer/sequent-core github similar
• mbg/hindley-milner github similar