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 / rubric
  A Python library for LLM-based evaluation using weighted rubrics.
  ☆43Updated this week
• blaxel-ai / sdk-python
  ☆23Updated 2 weeks ago
• getprobo / probo
  Open source solutions for SOC2, GDPR, and ISO27001
  ☆908Updated this week
• golf-mcp / golf
  Production-Ready MCP Server Framework • Build, deploy & scale secure AI agent infrastructure • Includes Auth, Observability, Debugger, Te…
  ☆806Updated 2 weeks ago
• freestyle-sh / cloudstate
  Cloudstate is a JavaScript database runtime.
  ☆205Updated 6 months ago
• pretzelai / lumen
  Ship billing in minutes, not weeks
  ☆24Updated 3 months ago
• refreshdotdev / web-eval-agent
  An MCP server that autonomously evaluates web applications.
  ☆1,229Updated 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
• HelixDB / helix-db
  HelixDB is an open-source graph-vector database built from scratch in Rust.
  ☆3,530Updated this week
• KestrelAI / Kestrel-Operator
  An operator for streaming Kubernetes resource metadata, logs, events, and network traffic telemetry over mTLS to Kestrel Cloud.
  ☆29Updated 3 weeks ago
• superglue-ai / superglue
  superglue (YC W25) builds integrations and tools from natural language. Get production-grade tools for long tail and enterprise systems.
  ☆1,965Updated this week
• 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 9 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,495Updated this week
• plexe-ai / plexe
  ✨ Build a machine learning model from a prompt
  ☆2,287Updated 4 months ago
• neuralize-ai / edgerunner-android
  Kotlin bindings for Edgerunner
  ☆28Updated last year
• Simplifine-gamedev / Simplifine
  🚀 Easy, open-source LLM finetuning with one-line commands, seamless cloud integration, and popular optimization frameworks. ✨
  ☆95Updated last year
• zeroeval / zeroeval-sdk
  ☆15Updated last month
• lmnr-ai / lmnr-python
  ☆52Updated this week
• chonkie-inc / chonkie
  🦛 CHONK docs with Chonkie ✨ — The lightweight ingestion library for fast, efficient and robust RAG pipelines
  ☆3,443Updated this week
• beam-cloud / beta9
  Ultrafast serverless GPU inference, sandboxes, and background jobs
  ☆1,520Updated 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…
  ☆731Updated 7 months ago
• airweave-ai / airweave
  Context retrieval for AI agents across apps and databases
  ☆5,510Updated this week
• Darius-Labs / pydantic-to-typescript2
  CLI Tool for converting pydantic models into typescript definitions
  ☆36Updated last year
• Skyvern-AI / wyvern
  ☆78Updated 2 years ago
• truffle-ai / truffle-ai-sdk
  ☆58Updated 9 months ago
• imputr / imputr
  Python library for easy and fast ML-based & conventional imputation techniques.
  ☆31Updated 3 years ago
• truffle-ai / dexto
  The Intelligence Layer for AI agents. Connect your models, tools, and data to create agentic apps that can think, act and talk to you.
  ☆573Updated last week
• ssoready / ssoready
  Open-source dev tools for enterprise SSO. Ship SAML + SCIM support this afternoon.
  ☆1,517Updated 4 months ago
• wild-card-ai / agents-json
  ☆1,291Updated 4 months ago
• Helicone / ai-gateway
  The fastest, lightest, and easiest-to-integrate AI gateway on the market. Fully open-sourced.
  ☆494Updated last month