π (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"β45Sep 16, 2026Updated last week
- π A Rocq library written by members of PnV Discord Serverβ19Updated this week
- π (WIP) Rewriting Software Foundations in Lean 4β35Aug 4, 2026Updated last month
- β10Nov 20, 2023Updated 2 years ago
- File IO (read/write/open) for OsPath APIβ25Jan 30, 2026Updated 7 months ago
- GPU virtual machines on DigitalOcean Gradient AI β’ AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- β14Feb 26, 2024Updated 2 years ago
- LLM-powered agentic translation library for JavaScript/TypeScriptβ33May 5, 2026Updated 4 months ago
- A simple Rust and WebAssembly example implementing the Game of Lifeβ14Aug 4, 2021Updated 5 years ago
- β35Nov 7, 2025Updated 10 months ago
- An automatic, safe, and concurrent garbage collector for Rustβ19Jul 19, 2026Updated 2 months ago
- π Compiler Compiler based on CSharp with GUI Programβ21Oct 21, 2022Updated 3 years ago
- A lightweight ActivityPub server framework in Rustβ24Aug 8, 2026Updated last month
- Lean Companion to Axler's Linear Algebra Done Rightβ29Updated this week
- WebAssembly interpreter in a Header (WAH)β63Jun 13, 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.
- Linearizability Hoare Logicβ17Sep 16, 2026Updated last week
- CIRC: Concurrent Immediate Reference Countingβ55Nov 15, 2024Updated last year
- Command-like expressions for real infinite-precision calculationsβ56May 9, 2026Updated 4 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β18Sep 16, 2026Updated last week
- νμ€μΌ λͺ¨μ μΉμ¬μ΄νΈ μμ€ μ½λβ16Dec 8, 2021Updated 4 years ago
- A cross-platform dotfiles managerβ15Jul 30, 2026Updated last month
- 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.
- Fast-forward merge for GitHubβ33Sep 3, 2026Updated 2 weeks ago
- MΓΌller, Stefan et al. (eds): Head-Driven Phrase Structure Grammar: The handbookβ25Jan 9, 2025Updated last year
- An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programsβ24Updated this week
- Event historyβ12Jun 29, 2024Updated 2 years ago
- Pure Borrow: Linear Haskell Meets Rust-Style Borrowingβ61Updated this week
- β17Nov 10, 2025Updated 10 months ago
- β16May 29, 2023Updated 3 years ago
- Utilities for making your applications more debuggable.β16Jun 4, 2026Updated 3 months ago
- β17Feb 12, 2026Updated 7 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.
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inferenceβ71Nov 17, 2025Updated 10 months ago
- Lean package for "How To Prove It with Lean", a companion to the book "How To Prove It"β42Aug 10, 2026Updated last month
- πββοΈ 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β44Aug 26, 2026Updated 3 weeks ago