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
  ☆17Updated this week
• mlop-ai / mlop
  ☆33Updated this week
• beamlit / sdk-python
  ☆18Updated this week
• authed-dev / authed
  Fine-grained access control for AI agents
  ☆122Updated last week
• Operative-Sh / web-eval-agent
  An MCP server that autonomously evaluates web applications.
  ☆303Updated this week
• getprobo / probo
  Open source solutions for SOC2, GDPR, and ISO27001
  ☆327Updated this week
• HelixDB / helix-db
  HelixDB is a powerful, graph-vector database built in Rust for millisecond query latency and ease of use.
  ☆337Updated this week
• freestyle-sh / freestyle-auth
  Open Source Auth Built on Freestyle: own your auth + data https://docs.freestyle.dev/guides/authentication/
  ☆22Updated 10 months ago
• neuralize-ai / edgerunner-android
  Kotlin bindings for Edgerunner
  ☆30Updated 9 months ago
• gumloop / guMCP
  Gumloop Unified Model Context Protocol (guMCP)
  ☆346Updated this week
• airweave-ai / airweave
  Make Any App Searchable For Agents
  ☆678Updated this week
• freestyle-sh / cloudstate
  Cloudstate is a JavaScript database runtime.
  ☆177Updated this week
• imputr / imputr
  Python library for easy and fast ML-based & conventional imputation techniques.
  ☆31Updated 2 years ago
• truffle-ai / saiki
  A flexible, customizable AI agent that supports MCP. Talk to Saiki in natural language to control computers, applications and more!
  ☆83Updated this week
• lmnr-ai / lmnr-python
  ☆48Updated last week
• chonkie-inc / chonkie
  🦛 CHONK your texts with Chonkie ✨ - The no-nonsense chunking library
  ☆284Updated this week
• Darius-Labs / pydantic-to-typescript2
  CLI Tool for converting pydantic models into typescript definitions
  ☆34Updated 6 months ago
• simplifine-llm / Simplifine
  🚀 Easy, open-source LLM finetuning with one-line commands, seamless cloud integration, and popular optimization frameworks. ✨
  ☆90Updated 8 months ago
• cerulion-inc / cerulion
  ☆66Updated 5 months ago
• morphik-org / morphik-core
  Open source multi-modal RAG for building AI apps over private knowledge.
  ☆1,089Updated this week
• aditya-nadkarni / spongecake
  Spongecake is the easiest way to launch computer use agents.
  ☆128Updated this week
• trycompai / comp
  The open source compliance platform - Drata & Vanta Alternative
  ☆616Updated 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…
  ☆354Updated last week
• zenbase-ai / core
  Prompt engineering, automated.
  ☆301Updated this week
• neuralize-ai / edgerunner
  Simplified AI runtime integration for mobile app development
  ☆65Updated 4 months ago
• rowboatlabs / rowboat
  AI-powered multi-agent builder
  ☆658Updated this week
• buster-so / buster
  The open-source, AI-native data stack
  ☆296Updated this week
• openintegrations / openint
  OpenInt is the fastest way to add native product integrations to your app.
  ☆174Updated this week
• lmnr-ai / lmnr
  Laminar - open-source all-in-one platform for engineering AI products. Crate data flywheel for you AI app. Traces, Evals, Datasets, Label…
  ☆1,870Updated this week
• inngest / agent-kit
  AgentKit: Build multi-agent networks in TypeScript with deterministic routing and rich tooling via MCP.
  ☆403Updated last week