JasonGross / autoformalization-transpilationLinks
Using LLMs to transpile from Coq to Lean (public version, may be out of date)
☆19Updated 2 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 last month
- ☆19Updated last week
- Production-Ready MCP Server Framework • Build, deploy & scale secure AI agent infrastructure • Includes Auth, Observability, Debugger, Te…☆577Updated this week
- Open source solutions for SOC2, GDPR, and ISO27001☆519Updated this week
- Next Generation Experimental Tracking for Machine Learning Operations☆294Updated last week
- An MCP server that autonomously evaluates web applications.☆994Updated this week
- Cloudstate is a JavaScript database runtime.☆179Updated last month
- A fully customizable and self-hosted sandboxing solution for AI agent code execution and computer use. It features out-of-the-box support…☆456Updated this week
- A customizable, general purpose AI Agent that supports MCP. Talk to Saiki in natural language to control computers, applications and more…☆138Updated last week
- Open Source Auth Built on Freestyle: own your auth + data https://docs.freestyle.dev/guides/authentication/☆23Updated 11 months ago
- 🦛 CHONK your texts with Chonkie ✨ — The no-nonsense RAG chunking library☆1,048Updated this week
- HelixDB is a powerful, open-source, graph-vector database built in Rust for intelligent data storage for RAG and AI.☆1,952Updated this week
- Kotlin bindings for Edgerunner☆30Updated 10 months ago
- Prompt engineering, automated.☆325Updated last month
- WorkflowAI is an open-source platform where product and engineering teams collaborate to build and iterate on AI features.☆402Updated this week
- 🐍 Sublingual helps you log and analyze all of your LLM calls, including the prompt template, call parameters, responses, tool calls, and…☆51Updated 3 months ago
- ☆49Updated this week
- Open source multi-modal RAG for building AI apps over private knowledge.☆2,478Updated this week
- Open source payments + billing infrastructure☆167Updated this week
- 🚀 Easy, open-source LLM finetuning with one-line commands, seamless cloud integration, and popular optimization frameworks. ✨☆94Updated 9 months ago
- A cache for AI agents to learn and replay complex behaviors.☆647Updated this week
- Real-time data transformation framework for AI. Ultra performant, with incremental processing.☆1,774Updated this week
- The toolkit for codebase mapping, symbol extraction, and many kinds of code search. Build AI-powered devtools☆478Updated this week
- ☆68Updated 6 months ago
- CLI Tool for converting pydantic models into typescript definitions☆35Updated 7 months ago
- Python library for easy and fast ML-based & conventional imputation techniques.☆31Updated 2 years ago
- Python and TypeScript library for integrating the Stripe API into agentic workflows☆817Updated this week
- HumanLayer enables AI agents to communicate with humans in tool-based and async workflows. Guarantee human oversight of high-stakes funct…☆825Updated 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,022Updated this week
- Portia Labs Python SDK for building agentic workflows.☆162Updated this week