JasonGross / autoformalization-transpilation
Using LLMs to transpile from Coq to Lean (public version, may be out of date)
☆19Updated last month
Alternatives and similar repositories for autoformalization-transpilation
Users that are interested in autoformalization-transpilation are comparing it to the libraries listed below
Sorting:
- doteval☆19Updated 3 weeks ago
- ☆19Updated this week
- Next Generation Experimental Tracking for Machine Learning Operations☆51Updated this week
- Fine-grained access control☆126Updated last month
- Open source solutions for SOC2, GDPR, and ISO27001☆386Updated this week
- An MCP server that autonomously evaluates web applications.☆813Updated this week
- ☆38Updated this week
- Cloudstate is a JavaScript database runtime.☆177Updated 3 weeks ago
- Gumloop Unified Model Context Protocol (guMCP)☆398Updated this week
- 🦛 CHONK your texts with Chonkie ✨ — The no-nonsense RAG chunking library☆932Updated this week
- Open Source Auth Built on Freestyle: own your auth + data https://docs.freestyle.dev/guides/authentication/☆22Updated 11 months ago
- ☆48Updated this week
- ☆1,218Updated 2 months ago
- Python library for easy and fast ML-based & conventional imputation techniques.☆31Updated 2 years ago
- Kotlin bindings for Edgerunner☆30Updated 10 months ago
- HelixDB is a powerful, open-source, graph-vector database built in Rust for intelligent data storage for RAG and AI.☆1,257Updated this week
- 🚀 Easy, open-source LLM finetuning with one-line commands, seamless cloud integration, and popular optimization frameworks. ✨☆91Updated 9 months ago
- Spongecake is the easiest way to launch computer use agents.☆136Updated 3 weeks ago
- ☆66Updated 6 months ago
- Open source multi-modal RAG for building AI apps over private knowledge.☆2,266Updated this week
- CLI Tool for converting pydantic models into typescript definitions☆34Updated 6 months ago
- ☆58Updated 2 months ago
- Prompt engineering, automated.☆311Updated 3 weeks ago
- A customizable, general purpose AI Agent that supports MCP. Talk to Saiki in natural language to control computers, applications and more…☆128Updated this week
- AI Browser Automation☆426Updated this week
- Airweave lets agents search any app☆1,217Updated this week
- Agent File (.af): An open file format for serializing stateful AI agents with persistent memory and behavior. Share, checkpoint, and vers…☆446Updated last week
- 🛠️ The toolkit for codebase mapping, symbol extraction, and many kinds of code search. Build AI-powered devtools!☆307Updated this week
- Laminar - open-source all-in-one platform for engineering AI products. Create data flywheel for your AI app. Traces, Evals, Datasets, Lab…☆1,979Updated this week
- ✨ Build a machine learning model from a prompt☆1,651Updated this week