Using LLMs to transpile from Coq to Lean (public version, may be out of date)
☆20Dec 23, 2025Updated 5 months ago
Alternatives and similar repositories for autoformalization-transpilation
Users that are interested in autoformalization-transpilation are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Python library for LLM-based evaluation using weighted rubrics.☆66Feb 3, 2026Updated 4 months ago
- ☆26Updated this week
- Production-Ready MCP Server Framework • Build, deploy & scale secure AI agent infrastructure • Includes Auth, Observability, Debugger, Te…☆829May 8, 2026Updated last month
- Open source solutions for SOC2, GDPR, and ISO27001☆1,170Updated this week
- An MCP server that autonomously evaluates web applications.☆1,240Feb 11, 2026Updated 4 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- The most accurate document search and store for building AI apps☆3,610May 11, 2026Updated last month
- Open Source Auth Built on Freestyle: own your auth + data https://docs.freestyle.dev/guides/authentication/☆23Jun 12, 2024Updated 2 years ago
- ✨ Build a machine learning model from a prompt☆2,584Mar 6, 2026Updated 3 months ago
- ☆18Jun 8, 2026Updated last week
- HelixDB is an OLTP graph-vector database built in Rust.☆5,038Updated this week
- Nadir: Cutting-edge PyTorch optimizers for simplicity & composability! 🔥🚀💻☆14Jun 15, 2024Updated 2 years ago
- A lightweight next-gen data explorer - Postgres, MySQL, SQLite, MongoDB, Redis, MariaDB, Elastic Search, and Clickhouse with Chat interfa…☆4,856Updated this week
- AI-assisted writing tool.☆70Feb 14, 2024Updated 2 years ago
- ☆57Updated this week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- An operator for streaming Kubernetes resource metadata, logs, events, and network traffic telemetry over mTLS to Kestrel Cloud.☆31Updated this week
- Extract valuable information from your project github Stars & Forks such as email, company, twitter and then explore it with streamlit🌟☆21Feb 8, 2024Updated 2 years ago
- Ship billing in minutes, not weeks☆30Jan 26, 2026Updated 4 months ago
- Repository containing code for the NAACL 2021 paper (Incorporating External Knowledge to Enhance Tabular Reasoning)☆16Jun 20, 2021Updated 4 years ago
- A Python utility for indexing file lines. Best demo honourable mention at ECIR 2024.☆23Nov 9, 2025Updated 7 months ago
- Open-source MCP server for secure, low-latency cloud-browser automation on Kernel.☆30Jun 11, 2026Updated last week
- ☆14Sep 30, 2021Updated 4 years ago
- Monorepo☆32Aug 13, 2025Updated 10 months ago
- A Rack plugin to automatically utilize the server_health_check gem☆12Aug 29, 2023Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- JAX/Flax implimentation of 'Attention Is All You Need' by Vaswani et al. (https://arxiv.org/abs/1706.03762)☆15Aug 16, 2021Updated 4 years ago
- Test app, to clarify deploy with Docker Compose, Distillery, Phoenix & dynamic ENV variables☆11Sep 1, 2017Updated 8 years ago
- MCP SERVER☆43Mar 28, 2026Updated 2 months ago
- An Erlang source code tokenizer written in Rust.☆12May 21, 2026Updated 3 weeks ago
- Open-source infrastructure for Computer-Use Agents. Sandboxes, SDKs, and benchmarks to train and evaluate AI agents that can control full…☆17,874Updated this week
- Pre-training BART in Flax on The Pile dataset☆22Jul 24, 2021Updated 4 years ago
- Alternative application controller for Erlang/OTP☆30Jan 25, 2024Updated 2 years ago
- Quasi Hyperbolic Rectified DEMON Adam/Amsgrad with AdaMod, Gradient Centralization, Lookahead, iterative averaging and decorrelated Weigh…☆25Sep 23, 2020Updated 5 years ago
- Spongecake is the easiest way to launch computer use agents.☆181Apr 25, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Fast tokenizer for language models, compatible with SentencePiece, Tokenizers, Tiktoken and more. Supports BPE, Unigram and WordPiece tok…☆54May 10, 2026Updated last month
- Blockoli is a high-performance tool for code indexing, embedding generation and semantic search tool for use with LLMs.☆166Apr 19, 2024Updated 2 years ago
- Minimal K/V store with API and Dashboard☆17Dec 16, 2021Updated 4 years ago
- A tiny library for processing Erlang BEAM file in Rust☆24May 21, 2026Updated 3 weeks ago
- 😎 Sagentic.ai Agent Framework - Sagentic.ai is a unified platform for building, running and scaling autonomous agents.☆78Jun 9, 2026Updated last week
- 🦛 CHONK docs with Chonkie ✨ — The lightweight ingestion library for fast, efficient and robust RAG pipelines☆4,139Jun 11, 2026Updated last week
- Cross-platform Blob implementation for Node.js and the Web.☆12Oct 18, 2022Updated 3 years ago