Alternatives and similar repositories for autoformalization-transpilation

Users that are interested in autoformalization-transpilation are comparing it to the libraries listed below

• The-LLM-Data-Company / doteval
  doteval
  ☆20Updated 5 months ago
• blaxel-ai / sdk-python
  ☆20Updated last week
• golf-mcp / golf
  Production-Ready MCP Server Framework • Build, deploy & scale secure AI agent infrastructure • Includes Auth, Observability, Debugger, Te…
  ☆780Updated 2 weeks ago
• getprobo / probo
  Open source solutions for SOC2, GDPR, and ISO27001
  ☆728Updated this week
• pretzelai / lumen
  Ship billing in minutes, not weeks
  ☆22Updated 2 weeks ago
• Operative-Sh / web-eval-agent
  An MCP server that autonomously evaluates web applications.
  ☆1,190Updated last month
• truffle-ai / truffle-ai-sdk
  ☆57Updated 7 months ago
• lmnr-ai / lmnr-python
  ☆52Updated last week
• freestyle-sh / freestyle-auth
  Open Source Auth Built on Freestyle: own your auth + data https://docs.freestyle.dev/guides/authentication/
  ☆23Updated last year
• plexe-ai / plexe
  ✨ Build a machine learning model from a prompt
  ☆2,182Updated last month
• HelixDB / helix-db
  HelixDB is an open-source graph-vector database built from scratch in Rust.
  ☆2,751Updated this week
• chonkie-inc / chonkie
  🦛 CHONK docs with Chonkie ✨ — The no-nonsense RAG library
  ☆2,490Updated last week
• airweave-ai / airweave
  Airweave lets agents search any app
  ☆4,184Updated this week
• zeroentropy-ai / zchunk
  A new chunking strategy developed by ZeroEntropy for general semantic chunking using Llama-70B.
  ☆216Updated 8 months ago
• asteroidai / cookbook
  Recipes for AI agents that use Asteroid to be safe and reliable. Want yours featured? Submit a PR!
  ☆49Updated 5 months ago
• agentin-ai / agentin
  AI Agents for Enterprise Software Automation
  ☆45Updated 9 months ago
• Helicone / ai-gateway
  The fastest, lightest, and easiest-to-integrate AI gateway on the market. Fully open-sourced.
  ☆435Updated 2 months ago
• Darius-Labs / pydantic-to-typescript2
  CLI Tool for converting pydantic models into typescript definitions
  ☆35Updated 11 months ago
• sublingual-ai / sublingual-monitoring
  🐍 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
• mozilla-ai / any-llm
  Communicate with an LLM provider using a single interface
  ☆991Updated this week
• TwillAI / summon-app
  Postman for MCP servers
  ☆122Updated 2 months ago
• superglue-ai / superglue
  superglue integrates & orchestrates APIs from natural language. Agents use it to build deterministic workflows across apps, APIs and data…
  ☆1,909Updated this week
• truffle-ai / dexto
  The Orchestration Layer for AI agents. Connect your models, tools, and data into a smart interface to create agentic apps that can think,…
  ☆241Updated this week
• zeroeval / zeroeval-sdk
  ☆14Updated last week
• wild-card-ai / agents-json
  ☆1,266Updated last month
• nottelabs / notte
  🔥 Reliable Browser AI agents (YC S25)
  ☆1,636Updated this week
• lmnr-ai / lmnr
  Laminar - open-source all-in-one platform for engineering AI products. Create data flywheel for your AI app. Traces, Evals, Datasets, Lab…
  ☆2,330Updated this week
• a1baseai / a1framework
  A1Base NextJS template
  ☆65Updated 4 months ago
• freestyle-sh / cloudstate
  Cloudstate is a JavaScript database runtime.
  ☆202Updated 3 months ago
• Simplifine-gamedev / Simplifine
  🚀 Easy, open-source LLM finetuning with one-line commands, seamless cloud integration, and popular optimization frameworks. ✨
  ☆95Updated last year