Similar repositories to Julian/lftim:

• Julian/lftim github similar
• google-research/tuning_playbook github similar
• microsoft/BioGPT github similar
• mukulpatnaik/researchgpt github similar
• openai/tiktoken github similar
• microsoft/visual-chatgpt github similar
• zhangir-azerbayev/mathlib-semantic-search github similar
• leanprover-community/mathlib3port github similar
• zhangir-azerbayev/ProofNet github similar
• yatima-inc/straume github similar
• user7230724/lean-projects4 github similar
• adamtopaz/Lean4_AOC_2022 github similar
• ericrbg/leanFAQ github similar
• leanprover-community/blog github similar
• gshen42/ml-type-inference github similar
• digama0/mm-web-rs github similar
• leanprover/doc-gen4 github similar
• crabbo-rave/Soup github similar
• atarnoam/lean-automata github similar
• siddhartha-gadgil/LeanAide github similar
• leanprover-community/doc-gen github similar
• leanprover/lean4-samples github similar
• Kha/do-supplement github similar
• mariainesdff/ideles github similar
• QuangBuiCP/BatchForCP github similar
• CodeTiger927/CodeForcesRepo github similar
• yatima-inc/LSpec github similar
• javra/iit github similar
• tydeu/lean4-alloy github similar
• larsk21/iris-lean github similar
• TravisWhitaker/nix-quartus github similar
• lecopivo/lean4-karray github similar
• hargoniX/cpdt-lean github similar
• arthurpaulino/FxyLang github similar
• xubaiw/Socket.lean github similar
• siddhartha-gadgil/lean-loris github similar
• opencompl/lean-mlir github similar
• jasonrute/thoughts-on-ai-for-theorem-proving github similar
• ssomayyajula/linear github similar
• arthurpaulino/lean2md github similar