Similar repositories to Kraks/sai:
Kraks/sai
github
similar
danistefanovic/build-your-own-x
github
similar
aquynh/capstone
github
similar
tuvtran/project-based-learning
github
similar
Eugeny/terminus
github
similar
TiarkRompf/lms-clean
github
similar
hecrj/iced
github
similar
meilisearch/MeiliSearch
github
similar
jonsterling/agda-calf
github
similar
Eloston/ungoogled-chromium
github
similar
k6io/k6
github
similar
exaloop/codon
github
similar
julianhyde/morel
github
similar
gibiansky/IHaskell
github
similar
tootsuite/mastodon
github
similar
jonsterling/dreamtt
github
similar
AD1024/dtlc
github
similar
ejgallego/coq-lsp
github
similar
ranjitjhala/sprite-lang
github
similar
thery/T2048
github
similar
RobertHarper/hott-notes
github
similar
HarrisonGrodin/agda-modtt
github
similar
atennapel/tinka-hs
github
similar
shaunlebron/parinfer
github
similar
jsiek/denotational_semantics
github
similar
euisuny/best-of-popl
github
similar
plum-umd/abstracting-definitional-interpreters
github
similar
nachivpn/k
github
similar
Ucombinator/jaam
github
similar
Trebor-Huang/Down-The-Path
github
similar
lastland/ClairvoyanceMonad
github
similar
AndrasKovacs/thesis
github
similar
andrejbauer/higher-rank-syntax
github
similar
tree-sitter/tree-sitter-agda
github
similar
c-cube/mc2
github
similar
RedPRL/algaeff
github
similar
vehicle-lang/vehicle
github
similar
groupoid/anders
github
similar
jonsterling/coq-domains
github
similar
FrozenWinters/stlc
github
similar