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 2 months ago
• blaxel-ai / sdk-python
  ☆19Updated this week
• golf-mcp / golf
  Production-Ready MCP Server Framework • Build, deploy & scale secure AI agent infrastructure • Includes Auth, Observability, Debugger, Te…
  ☆628Updated last week
• getprobo / probo
  Open source solutions for SOC2, GDPR, and ISO27001
  ☆568Updated this week
• mlop-ai / mlop
  Next Generation Experimental Tracking for Machine Learning Operations
  ☆318Updated last month
• freestyle-sh / freestyle-auth
  Open Source Auth Built on Freestyle: own your auth + data https://docs.freestyle.dev/guides/authentication/
  ☆23Updated last year
• Operative-Sh / web-eval-agent
  An MCP server that autonomously evaluates web applications.
  ☆1,035Updated 3 weeks ago
• lmnr-ai / lmnr-python
  ☆50Updated this week
• freestyle-sh / cloudstate
  Cloudstate is a JavaScript database runtime.
  ☆182Updated 2 months ago
• flowglad / flowglad
  Open source payments + billing infrastructure
  ☆174Updated last week
• aditya-nadkarni / spongecake
  Spongecake is the easiest way to launch computer use agents.
  ☆144Updated 2 months ago
• pig-dot-dev / muscle-mem
  A cache for AI agents to learn and replay complex behaviors.
  ☆670Updated last week
• Darius-Labs / pydantic-to-typescript2
  CLI Tool for converting pydantic models into typescript definitions
  ☆35Updated 8 months ago
• imputr / imputr
  Python library for easy and fast ML-based & conventional imputation techniques.
  ☆31Updated 2 years ago
• truffle-ai / saiki
  A customizable, general purpose AI Agent that supports MCP. Talk to Saiki in natural language to control computers, applications and more…
  ☆158Updated this week
• chonkie-inc / chonkie
  🦛 CHONK your texts with Chonkie ✨ — The no-nonsense RAG chunking library
  ☆1,538Updated this week
• cased / kit
  The toolkit for codebase mapping, symbol extraction, and many kinds of code search. Build AI-powered devtools
  ☆520Updated this week
• wild-card-ai / agents-json
  ☆1,242Updated last month
• featureform / enrichmcp
  EnrichMCP is a python framework for building data driven MCP servers
  ☆518Updated last week
• TrySummon / summon-app
  Postman for MCP servers
  ☆26Updated last week
• hyperbrowserai / HyperAgent
  AI Browser Automation
  ☆511Updated 3 weeks ago
• simplifine-llm / Simplifine
  🚀 Easy, open-source LLM finetuning with one-line commands, seamless cloud integration, and popular optimization frameworks. ✨
  ☆93Updated 10 months ago
• cerulion-inc / cerulion
  ☆68Updated 7 months ago
• HelixDB / helix-db
  HelixDB is a powerful, open-source, graph-vector database built in Rust for intelligent data storage for RAG and AI.
  ☆2,075Updated 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…
  ☆497Updated 3 weeks ago
• zenbase-ai / core
  Prompt engineering, automated.
  ☆329Updated 2 months ago
• astronomer / airflow-ai-sdk
  An SDK for working with LLMs and AI Agents from Apache Airflow, based on Pydantic AI
  ☆418Updated last month
• neuralize-ai / edgerunner-android
  Kotlin bindings for Edgerunner
  ☆30Updated 11 months ago
• inngest / agent-kit
  AgentKit: Build multi-agent networks in TypeScript with deterministic routing and rich tooling via MCP.
  ☆493Updated this week
• useautumn / autumn
  Autumn is an open-source pricing & billing platform
  ☆412Updated this week