π Solutions of "An Infinitely Large Napkin"
β42Aug 5, 2026Updated this week
Alternatives and similar repositories for napkin-community.github.io
Users that are interested in napkin-community.github.io 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) Formal proofs of "An Infinitely Large Napkin"β29Aug 1, 2026Updated last week
- π A Rocq library written by members of PnV Discord Serverβ19Aug 2, 2026Updated last week
- π (WIP) Rewriting Software Foundations in Lean 4β35Updated this week
- β35Nov 7, 2025Updated 9 months ago
- My portfolio contains a lexer generator, a parser generator, my own Ξ»Prolog interpreter, and several meta-theorems for the propositional β¦β14Jul 21, 2026Updated 2 weeks ago
- Managed Kubernetes at scale on DigitalOcean β’ AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Relay support for Zedβ10Apr 4, 2026Updated 4 months ago
- File IO (read/write/open) for OsPath APIβ25Jan 30, 2026Updated 6 months ago
- π A Modern Programming Language Empowering Algorithmic Thinkingβ14Jun 24, 2024Updated 2 years ago
- β10Nov 20, 2023Updated 2 years ago
- Academic Report Form, written in TeX. Designed and Developed by Kyaryunha, All Rights Reserved.β12Mar 14, 2022Updated 4 years ago
- My code snippetsβ40Jul 20, 2026Updated 2 weeks ago
- MCP server for Korean law data access via open.law.go.kr API (experimental. Works in Claude Code)β31Jul 7, 2025Updated last year
- Command-like expressions for real infinite-precision calculationsβ56May 9, 2026Updated 3 months ago
- Prototype for https://github.com/Innf107/vegaβ19Jul 22, 2024Updated 2 years ago
- 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.
- Use DAUM dictionary via terminal!β12Jul 3, 2020Updated 6 years ago
- LLM-powered agentic translation library for JavaScript/TypeScriptβ33May 5, 2026Updated 3 months ago
- Rust uniq(1) alternative with streaming supportβ15Mar 11, 2025Updated last year
- Access unicode character databaseβ18Jun 5, 2026Updated 2 months ago
- β14Feb 26, 2024Updated 2 years ago
- νμ€μΌ λͺ¨μ μΉμ¬μ΄νΈ μμ€ μ½λβ16Dec 8, 2021Updated 4 years ago
- resilient location sharingβ13Sep 23, 2021Updated 4 years ago
- 4190.310 Programming Languages (Fall 2015)β36Sep 28, 2017Updated 8 years ago
- A SageMath package to compute gravitational radiation from bodies orbiting a Kerr black holeβ14Nov 19, 2024Updated last year
- 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.
- An automatic, safe, and concurrent garbage collector for Rustβ18Jul 19, 2026Updated 3 weeks ago
- Portable interprocess communication (IPC) in Haskellβ14Jun 9, 2024Updated 2 years ago
- Utilities for making your applications more debuggable.β16Jun 4, 2026Updated 2 months ago
- Bi-directional record in type-safe wayβ18Jul 30, 2026Updated last week
- Modern rΓ©sumΓ© built with Typstβ20Mar 4, 2026Updated 5 months ago
- β13Jul 8, 2024Updated 2 years ago
- Missing utilities for Linear Haskell, for array, witness token, memory, parallelism, and streaming.β14Dec 29, 2025Updated 7 months ago
- Complexity analysis in Leanβ10Feb 5, 2024Updated 2 years ago
- A modern Haskell debuggerβ31May 1, 2025Updated last year
- 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.
- (discontinued) Don't let IRCCloud disconnect you from the network.β17Sep 9, 2020Updated 5 years ago
- CIRC: Concurrent Immediate Reference Countingβ55Nov 15, 2024Updated last year
- Ideas for the next generation of Haskell's Arrow notationβ12Dec 23, 2019Updated 6 years ago
- Jenkins setting in unrealβ13Apr 13, 2017Updated 9 years ago
- νκΈμ μ΄μ©ν λ°μ΄λ리 μΈμ½λ©β20Dec 21, 2016Updated 9 years ago
- An Infinitely Large Napkinβ1,944Jul 22, 2026Updated 2 weeks ago
- WebAssembly interpreter in a Header (WAH)β63Jun 13, 2026Updated last month