← 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.

74.4/100
★ 773Forks: 116
View on GitHub →Homepage →
Loading report...

Similar Projects

DocsGPT

92

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.7K

ml-engineering

74

Machine Learning Engineering Open Book

Python★ 17.3K

inference

89

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.1K

bitsandbytes

91

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

Python★ 8.0K
← Back to List