Experiments with interactive theorem provers, LLMs and formal systems
☆23Jul 10, 2023Updated 3 years ago
Alternatives and similar repositories for LeanGPT
Users that are interested in LeanGPT are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Python wrapper for lean-gym☆13Apr 5, 2023Updated 3 years ago
- ☆11Jan 16, 2024Updated 2 years ago
- Fast asynchronous GPU monitoring tool across multiple machines through SSH☆12Nov 26, 2024Updated last year
- Interactive neural theorem proving in Lean☆133Mar 24, 2022Updated 4 years ago
- Benchmark for undergraduate-level formal mathematics☆127Oct 14, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A seeders only swarm☆18Feb 7, 2024Updated 2 years ago
- resilient location sharing☆13Sep 23, 2021Updated 4 years ago
- create symbolic link between hyperdrives☆13Feb 19, 2017Updated 9 years ago
- Clone of iris-reasoner (http://iris-reasoner.org) from sourceforge☆11Mar 18, 2016Updated 10 years ago
- Homebrew formulas for installing LLM and related tools☆14Sep 6, 2023Updated 2 years ago
- experiment☆12Jan 1, 2023Updated 3 years ago
- Discourse Vibe - Agent containers for Discourse Development☆30Jul 2, 2026Updated 2 weeks ago
- A platform for formalizing OEIS sequences in Lean 4☆20Jun 10, 2026Updated last month
- The new Reactome REST API to access the data☆11May 22, 2026Updated last month
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- The standard template to create a lean game☆53Jun 12, 2026Updated last month
- A simple directed multigraph built on Hypertrie.☆14Feb 12, 2022Updated 4 years ago
- Learning Formal Mathematics from Intrinsic Motivation☆36Jul 10, 2025Updated last year
- Auto generate decoders for OCaml☆10Dec 19, 2024Updated last year
- ☆11Oct 11, 2023Updated 2 years ago
- ☆19Apr 5, 2025Updated last year
- Perform AI-based sleep monitoring☆31Jan 18, 2026Updated 5 months ago
- Set custom icons for Safari bookmarks on iOS☆11Feb 22, 2020Updated 6 years ago
- General purpose hits (page views) counter written in Node.js backed by filesystem. (MVP)☆14Oct 7, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Lean 4 Metamath verifier☆24Dec 12, 2025Updated 7 months ago
- Example python project demonstrating how to create a native macOS GUI with AppKit and PyObjC☆35Jul 15, 2025Updated last year
- mcp-language-server gives MCP enabled clients access semantic tools like get definition, references, rename, and diagnostics.☆26Mar 1, 2026Updated 4 months ago
- This Elgg plugin lets users preview MS Office files (doc, docx, xls, xlsx, ppt, pptx), Apple iWork pages, Adobe eps, and zip files using …☆12Aug 28, 2015Updated 10 years ago
- A lock-free, thread-safe, multi-producer/multi-consumer queue based on the LMAX Disruptor.☆16Apr 20, 2021Updated 5 years ago
- The matrix cookbook, proved in the Lean theorem prover☆132Sep 16, 2025Updated 10 months ago
- ChatGPT plugin for theorem proving in Lean☆125Apr 4, 2024Updated 2 years ago
- a Lean4 framework for the modeling and refinement of stateful systems☆30Jun 17, 2026Updated 3 weeks ago
- Optimize Z3 strategies for your problem!☆26Jun 22, 2026Updated 3 weeks ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Swift framework and tool to launch and control Jupyter Notebooks.☆15Jul 8, 2026Updated last week
- ☆29Apr 16, 2021Updated 5 years ago
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆20Sep 20, 2021Updated 4 years ago
- LaTeX source for Sized Dependent Types via Extensional Type Theory☆12Jan 28, 2026Updated 5 months ago
- Low-level bindings to WebGPU☆15Aug 4, 2023Updated 2 years ago
- ☆18Oct 12, 2022Updated 3 years ago
- A macOS GUI tool that calls GraphicsMagick to batch-edit images.☆12Apr 28, 2026Updated 2 months ago