Similar repositories to tchajed/iris-simp-lang:
tchajed/iris-simp-lang
github
similar
danistefanovic/build-your-own-x
github
similar
meilisearch/MeiliSearch
github
similar
tootsuite/mastodon
github
similar
gibiansky/IHaskell
github
similar
bedrocksystems/cpp2v
github
similar
hecrj/iced
github
similar
Eloston/ungoogled-chromium
github
similar
kckennylau/mathlib4
github
similar
HarrisonGrodin/agda-modtt
github
similar
k6io/k6
github
similar
postalhq/postal
github
similar
tchajed/ltac2-tutorial
github
similar
emtst/emtst-proof
github
similar
ericfinster/opetopic-types
github
similar
RedPRL/stagedtt
github
similar
plt-amy/cubical-methods
github
similar
nachivpn/k
github
similar
andrejbauer/higher-rank-syntax
github
similar
nmvdw/GrpdHITs
github
similar
RobertHarper/hott-notes
github
similar
nmvdw/RezkCompletion
github
similar
ejgallego/coq-lsp
github
similar
AndrasKovacs/thesis
github
similar
RedPRL/algaeff
github
similar
pamellies/lambda-calculus-and-categories
github
similar
jonsterling/lean4-sgdt
github
similar
uds-psl/autosubst-ocaml
github
similar
jonsterling/coq-domains
github
similar
tree-sitter/tree-sitter-agda
github
similar
Chaaaos/formaltt
github
similar
Trebor-Huang/combinator-nbe
github
similar
mb64/xtt
github
similar
arthuraa/agda-hoas-demo
github
similar
precog/quasar
github
similar
Eugeny/terminus
github
similar
alexcrichton/cc-rs
github
similar
aquynh/capstone
github
similar
tuvtran/project-based-learning
github
similar
tweag/awesome-learning-haskell
github
similar