π (WIP) Formal proofs of "An Infinitely Large Napkin"
β29Aug 1, 2026Updated last month
Alternatives and similar repositories for proofs
Users that are interested in proofs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- π Solutions of "An Infinitely Large Napkin"β44Aug 5, 2026Updated 3 weeks ago
- π A Rocq library written by members of PnV Discord Serverβ19Updated this week
- π (WIP) Rewriting Software Foundations in Lean 4β35Aug 4, 2026Updated 3 weeks ago
- β10Nov 20, 2023Updated 2 years ago
- File IO (read/write/open) for OsPath APIβ25Jan 30, 2026Updated 7 months ago
- GPUs on demand by Runpod - Special Offer Available β’ AdRun AI, ML, and HPC workloads on powerful cloud GPUsβwithout limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- β14Feb 26, 2024Updated 2 years ago
- LLM-powered agentic translation library for JavaScript/TypeScriptβ33May 5, 2026Updated 3 months ago
- β35Nov 7, 2025Updated 9 months ago
- A lightweight ActivityPub server framework in Rustβ22Aug 8, 2026Updated 3 weeks ago
- An automatic, safe, and concurrent garbage collector for Rustβ18Jul 19, 2026Updated last month
- π Compiler Compiler based on CSharp with GUI Programβ21Oct 21, 2022Updated 3 years ago
- Lean Companion to Axler's Linear Algebra Done Rightβ23Updated this week
- WebAssembly interpreter in a Header (WAH)β63Jun 13, 2026Updated 2 months ago
- Linearizability Hoare Logicβ17May 12, 2026Updated 3 months 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.
- CIRC: Concurrent Immediate Reference Countingβ55Nov 15, 2024Updated last year
- Command-like expressions for real infinite-precision calculationsβ56May 9, 2026Updated 3 months ago
- Polymorphic guarded Ξ»-calculusβ22Jul 17, 2025Updated last year
- Prototype for https://github.com/Innf107/vegaβ19Jul 22, 2024Updated 2 years ago
- My portfolio contains a lexer generator, a parser generator, my own Ξ»Prolog interpreter, and several meta-theorems for the propositional β¦β14Aug 23, 2026Updated last week
- Access unicode character databaseβ18Jun 5, 2026Updated 2 months ago
- νμ€μΌ λͺ¨μ μΉμ¬μ΄νΈ μμ€ μ½λβ16Dec 8, 2021Updated 4 years ago
- A cross-platform dotfiles managerβ15Jul 30, 2026Updated last month
- Fast-forward merge for GitHubβ32Aug 25, 2026Updated last week
- 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.
- Pure Borrow: Linear Haskell Meets Rust-Style Borrowingβ56Aug 9, 2026Updated 3 weeks ago
- An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programsβ24Jul 8, 2026Updated last month
- Event historyβ12Jun 29, 2024Updated 2 years ago
- β17Nov 10, 2025Updated 9 months ago
- β16May 29, 2023Updated 3 years ago
- Utilities for making your applications more debuggable.β16Jun 4, 2026Updated 2 months ago
- β17Feb 12, 2026Updated 6 months ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inferenceβ71Nov 17, 2025Updated 9 months ago
- Lean package for "How To Prove It with Lean", a companion to the book "How To Prove It"β42Aug 10, 2026Updated 3 weeks ago
- Deploy open-source AI quickly and easily - Special Bonus Offer β’ AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- πββοΈ My Ring Fit Adventure Exercise Log with GitHub Actions + OCRβ13Mar 13, 2023Updated 3 years ago
- Support for language highlighting of KECC(KAIST Educational C Compiler) IRβ12May 17, 2022Updated 4 years ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCamlβ82Jan 20, 2022Updated 4 years ago
- bidirectional type checking algorithms for higher-ranked polymorphismβ45Mar 23, 2022Updated 4 years ago
- Ideas for the next generation of Haskell's Arrow notationβ12Dec 23, 2019Updated 6 years ago
- An enhanced unification algorithm for Coqβ60Updated this week
- Rust uniq(1) alternative with streaming supportβ15Mar 11, 2025Updated last year