JasonGross / autoformalization-transpilationLinks
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:
- A Python library for LLM-based evaluation using weighted rubrics.☆36Updated this week
- ☆21Updated this week
- Production-Ready MCP Server Framework • Build, deploy & scale secure AI agent infrastructure • Includes Auth, Observability, Debugger, Te…☆789Updated last week
- Open source solutions for SOC2, GDPR, and ISO27001☆788Updated last week
- An MCP server that autonomously evaluates web applications.☆1,197Updated 3 weeks ago
- An operator for streaming Kubernetes resource metadata and network traffic telemetry over mTLS to Kestrel Cloud.☆25Updated 2 weeks ago
- ✨ Build a machine learning model from a prompt☆2,201Updated 2 months ago
- Postman for MCP servers☆122Updated 2 months ago
- HelixDB is an open-source graph-vector database built from scratch in Rust.☆2,879Updated last week
- Ship billing in minutes, not weeks☆23Updated last month
- Python library for easy and fast ML-based & conventional imputation techniques.☆31Updated 2 years ago
- Laminar - open-source all-in-one platform for engineering AI products. Create data flywheel for your AI app. Traces, Evals, Datasets, Lab…☆2,375Updated this week
- Data transformation framework for AI. Ultra performant, with incremental processing. 🌟 Star if you like it!☆3,022Updated this week
- 🦛 CHONK docs with Chonkie ✨ — The no-nonsense RAG library☆3,051Updated last week
- Context retrieval for AI agents across apps and databases☆4,293Updated this week
- Cloudstate is a JavaScript database runtime.☆202Updated 4 months ago
- 🐍 Sublingual helps you log and analyze all of your LLM calls, including the prompt template, call parameters, responses, tool calls, and…☆52Updated 7 months ago
- 🔥 Reliable Browser AI Agents (YC S25)☆1,652Updated this week
- Agent File (.af): An open file format for serializing stateful AI agents with persistent memory and behavior. Share, checkpoint, and vers…☆944Updated 5 months ago
- A fully customizable and self-hosted sandboxing solution for AI agent code execution and computer use. It features out-of-the-box support…☆646Updated 4 months ago
- superglue (YC W25) builds integrations and tools from natural language. Get production-grade tools for long tail and enterprise systems.☆1,914Updated last week
- ☆1,272Updated 2 months ago
- A cache for AI agents to learn and replay complex behaviors.☆755Updated 4 months ago
- Build your personal memory system to power your AI apps.☆882Updated this week
- The most accurate document search and store for building AI apps☆3,339Updated this week
- The fastest, lightest, and easiest-to-integrate AI gateway on the market. Fully open-sourced.☆442Updated 3 months ago
- The Intelligence Layer for AI agents. Connect your models, tools, and data to create agentic apps that can think, act and talk to you.☆260Updated this week
- Find the Root Cause in Your Code's Trace☆345Updated this week
- The toolkit for AI devtools context engineering. Build with codebase mapping, symbol extraction, and many kinds of code search.☆640Updated 2 weeks ago
- Communicate with an LLM provider using a single interface☆1,017Updated this week