← Back to List
⚠
Notice:This resource is provided by a third-party author. Please review the code with AI tools or manually before use to ensure security and compatibility.
Pythonlean-dojo/LeanDojo

LeanDojo

Tool for data extraction and interacting with Lean programmatically.

69.1/100
★ 792Forks: 117
View on GitHub →Homepage →
Loading report...

Similar Projects

DocsGPT

93

Private AI platform for agents, assistants and enterprise search. Built-in Agent Builder, Deep research, Document analysis, Multi-model support, and API connectivity for agents.

Python★ 17.8K

ml-engineering

69

Machine Learning Engineering Open Book

Python★ 17.8K

inference

91

Swap GPT for any LLM by changing a single line of code. Xinference lets you run open-source, speech, and multimodal models on cloud, on-prem, or your laptop — all through one unified, production-ready inference API.

Python★ 9.3K

bitsandbytes

90

Accessible large language models via k-bit quantization for PyTorch.

Python★ 8.2K
← Back to List