Similar repositories to leanprover-community/lt2021:
leanprover-community/lt2021
github
similar
mozilla/serviceworker-cookbook
github
similar
gregsramblings/google-cloud-4-words
github
similar
phuoc-ng/html-dom
github
similar
michaelgutmann/ml-pen-and-paper-exercises
github
similar
redballoonsecurity/ofrak
github
similar
microsoft/fluentui-emoji
github
similar
gibiansky/IHaskell
github
similar
motemen/gore
github
similar
tuvtran/project-based-learning
github
similar
k6io/k6
github
similar
Eugeny/terminus
github
similar
danistefanovic/build-your-own-x
github
similar
expnkx/fast_io
github
similar
leanprover-community/vscode-lean4
github
similar
tweag/awesome-learning-haskell
github
similar
microsoft/picologging
github
similar
stefan-hoeck/idris2-filepath
github
similar
zhangir-azerbayev/lean-chat
github
similar
plt-amy/cubical-methods
github
similar
rapiz1/catp
github
similar
yatima-inc/Parsec.lean
github
similar
isadofschi/combinatorial_nullstellensatz
github
similar
ale0sx/brains
github
similar
pamellies/models-of-programming-languages
github
similar
groupoid/anders
github
similar
stefan-hoeck/idris2-eff
github
similar
RedPRL/asai
github
similar
forked-from-1kasper/bravo
github
similar
Trebor-Huang/agda-linear
github
similar
javra/iit
github
similar
zygi/lean-protoc-plugin
github
similar
Z-snails/Idris2-hashable
github
similar
siddhartha-gadgil/LTS2019
github
similar
haesbaert/ocaml-mpsc
github
similar
ejgallego/coq-universe
github
similar
clayrat/coherence-spaces
github
similar
google/formal-ml
github
similar
ammkrn/nanoda_lib
github
similar
PeterScholze/Analytic
github
similar