Similar repositories to bzhan/auto2:

• bzhan/auto2 github similar
• gibiansky/IHaskell github similar
• tootsuite/mastodon github similar
• bzhan/holpy github similar
• Naproche-SAD/Naproche-SAD github similar
• danistefanovic/build-your-own-x github similar
• aquynh/capstone github similar
• exaloop/codon github similar
• alexcrichton/cc-rs github similar
• zhangir-azerbayev/lean-chat-vscode github similar
• Wenda302/IsarStep github similar
• leanprover-community/mathport github similar
• mvr/at github similar
• jaycech3n/Isabelle-HoTT github similar
• evdenis/acsl-proved github similar
• zhangir-azerbayev/math-lm github similar
• lab-ml/annotated_deep_learning_paper_implementations github similar
• openai/tiktoken github similar
• lupantech/dl4math github similar
• jerryjliu/gpt_index github similar
• ggerganov/llama.cpp github similar
• liyong31/LearnMealyMachine github similar
• aaronpenne/generative_art github similar
• meilisearch/MeiliSearch github similar
• hecrj/iced github similar
• Eloston/ungoogled-chromium github similar
• leanprover-community/vscode-lean4 github similar
• oscarlab/graphene github similar
• edx/edx-platform github similar
• krassowski/jupyterlab-lsp github similar
• leanprover-community/lean-perfectoid-spaces github similar
• guolong-zheng/sling github similar
• TermCOMP/TPDB github similar
• data61/PSL github similar
• moajohansson/IsaHipster github similar
• Vtec234/npm-widget github similar
• tomhoule/theorem-proving-in-lean-exercises github similar
• neel-krishnaswami/proof-checker github similar
• HarrisonGrodin/Completion.jl github similar
• ramonfmir/lean-scheme github similar