Similar repositories to groupoid/lean:

• groupoid/lean github similar
• hecrj/iced github similar
• danistefanovic/build-your-own-x github similar
• groupoid/infinity github similar
• gibiansky/IHaskell github similar
• aquynh/capstone github similar
• forked-from-1kasper/tt github similar
• Eloston/ungoogled-chromium github similar
• meilisearch/MeiliSearch github similar
• tuvtran/project-based-learning github similar
• ReactTraining/react-router github similar
• 5HT/valery github similar
• HoTT/HoTT-2019 github similar
• rwbarton/lean-homotopy-theory github similar
• forked-from-1kasper/leanbot github similar
• groupoid/agda github similar
• gebner/hott3 github similar
• leanprover-community/vscode-lean4 github similar
• blockstack/stacks github similar
• tootsuite/mastodon github similar
• postalhq/postal github similar
• ubuntu/microk8s github similar
• k6io/k6 github similar
• oragono/oragono github similar
• JonathanLorimer/tdd-with-idris2 github similar
• domchristie/turndown github similar
• cmu-phil/Spectral github similar
• 5HT/DependentLinearPi github similar
• groupoid/principia github similar
• kbuzzard/lean4-filters github similar
• google/formal-ml github similar
• andrejbauer/mathematics-and-computation github similar
• ImperialCollegeLondon/dots_and_boxes github similar
• ayberkt/formal-topology-in-UF github similar
• agentultra/lean-for-hackers github similar
• atennapel/coc-os github similar
• tomjridge/imp_fs github similar
• o29/n2o github similar
• TOTBWF/agda-higher-categories github similar
• TwoFX/lean-homological-algebra github similar