Using LLMs to transpile from Coq to Lean (public version, may be out of date)
☆20Dec 23, 2025Updated 2 months ago
Alternatives and similar repositories for autoformalization-transpilation
Users that are interested in autoformalization-transpilation are comparing it to the libraries listed below
Sorting:
- A Python library for LLM-based evaluation using weighted rubrics.☆51Feb 3, 2026Updated last month
- Production-Ready MCP Server Framework • Build, deploy & scale secure AI agent infrastructure • Includes Auth, Observability, Debugger, Te…☆811Jan 31, 2026Updated last month
- Open Source Auth Built on Freestyle: own your auth + data https://docs.freestyle.dev/guides/authentication/☆23Jun 12, 2024Updated last year
- An MCP server that autonomously evaluates web applications.☆1,235Feb 11, 2026Updated 3 weeks ago
- A curated list of tools, frameworks, and resources for IT compliance, security standards, and regulatory requirements☆61Jan 15, 2026Updated last month
- Form api activerecord validator☆10May 29, 2017Updated 8 years ago
- ☆26Mar 26, 2024Updated last year
- ACME client library for Erlang☆12Jan 19, 2026Updated last month
- Sidekiq client for Elixir.☆14Feb 22, 2018Updated 8 years ago
- ☆12Mar 20, 2025Updated 11 months ago
- An implementation of the CBOR data encoding format in Erlang.☆14May 4, 2021Updated 4 years ago
- An Erlang source code tokenizer written in Rust.☆11Jan 13, 2026Updated last month
- Test app, to clarify deploy with Docker Compose, Distillery, Phoenix & dynamic ENV variables☆11Sep 1, 2017Updated 8 years ago
- A command line parser written in Go☆12Nov 20, 2021Updated 4 years ago
- YJS's GO implement☆16Aug 17, 2023Updated 2 years ago
- ☆55Feb 27, 2026Updated last week
- ✨ Build a machine learning model from a prompt☆2,543Feb 27, 2026Updated last week
- This repository contains code for the Managing AWS Application Load Balancer (ALB) using Terraform article☆15Apr 25, 2022Updated 3 years ago
- Ship billing in minutes, not weeks☆30Jan 26, 2026Updated last month
- Lightweight local libraries for containerd☆12Nov 16, 2023Updated 2 years ago
- [Unmaintained] Envlogic is a library used to manage environments for your Ruby application in a similar to Rails.env way☆17Dec 26, 2022Updated 3 years ago
- Raptor is a modern, fast, and easy-to-use system for building disk images, bootable isos, containers and much more, from a simple, Docker…☆39Feb 10, 2026Updated 3 weeks ago
- The pure go mruby virtual machine implementation.☆17Oct 24, 2024Updated last year
- Cross-platform Blob implementation for Node.js and the Web.☆12Oct 18, 2022Updated 3 years ago
- Dev server for esbuild with live reload and error overlay☆14Dec 27, 2025Updated 2 months ago
- I publish my weekly research here☆20Jun 26, 2025Updated 8 months ago
- ⛔️ DEPRECATED - IMAP authentication plugin for Radicale☆16Jan 30, 2025Updated last year
- An FFI wrapper for kqueue☆22Jul 25, 2023Updated 2 years ago
- Package displayController provides a way to access the low-level monitor API in Windows system to control the display monitor function t…☆17Nov 27, 2025Updated 3 months ago
- AI-assisted writing tool.☆69Feb 14, 2024Updated 2 years ago
- Statistical Distribution Functions(GNU scientific library) Extension for PostgreSQL☆19Oct 16, 2025Updated 4 months ago
- Minimal K/V store with API and Dashboard☆17Dec 16, 2021Updated 4 years ago
- ☆19Aug 7, 2017Updated 8 years ago
- ☆17Apr 15, 2022Updated 3 years ago
- HelixDB is an open-source graph-vector database built from scratch in Rust.☆3,853Feb 25, 2026Updated last week
- MCP SERVER☆36Jun 22, 2025Updated 8 months ago
- Erlang app for testing authoritative DNS servers for compliance.☆28Feb 24, 2026Updated last week
- Erlang web playground http://tryerl.seriyps.ru/☆34May 28, 2025Updated 9 months ago
- A tiny library for processing Erlang BEAM file in Rust☆23Jun 30, 2023Updated 2 years ago