Similar repositories to pi8027/lambda-calculus:
pi8027/lambda-calculus
github
similar
danistefanovic/build-your-own-x
github
similar
tootsuite/mastodon
github
similar
RobertHarper/hott-notes
github
similar
TheoWinterhalter/formal-type-theory
github
similar
gibiansky/IHaskell
github
similar
AndrasKovacs/system-f-omega
github
similar
sstucki/system-f-agda
github
similar
affeldt-aist/monae
github
similar
pixijs/pixi.js
github
similar
hecrj/iced
github
similar
metaborg/linear.agda
github
similar
math-comp/algebra-tactics
github
similar
coq-community/coq-ext-lib
github
similar
adamgundry/type-inference
github
similar
vrahli/NuprlInCoq
github
similar
coq-community/reglang
github
similar
motemen/gore
github
similar
tuvtran/project-based-learning
github
similar
coq-community/autosubst
github
similar
UniMath/TypeTheory
github
similar
groupoid/anders
github
similar
coq-community/semantics
github
similar
LPCIC/coq-elpi
github
similar
CertiCoq/certicoq
github
similar
Lysxia/system-F
github
similar
bobatkey/sott
github
similar
coq-community/math-classes
github
similar
Deducteam/Dedukti
github
similar
ilya-klyuchnikov/lambdapi
github
similar
jozefg/nbe-for-mltt
github
similar
abella-prover/abella
github
similar
metaocaml/metaocaml-bibliography
github
similar
mr-ohman/logrel-mltt
github
similar
jozefg/blott
github
similar
damien-pous/relation-algebra
github
similar
uds-psl/coq-library-undecidability
github
similar
mattam82/Coq-Equations
github
similar
ReactTraining/react-router
github
similar
gallais/parseque
github
similar