π Solutions of "An Infinitely Large Napkin"
β41Jun 9, 2026Updated this week
Alternatives and similar repositories for solutions
Users that are interested in solutions are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- π A Rocq library written by members of PnV Discord Serverβ18Updated this week
- My portfolio contains a lexer generator, a parser generator, my own Ξ»Prolog interpreter, and several meta-theorems for the propositional β¦β15Updated this week
- β35Nov 7, 2025Updated 7 months ago
- Relay support for Zedβ10Apr 4, 2026Updated 2 months ago
- π A Modern Programming Language Empowering Algorithmic Thinkingβ14Jun 24, 2024Updated last year
- 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.
- β10Nov 20, 2023Updated 2 years ago
- LLM-powered agentic translation library for JavaScript/TypeScriptβ33May 5, 2026Updated last month
- Academic Report Form, written in TeX. Designed and Developed by Kyaryunha, All Rights Reserved.β12Mar 14, 2022Updated 4 years ago
- My code snippetsβ40Sep 30, 2025Updated 8 months ago
- Example of using Yampa and GHC Wasm backend to create a simple web app.β19May 19, 2026Updated 3 weeks ago
- π (WIP) Formal proofs of "An Infinitely Large Napkin"β26Feb 18, 2026Updated 3 months ago
- Command-like expressions for real infinite-precision calculationsβ56May 9, 2026Updated last month
- Prototype for https://github.com/Innf107/vegaβ19Jul 22, 2024Updated last year
- Rust uniq(1) alternative with streaming supportβ15Mar 11, 2025Updated 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.
- ο»Ώβ12Feb 4, 2024Updated 2 years ago
- Access unicode character databaseβ18Jun 5, 2026Updated last week
- π (WIP) Rewriting Software Foundations in Lean 4β31Oct 24, 2025Updated 7 months ago
- νμ€μΌ λͺ¨μ μΉμ¬μ΄νΈ μμ€ μ½λβ16Dec 8, 2021Updated 4 years ago
- The Candle theorem prover (fork of the HOL Light sources)β23May 16, 2026Updated last month
- β14Feb 26, 2024Updated 2 years ago
- discord to irc bridgeβ24Apr 23, 2026Updated last month
- Portable interprocess communication (IPC) in Haskellβ14Jun 9, 2024Updated 2 years ago
- 4190.310 Programming Languages (Fall 2015)β36Sep 28, 2017Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient β’ AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Tutorial for refinement based verificationβ16Jan 16, 2026Updated 4 months ago
- Utilities for making your applications more debuggable.β16Jun 4, 2026Updated last week
- Missing utilities for Linear Haskell, for array, witness token, memory, parallelism, and streaming.β14Dec 29, 2025Updated 5 months ago
- Shared-memory interprocess communication from C/python using OpenHFT's chronicle-queue protocolβ22Nov 18, 2024Updated last year
- (discontinued) Don't let IRCCloud disconnect you from the network.β17Sep 9, 2020Updated 5 years ago
- C++ μ½μλ‘ κ΅¬νν ν νΈλ¦¬μ€β12Aug 11, 2021Updated 4 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
- GPU Pathtracer from scratch using C++ and CUDAβ26Aug 8, 2021Updated 4 years 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.
- An enhanced unification algorithm for Coqβ60Updated this week
- WebAssembly interpreter in a Header (WAH)β61Updated this week
- Linearizability Hoare Logicβ17May 12, 2026Updated last month
- MOVED TO https://github.com/nixos-asia/website and https://github.com/flake-parts/community.flake.partsβ18Nov 27, 2023Updated 2 years ago
- Hangul manipulationsβ13Mar 27, 2024Updated 2 years ago
- Entity Component System (ECS) based game engine for Creative Coding using C++20/23β15Apr 24, 2021Updated 5 years ago
- Phase vocoder in Haskellβ18Mar 1, 2021Updated 5 years ago