Similar repositories to leanprover/vscode-lean:

• leanprover/vscode-lean github similar
• gibiansky/IHaskell 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
• leanprover/elan github similar
• motemen/gore github similar
• tuvtran/project-based-learning github similar
• Eugeny/terminus github similar
• JLimperg/aesop github similar
• ReactTraining/react-router github similar
• k6io/k6 github similar
• leanprover-community/mathlib4 github similar
• gebner/hott3 github similar
• toeverything/AFFiNE github similar
• Eloston/ungoogled-chromium github similar
• martinescardo/HoTTEST-Summer-School github similar
• mhuisi/lean4-cli github similar
• leanprover/LeanInk github similar
• math-comp/hierarchy-builder github similar
• leanprover/tc github similar
• leanprover-community/format_lean github similar
• alexcrichton/cc-rs github similar
• pixijs/pixi.js github similar
• juxt/crux github similar
• superfly/litefs github similar
• leanprover/lake github similar
• leanprover-community/mathlib-tools github similar
• leanprover-community/lftcm2020 github similar
• leanprover/vscode-lean4 github similar
• leanprover-community/lean-liquid github similar
• danburkert/prost github similar
• leanprover-community/lean-perfectoid-spaces github similar
• RobertHarper/hott-notes github similar
• ImperialCollegeLondon/M4P33 github similar
• kmill/lean4-raytracer github similar
• leanprover/tutorial github similar
• leanprover/lean-mode github similar