π Solutions of "An Infinitely Large Napkin"
β38Mar 22, 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β19Updated this week
- β36Nov 7, 2025Updated 4 months ago
- π A Modern Programming Language Empowering Algorithmic Thinkingβ14Jun 24, 2024Updated last year
- β10Nov 20, 2023Updated 2 years ago
- My code snippetsβ38Sep 30, 2025Updated 5 months ago
- NordVPN Threat Protection Proβ’ β’ AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Example of using Yampa and GHC Wasm backend to create a simple web app.β19Dec 10, 2023Updated 2 years ago
- π (WIP) Formal proofs of "An Infinitely Large Napkin"β21Feb 18, 2026Updated last month
- Command-like expressions for real infinite-precision calculationsβ55Aug 5, 2025Updated 7 months ago
- Prototype for https://github.com/Innf107/vegaβ19Jul 22, 2024Updated last year
- Rust uniq(1) alternative with streaming supportβ15Mar 11, 2025Updated last year
- ο»Ώβ12Feb 4, 2024Updated 2 years ago
- Access unicode character databaseβ18Sep 16, 2025Updated 6 months ago
- π (WIP) Rewriting Software Foundations in Lean 4β28Oct 24, 2025Updated 5 months ago
- νμ€μΌ λͺ¨μ μΉμ¬μ΄νΈ μ μ€ μ½λβ16Dec 8, 2021Updated 4 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.
- AI for Mathematics Paper Listβ17Jan 14, 2025Updated last year
- The Candle theorem prover (fork of the HOL Light sources)β18Updated this week
- WebAssembly interpreter in a Header (WAH)β31Updated this week
- β14Feb 26, 2024Updated 2 years ago
- discord to irc bridgeβ24Feb 24, 2026Updated last month
- 4190.310 Programming Languages (Fall 2015)β36Sep 28, 2017Updated 8 years ago
- Modern rΓ©sumΓ© built with Typstβ20Mar 4, 2026Updated 3 weeks ago
- Utilities for making your applications more debuggable.β16Dec 4, 2024Updated last year
- Shared-memory interprocess communication from C/python using OpenHFT's chronicle-queue protocolβ21Nov 18, 2024Updated last year
- 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.
- A modern Haskell debuggerβ31May 1, 2025Updated 10 months ago
- (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
- Jenkins setting in unrealβ13Apr 13, 2017Updated 8 years ago
- <μ λν° 5λ‘ λ§λλ 3D/2D μ€λ§νΈν° κ²μ κ°λ°> 리ν¬μ§ν 리β12Apr 20, 2016Updated 9 years ago
- Linearizability Hoare Logicβ17Feb 9, 2026Updated last month
- Proton VPN Special Offer - Get 70% off β’ AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Hangul manipulationsβ13Mar 27, 2024Updated last year
- Entity Component System (ECS) based game engine for Creative Coding using C++20/23β15Apr 24, 2021Updated 4 years ago
- Phase vocoder in Haskellβ18Mar 1, 2021Updated 5 years ago
- Vite SSR framework with support for React SSR streaming and Relayβ56Aug 9, 2022Updated 3 years ago
- AWS Lambda layer with ffmpeg binary.β12Jun 18, 2019Updated 6 years ago
- ~ sweet ~β26Apr 8, 2025Updated 11 months ago
- Transform tagged Markdown string to HTML during build time.β24May 22, 2023Updated 2 years ago