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 this week
• golf-mcp / golf
  Production-Ready MCP Server Framework • Build, deploy & scale secure AI agent infrastructure • Includes Auth, Observability, Debugger, Te…
  ☆773Updated last week
• getprobo / probo
  Open source solutions for SOC2, GDPR, and ISO27001
  ☆691Updated last week
• Operative-Sh / web-eval-agent
  An MCP server that autonomously evaluates web applications.
  ☆1,184Updated 3 weeks ago
• pretzelai / lumen
  Ship billing in minutes, not weeks
  ☆21Updated 3 weeks ago
• HelixDB / helix-db
  HelixDB is a database built from scratch to be the backend for any AI application.
  ☆2,508Updated this week
• plexe-ai / plexe
  ✨ Build a machine learning model from a prompt
  ☆2,179Updated last month
• freestyle-sh / cloudstate
  Cloudstate is a JavaScript database runtime.
  ☆200Updated 2 months ago
• 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,295Updated this week
• airweave-ai / airweave
  Airweave lets agents search any app
  ☆2,892Updated this week
• freestyle-sh / freestyle-auth
  Open Source Auth Built on Freestyle: own your auth + data https://docs.freestyle.dev/guides/authentication/
  ☆23Updated last year
• Helicone / ai-gateway
  The fastest, lightest, and easiest-to-integrate AI gateway on the market. Fully open-sourced.
  ☆415Updated last month
• cerulion-inc / cerulion
  ☆75Updated 10 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,905Updated last week
• wild-card-ai / agents-json
  ☆1,268Updated last month
• lmnr-ai / lmnr-python
  ☆52Updated this week
• pig-dot-dev / muscle-mem
  A cache for AI agents to learn and replay complex behaviors.
  ☆746Updated 3 months ago
• hyperbrowserai / HyperAgent
  AI Browser Automation
  ☆706Updated last month
• nottelabs / notte
  🔥 Reliable Browser AI agents (YC S25)
  ☆1,614Updated this week
• abshkbh / arrakis
  A fully customizable and self-hosted sandboxing solution for AI agent code execution and computer use. It features out-of-the-box support…
  ☆570Updated 3 months ago
• beam-cloud / beta9
  Ultrafast serverless GPU inference, sandboxes, and background jobs
  ☆1,298Updated last week
• cased / kit
  The toolkit for AI devtools context engineering. Build with codebase mapping, symbol extraction, and many kinds of code search.
  ☆612Updated this week
• toolprint / sdk-ts
  The official toolprint SDK in typescript
  ☆42Updated last week
• Simplifine-gamedev / Simplifine
  🚀 Easy, open-source LLM finetuning with one-line commands, seamless cloud integration, and popular optimization frameworks. ✨
  ☆94Updated last year
• RedPlanetHQ / core
  Your unified, shareable memory layer for AI apps. Compatible with Cursor, Claude Desktop, Claude Code, Gemini CLI, Windsurf, AWS's Kiro, …
  ☆636Updated last week
• TwillAI / summon-app
  Postman for MCP servers
  ☆122Updated last month
• 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 6 months ago
• truffle-ai / truffle-ai-sdk
  ☆57Updated 6 months ago
• mlop-ai / mlop
  Next Generation Experimental Tracking for Machine Learning Operations
  ☆342Updated 3 months ago