JasonGross / autoformalization-transpilationLinks
Using LLMs to transpile from Coq to Lean (public version, may be out of date)
☆19Updated 3 months ago
Alternatives and similar repositories for autoformalization-transpilation
Users that are interested in autoformalization-transpilation are comparing it to the libraries listed below
Sorting:
- doteval☆20Updated 2 months ago
- ☆19Updated last week
- Production-Ready MCP Server Framework • Build, deploy & scale secure AI agent infrastructure • Includes Auth, Observability, Debugger, Te…☆707Updated this week
- An MCP server that autonomously evaluates web applications.☆1,111Updated 3 weeks ago
- Open source solutions for SOC2, GDPR, and ISO27001☆599Updated this week
- ✨ Build a machine learning model from a prompt☆2,037Updated 3 weeks ago
- HelixDB is a powerful, open-source, graph-vector database built in Rust for intelligent data storage for RAG and AI.☆2,185Updated this week
- A cache for AI agents to learn and replay complex behaviors.☆689Updated last month
- Cloudstate is a JavaScript database runtime.☆185Updated 3 weeks ago
- Airweave lets agents search any app☆2,748Updated this week
- ☆1,256Updated 2 months ago
- The most accurate document search and store for building AI apps☆2,799Updated this week
- 🦛 CHONK your texts with Chonkie ✨ — The no-nonsense RAG chunking library☆1,778Updated last week
- AI Browser Automation☆550Updated this week
- ☆50Updated this week
- Data transformation framework for AI. Ultra performant, with incremental processing.☆2,212Updated this week
- Laminar - open-source all-in-one platform for engineering AI products. Create data flywheel for your AI app. Traces, Evals, Datasets, Lab…☆2,150Updated last week
- Open Source Auth Built on Freestyle: own your auth + data https://docs.freestyle.dev/guides/authentication/☆23Updated last year
- Agent File (.af): An open file format for serializing stateful AI agents with persistent memory and behavior. Share, checkpoint, and vers…☆840Updated last month
- The fastest, lightest, and easiest-to-integrate AI gateway on the market. Fully open-sourced.☆341Updated this week
- Postman for MCP servers☆95Updated this week
- EnrichMCP is a python framework for building data driven MCP servers☆567Updated this week
- Arcade Python SDK, CLI, and toolkits☆513Updated this week
- A fully customizable and self-hosted sandboxing solution for AI agent code execution and computer use. It features out-of-the-box support…☆520Updated last month
- HumanLayer enables AI agents to communicate with humans in tool-based and async workflows. Guarantee human oversight of high-stakes funct…☆955Updated this week
- Run coding agents in a secure sandbox. A simple SDK for safely running Codex, Gemini CLI and Claude Code in your app or workflow. 🖖☆640Updated this week
- Agentic testing for agentic codebases☆368Updated last week
- The toolkit for AI devtools context engineering. Build with codebase mapping, symbol extraction, and many kinds of code search.☆557Updated this week
- Create MVPs with AI in seconds☆541Updated last month
- WorkflowAI is an open-source platform where product and engineering teams collaborate to build and iterate on AI features.☆416Updated this week