π (WIP) Formal proofs of "An Infinitely Large Napkin"
β29Feb 18, 2026Updated 5 months ago
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"β42Updated this week
- π A Rocq library written by members of PnV Discord Serverβ19Jun 29, 2026Updated 3 weeks ago
- π (WIP) Rewriting Software Foundations in Lean 4β35Jul 6, 2026Updated 2 weeks ago
- β10Nov 20, 2023Updated 2 years ago
- File IO (read/write/open) for OsPath APIβ25Jan 30, 2026Updated 5 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.
- β14Feb 26, 2024Updated 2 years ago
- LLM-powered agentic translation library for JavaScript/TypeScriptβ33May 5, 2026Updated 2 months ago
- A simple Rust and WebAssembly example implementing the Game of Lifeβ14Aug 4, 2021Updated 4 years ago
- β35Nov 7, 2025Updated 8 months ago
- A lightweight ActivityPub server framework in Rustβ20Jul 16, 2026Updated last week
- An automatic, safe, and concurrent garbage collector for Rustβ18Updated this week
- Lean Companion to Axler's Linear Algebra Done Rightβ20Updated this week
- WebAssembly interpreter in a Header (WAH)β63Jun 13, 2026Updated last month
- Linearizability Hoare Logicβ17May 12, 2026Updated 2 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 2 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 β¦β14Updated this week
- Access unicode character databaseβ18Jun 5, 2026Updated last month
- νμ€μΌ λͺ¨μ μΉμ¬μ΄νΈ μμ€ μ½λβ16Dec 8, 2021Updated 4 years ago
- A cross-platform dotfiles managerβ15Updated this week
- Fast-forward merge for GitHubβ29Updated this week
- 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.
- MΓΌller, Stefan et al. (eds): Head-Driven Phrase Structure Grammar: The handbookβ24Jan 9, 2025Updated last year
- Pure Borrow: Linear Haskell Meets Rust-Style Borrowingβ54Updated this week
- An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programsβ24Jul 8, 2026Updated 2 weeks ago
- Event historyβ12Jun 29, 2024Updated 2 years ago
- β17Nov 10, 2025Updated 8 months ago
- β17May 29, 2023Updated 3 years ago
- Utilities for making your applications more debuggable.β16Jun 4, 2026Updated last month
- β17Feb 12, 2026Updated 5 months ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inferenceβ71Nov 17, 2025Updated 8 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.
- Lean package for "How To Prove It with Lean", a companion to the book "How To Prove It"β39Jul 6, 2026Updated 2 weeks ago
- πββοΈ 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
- SolidJS bindings for Relayβ40Jun 1, 2026Updated last month
- Ideas for the next generation of Haskell's Arrow notationβ12Dec 23, 2019Updated 6 years ago