Similar repositories to minkiminki/Ordinal:

• minkiminki/Ordinal github similar
• danistefanovic/build-your-own-x github similar
• plt-amy/cubical-methods github similar
• ronami/HypeScript github similar
• coq-community/coq-performance-tests github similar
• pixijs/pixi.js github similar
• bedrocksystems/cpp2v github similar
• nmvdw/RezkCompletion github similar
• hecrj/iced github similar
• alexcrichton/cc-rs github similar
• qdwang/eopl github similar
• leanprover-community/vscode-lean4 github similar
• tlringer/ml-for-proofs github similar
• wusyong/elise github similar
• philnguyen/set-extras github similar
• thautwarm/Virtual.jl github similar
• rapiz1/catp github similar
• soegaard/pyffi github similar
• srush/GPU-Puzzles github similar
• polytypic/rea-ml github similar
• uds-psl/constructive-and-synthetic-reducibility-in-coq github similar
• CertiGraph/CertiGraph github similar
• nikofeyn/ray-tracing-with-racket github similar
• liyishuai/file-sync github similar
• lemastero/hott-wiki github similar
• combinators/cls-coq github similar
• jlapeyre/CachePath.jl github similar
• Mbodin/coq-alternative-facts github similar
• logsem/iris-tini github similar
• dannypsnl/controllable-refinement github similar
• olaure01/yalla github similar
• ppedrot/ll-coq github similar
• jonsterling/agda-synthetic-domain-theory github similar
• CoqHott/parametricity-a-la-carte github similar
• Borschemancer/axiomatic-sets github similar
• logsem/cerise github similar
• HarrisonGrodin/agda-modtt github similar
• jasmin-lang/coqword github similar
• dboulytchev/miniKanren-coq github similar
• pamellies/models-of-programming-languages github similar