π (WIP) Formal proofs of "An Infinitely Large Napkin"
β21Feb 18, 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:
- π (WIP) Rewriting Software Foundations in Lean 4β28Oct 24, 2025Updated 5 months ago
- β10Nov 20, 2023Updated 2 years ago
- π A Rocq library written by members of PnV Discord Serverβ19Updated this week
- A simple Rust and WebAssembly example implementing the Game of Lifeβ14Aug 4, 2021Updated 4 years ago
- β36Nov 7, 2025Updated 4 months ago
- 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.
- π Compiler Compiler based on CSharp with GUI Programβ21Oct 21, 2022Updated 3 years ago
- WebAssembly interpreter in a Header (WAH)β31Updated this week
- bidirectional type checking algorithms for higher-ranked polymorphismβ23Mar 23, 2022Updated 4 years ago
- β14Feb 26, 2024Updated 2 years ago
- My portfolio contains a lexer generator, a parser generator, my own Ξ»Prolog interpreter, and several meta-theorems for the propositional β¦β14Mar 17, 2026Updated last week
- A sample repo for a chatbot interface powered by a fine tuned LLMβ25Mar 2, 2025Updated last year
- CIRC: Concurrent Immediate Reference Countingβ55Nov 15, 2024Updated last year
- Support for language highlighting of KECC(KAIST Educational C Compiler) IRβ12May 17, 2022Updated 3 years ago
- β17May 29, 2023Updated 2 years ago
- 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.
- Unified Maude model-checking toolβ13Feb 4, 2026Updated last month
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)β15Feb 15, 2018Updated 8 years ago
- β12Feb 4, 2024Updated 2 years ago
- Reproducible nix overlay of binary distributed MoonBit toolchains and LSPβ17Mar 11, 2026Updated 2 weeks ago
- Formalization of the Millennium Problems in Lean 4β45Jan 16, 2026Updated 2 months ago
- Natural πΏ effect system that fits TypeScriptβ62Aug 22, 2024Updated last year
- SciFe: Scala Framework for Efficient Generation of Data Structures with Invariantsβ15Mar 15, 2024Updated 2 years ago
- feliz react template: using F# , fable vite plugin, vite and vitest, an alternative to typescript?β10Jun 27, 2025Updated 8 months ago
- β10Oct 27, 2024Updated last year
- Virtual machines for every use case on DigitalOcean β’ AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- β13Updated this week
- Command-like expressions for real infinite-precision calculationsβ55Aug 5, 2025Updated 7 months ago
- A template to get up and running as fast as possible with Fable and publishing to multiple languages.β17Jun 20, 2024Updated last year
- F# interactive service API exposed via a lightweight HTTP serverβ13Mar 6, 2018Updated 8 years ago
- β15Apr 16, 2021Updated 4 years ago
- A collection of code related to the HANSEI languageβ10Jun 14, 2016Updated 9 years ago
- A Lean 4 formalization of PΓ³lya enumeration theorem.β21Jun 6, 2025Updated 9 months ago
- A curated list of awesome GitHub Blocks resources.β19Nov 30, 2022Updated 3 years ago
- Sage Mode for F# development β REPL with solution or project loading, Live Testing for FREE, Hot Reload, and session management.β51Updated this week
- Virtual machines for every use case on DigitalOcean β’ AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A Rust firmware for mechanical keyboards using the Teensy 3.2β11Dec 15, 2018Updated 7 years ago
- νλ‘κ·Έλλ¨Έλ₯Ό μν μΉ΄ν κ³ λ¦¬ μ΄λ‘ μ€ν°λ πβ58Feb 7, 2021Updated 5 years ago
- Access unicode character databaseβ18Sep 16, 2025Updated 6 months ago
- Lenses in Coqβ17Oct 7, 2022Updated 3 years ago
- Concurrent Data Structure for Rustβ29Dec 25, 2022Updated 3 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Pythonβ21Mar 1, 2023Updated 3 years ago
- Foundational Verification of Hybrid Systemsβ15Mar 23, 2017Updated 9 years ago