JasonGross / autoformalization-transpilationLinks
Using LLMs to transpile from Coq to Lean (public version, may be out of date)
☆19Updated 5 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 4 months ago
- ☆20Updated this week
- Production-Ready MCP Server Framework • Build, deploy & scale secure AI agent infrastructure • Includes Auth, Observability, Debugger, Te…☆741Updated last week
- Open source solutions for SOC2, GDPR, and ISO27001☆663Updated this week
- Open Source Auth Built on Freestyle: own your auth + data https://docs.freestyle.dev/guides/authentication/☆23Updated last year
- An MCP server that autonomously evaluates web applications.☆1,160Updated last week
- Cloudstate is a JavaScript database runtime.☆198Updated 2 months ago
- Ship billing in minutes, not weeks☆21Updated last week
- ☆50Updated this week
- The fastest, lightest, and easiest-to-integrate AI gateway on the market. Fully open-sourced.☆399Updated last month
- HelixDB is a database built from scratch to be the backend for any AI application.☆2,369Updated this week
- Postman for MCP servers☆121Updated 3 weeks ago
- ✨ Build a machine learning model from a prompt☆2,160Updated last week
- Python library for easy and fast ML-based & conventional imputation techniques.☆31Updated 2 years ago
- ☆73Updated 9 months ago
- CLI Tool for converting pydantic models into typescript definitions☆35Updated 10 months ago
- Airweave lets agents search any app☆2,859Updated last week
- 🦛 CHONK your texts with Chonkie ✨ — The no-nonsense RAG chunking library☆2,076Updated this week
- A lightweight runtime for creating and running AI agents that turn natural language into real-world actions.☆192Updated this week
- ☆1,268Updated last week
- Kotlin bindings for Edgerunner☆29Updated last year
- Laminar - open-source all-in-one platform for engineering AI products. Create data flywheel for your AI app. Traces, Evals, Datasets, Lab…☆2,252Updated this week
- The most accurate document search and store for building AI apps☆3,152Updated this week
- 🐍 Sublingual helps you log and analyze all of your LLM calls, including the prompt template, call parameters, responses, tool calls, and…☆52Updated 5 months ago
- 🔥 Reliable Browser AI agents (YC S25)☆1,530Updated this week
- ☆58Updated 5 months ago
- Secure, high-performance AI infrastructure in Python.☆1,180Updated this week
- 🚀 Easy, open-source LLM finetuning with one-line commands, seamless cloud integration, and popular optimization frameworks. ✨☆93Updated last year
- HumanLayer enables AI agents to communicate with humans in tool-based and async workflows. Guarantee human oversight of high-stakes funct…☆1,629Updated this week
- Agent File (.af): An open file format for serializing stateful AI agents with persistent memory and behavior. Share, checkpoint, and vers…☆921Updated 3 months ago