Similar repositories to pamellies/models-of-programming-languages:
pamellies/models-of-programming-languages
github
similar
danistefanovic/build-your-own-x
github
similar
hecrj/iced
github
similar
oven-sh/bun
github
similar
meilisearch/MeiliSearch
github
similar
tootsuite/mastodon
github
similar
pamellies/lambda-calculus-and-categories
github
similar
tuvtran/project-based-learning
github
similar
RobertHarper/hott-notes
github
similar
smlnj/smlnj
github
similar
plt-amy/cubical-methods
github
similar
gibiansky/IHaskell
github
similar
Eloston/ungoogled-chromium
github
similar
srush/GPU-Puzzles
github
similar
bobatkey/agda-metric-reals
github
similar
jonsterling/coq-domains
github
similar
HarrisonGrodin/agda-modtt
github
similar
andrejbauer/notes-on-realizability
github
similar
maxsnew/cubical-cbpv
github
similar
AndrasKovacs/thesis
github
similar
clayrat/coherence-spaces
github
similar
ronami/HypeScript
github
similar
motemen/gore
github
similar
postalhq/postal
github
similar
k6io/k6
github
similar
micahflee/onionshare
github
similar
roc-lang/roc
github
similar
anthonyywangmath/tikzsd
github
similar
mb64/xtt
github
similar
arthuraa/agda-hoas-demo
github
similar
robrix/ui-effects
github
similar
jonsterling/agda-synthetic-domain-theory
github
similar
inanna-malick/hgit
github
similar
ericfinster/opetopic-types
github
similar
andrejbauer/higher-rank-syntax
github
similar
nachivpn/k
github
similar
FrozenWinters/stlc
github
similar
zaklogician/typical-antiphrasis
github
similar
msp-strath/TypOS
github
similar
mikeshulman/ohtt
github
similar