Similar repositories to leanprover/presentations:

• leanprover/presentations github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• aquynh/capstone github similar
• motemen/gore github similar
• tuvtran/project-based-learning github similar
• k6io/k6 github similar
• expnkx/fast_io github similar
• Eloston/ungoogled-chromium github similar
• htzh/leanproved github similar
• tydeu/lean4-papyrus github similar
• domchristie/turndown github similar
• ReactTraining/react-router github similar
• Averethel/OCamlMin github similar
• postalhq/postal github similar
• moyix/fauxpilot github similar
• toeverything/AFFiNE github similar
• ubuntu/microk8s github similar
• zhangir-azerbayev/lean-chat github similar
• tootsuite/mastodon github similar
• leanprover/std4 github similar
• Eugeny/terminus github similar
• NetchX/Netch github similar
• tweag/awesome-learning-haskell github similar
• mikeshulman/ohtt github similar
• oven-sh/bun github similar
• smlnj/smlnj github similar
• pigworker/SmolCat github similar
• plt-amy/cubical-methods github similar
• leo-colisson/zx-calculus github similar
• ralsei/six-eyes github similar
• maxsnew/grammars-and-semantic-actions github similar
• nmvdw/RezkCompletion github similar
• achlipala/frapapp github similar
• opencompl/lean-mlir github similar
• T-Brick/molasses github similar
• unitb/unitb-semantics github similar
• Heather/keybase github similar
• kckennylau/mathlib4 github similar
• yizhouzhang/olaf-coq github similar