Make an existing proof easier to inspect by exposing its hierarchy, dependencies, scope, and unresolved obligations.
☆22Sep 6, 2026Updated last month
Alternatives and similar repositories for lamport-proof
Users that are interested in lamport-proof are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- sorear's Metamath system engine☆14May 5, 2016Updated 10 years ago
- Legacy Complexitylib V1; development continues at cslib-community/complexitylib.☆29Updated this week
- ☆13Mar 1, 2026Updated 7 months ago
- A Lean 4 / Mathlib formalization of Coarse-Graining Theory for Elliptic Equations (Armstrong and Kuusi). No sorry, no custom axiom.☆17Oct 5, 2026Updated 2 weeks ago
- Bend's landing page☆18Sep 9, 2026Updated last month
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Anti-slop linter: catches comments that narrate change history instead of a current constraint (Python/JS/TS/Terraform)☆26Updated this week
- An agent skill for Codex, Claude Code and other clients: open-ended research as the exploration of a labyrinth, with a map of what is pro…☆46Oct 9, 2026Updated last week
- ☆72Oct 14, 2026Updated last week
- Token-efficient, local-first CLI tools for coding agents - compact Maven, npm/Node, and Go test output plus reusable development helpers.☆116Oct 12, 2026Updated last week
- sorear's Metamath system engine - version 3 Rust☆25May 31, 2023Updated 3 years ago
- Catch local LLMs spilling into the CPU. One run shows GPU placement, prefill, decode, memory, power and a verdict.☆17Sep 28, 2026Updated 3 weeks ago
- Antigravity auth plugin for opencode☆31Updated this week
- One-sided verification under limited expert review: audited review of solutions and papers (mathematics for now).☆30Updated this week
- ☆10Jul 1, 2026Updated 3 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- repodump: A lightweight CLI tool that extracts Git repositories as formatted markdown, optimized for sharing with LLMs. Get better AI ass…☆15Apr 2, 2025Updated last year
- Repository of line spectra estimators used in the published article "Real-time sinusoidal parameter estimation for damage growth monitori…☆10Jan 8, 2026Updated 9 months ago
- Algorithms from the book "Elements of Statistical Learning", implemented in Python☆14Mar 29, 2015Updated 11 years ago
- ojjson is a library designed to facilitate JSON interactions with Ollama, a large language api (LLM). It leverages the power of Zod for s…☆12Nov 7, 2024Updated last year
- Moved to https://github.com/paritytech/js-libs/tree/master/packages/light.js☆10May 25, 2019Updated 7 years ago
- Formal verification agent for design or implementation☆16Nov 18, 2025Updated 11 months ago
- Pure Type Systems for Functional Programming☆11Jun 11, 2014Updated 12 years ago
- Browser extension to quickly access Perplexity searchbar from any page with a shortcut☆13Oct 20, 2024Updated 2 years ago
- Native runtime, integrations, and reproducible packaging for BTL-3 and BTL-3 Compact☆19Jul 24, 2026Updated 2 months 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.
- OneDayAgent: Towards a Long-Horizon Harness for Autonomous Agents☆37Aug 15, 2026Updated 2 months ago
- Code to generate figures of paper "When do spectral gradient updates help in deep learning?"☆18Dec 3, 2025Updated 10 months ago
- Collaborative AI Model☆11Nov 27, 2024Updated last year
- Free & Open Source CLI for Wolt: discover venues, inspect menus and options, manage carts, and preview checkout from the terminal.☆35Updated this week
- This repository includes code and materials for the paper "Efficient PRM Training Data Synthesis via Formal Verification" (ACL 2026 Findi…☆20Apr 7, 2026Updated 6 months ago
- AMSFonts converted to TTF and OTF files.☆17May 25, 2022Updated 4 years ago
- cpp witness calculator for mobile and desktop for iden3 circuits☆17Aug 22, 2025Updated last year
- The lightweight, distributed relational database built on SQLite.☆14Apr 29, 2023Updated 3 years ago
- Project management ROPE™ estimate: realistic estimate, optimistic estimate, pessimistic estimate, equilibristic estimate☆27Apr 14, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- [TMLR 2026 J2C Certification] Presented at ICML 2026☆23Apr 28, 2026Updated 5 months ago
- Exceptions to the ABC conjecture in Lean☆19Jan 26, 2026Updated 8 months ago
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆49Aug 26, 2026Updated last month
- Simple implementation of KZG commitments in C☆14Nov 19, 2022Updated 3 years ago
- macro for generating type-safe CPI functions from Solana IDLs☆11Jun 10, 2025Updated last year
- Experimental rasterization engine, by PhET Interactive Simulations☆15Mar 31, 2026Updated 6 months ago
- Dependably fast multi-core in-memory transactions☆20Aug 10, 2017Updated 9 years ago