Similar repositories to zhangir-azerbayev/lean-chat:

• zhangir-azerbayev/lean-chat github similar
• danistefanovic/build-your-own-x github similar
• lab-ml/annotated_deep_learning_paper_implementations github similar
• zhangir-azerbayev/lean-chat-vscode github similar
• tuvtran/project-based-learning github similar
• juxt/crux github similar
• lawl/NoiseTorch github similar
• xubaiw/Socket.lean github similar
• ubuntu/microk8s github similar
• pandas-profiling/pandas-profiling github similar
• gregsramblings/google-cloud-4-words github similar
• TOTBWF/lean4-raytrace github similar
• tydeu/lean4-alloy github similar
• jesse-michael-han/lean-step-public github similar
• jasonrute/thoughts-on-ai-for-theorem-proving github similar
• lecopivo/SciLean github similar
• ATOMSLab/LeanChemicalTheories github similar
• PatrickMassot/lean-verbose github similar
• hecrj/iced github similar
• lab-ml/labml github similar
• aquynh/capstone github similar
• tootsuite/mastodon github similar
• gibiansky/IHaskell github similar
• expnkx/fast_io github similar
• krassowski/jupyterlab-lsp github similar
• leanprover-community/vscode-lean4 github similar
• motemen/gore github similar
• zju3dv/NeuMesh github similar
• Lucifier129/farrow github similar
• JLimperg/aesop github similar
• leanprover/lake github similar
• google/formal-ml github similar
• leanprover/doc-gen4 github similar
• siddhartha-gadgil/Saturn github similar
• mdelhoneux/uuparser-composition github similar
• timkpaine/tributary github similar
• ale0sx/brains github similar
• arthurpaulino/lean4-metaprogramming-book github similar
• javra/iit github similar
• zygi/lean-protoc-plugin github similar