Similar repositories to agentultra/lean-4-hackers:

• agentultra/lean-4-hackers github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• openai/tiktoken github similar
• mo271/formal_book github similar
• forked-from-1kasper/ground_zero github similar
• arthurpaulino/lean2md github similar
• avigad/mathematics_in_lean_source github similar
• leanprover/doc-gen4 github similar
• Ja1941/hilberts-axioms github similar
• conal/Collaboration github similar
• fathyb/carbonyl github similar
• google-research/tuning_playbook github similar
• microsoft/BioGPT github similar
• mukulpatnaik/researchgpt github similar
• microsoft/visual-chatgpt github similar
• tuvtran/project-based-learning github similar
• Averethel/OCamlMin github similar
• k6io/k6 github similar
• leanprover-community/vscode-lean4 github similar
• mdeloof/statig github similar
• lencx/ChatGPT github similar
• rerun-io/rerun github similar
• yihong0618/bilingual_book_maker github similar
• mikesha2/identitylib github similar
• lean-forward/class-group-and-mordell-equation github similar
• digama0/mizar-rs github similar
• pixijs/pixi.js github similar
• aquynh/capstone github similar
• eric-wieser/lean-graded-rings github similar
• lucidrains/PaLM-rlhf-pytorch github similar
• lucidrains/toolformer-pytorch github similar
• GamestonkTerminal/GamestonkTerminal github similar
• dwrensha/lean4-maze github similar
• ammkrn/nanoda_lib github similar
• opencompl/lean-gap github similar
• google/formal-ml github similar
• leanprover-community/archive github similar
• mirefek/sokoban.lean github similar
• Jlh18/ModelTheory8Report github similar