Similar repositories to hargoniX/cpdt-lean:

• hargoniX/cpdt-lean github similar
• tootsuite/mastodon github similar
• tuvtran/project-based-learning github similar
• pixijs/pixi.js github similar
• danistefanovic/build-your-own-x github similar
• hecrj/iced github similar
• krassowski/jupyterlab-lsp github similar
• shaunlebron/parinfer github similar
• yatima-inc/Parsec.lean github similar
• leanprover/doc-gen4 github similar
• marcusrossel/model-checking github similar
• opencompl/lean-mlir-semantics github similar
• Eloston/ungoogled-chromium github similar
• k6io/k6 github similar
• oragono/oragono github similar
• alexcrichton/cc-rs github similar
• meilisearch/MeiliSearch github similar
• aquynh/capstone github similar
• bansal-io/pattern.css github similar
• domchristie/turndown github similar
• lab-ml/annotated_deep_learning_paper_implementations github similar
• amirouche/copernic github similar
• leanprover-community/vscode-lean4 github similar
• Snowtrack/SnowFS github similar
• GamestonkTerminal/GamestonkTerminal github similar
• oscarlab/graphene github similar
• gabriel-fallen/bidirectional-demo github similar
• zhiqi-li/BEVFormer github similar
• dselsam/lean-gym github similar
• tanersener/ffmpeg-kit github similar
• groupoid/anders github similar
• exercism/scheme-test-runner github similar
• chakravala/Ajna.jl github similar
• jordiae/neural-compilers github similar
• javra/iit github similar
• lecopivo/lean4-karray github similar
• yoav-lavi/ts-dependent-types github similar
• dwrensha/lean4-maze github similar
• yatima-inc/OpenGL.lean github similar
• rlouf/reasoned-schemer github similar