π Solutions of "An Infinitely Large Napkin"
β41Mar 22, 2026Updated last month
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 β¦β14Updated this week
- Relay support for Zedβ10Apr 4, 2026Updated last month
- π A Modern Programming Language Empowering Algorithmic Thinkingβ14Jun 24, 2024Updated last year
- β10Nov 20, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer β’ AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- LLM-powered agentic translation library for JavaScript/TypeScriptβ33Updated this week
- 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 7 months ago
- Example of using Yampa and GHC Wasm backend to create a simple web app.β19Dec 10, 2023Updated 2 years ago
- β10Jan 6, 2021Updated 5 years ago
- π (WIP) Formal proofs of "An Infinitely Large Napkin"β23Feb 18, 2026Updated 2 months ago
- Command-like expressions for real infinite-precision calculationsβ56Aug 5, 2025Updated 9 months ago
- Use DAUM dictionary via terminal!β12Jul 3, 2020Updated 5 years ago
- Access unicode character databaseβ18Sep 16, 2025Updated 7 months ago
- 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.
- π (WIP) Rewriting Software Foundations in Lean 4β31Oct 24, 2025Updated 6 months ago
- νμ€μΌ λͺ¨μ μΉμ¬μ΄νΈ μμ€ μ½λβ16Dec 8, 2021Updated 4 years ago
- resilient location sharingβ13Sep 23, 2021Updated 4 years ago
- AI for Mathematics Paper Listβ17Jan 14, 2025Updated last year
- The Candle theorem prover (fork of the HOL Light sources)β20Updated this week
- β14Feb 26, 2024Updated 2 years ago
- discord to irc bridgeβ24Apr 23, 2026Updated last week
- Portable interprocess communication (IPC) in Haskellβ14Jun 9, 2024Updated last year
- 4190.310 Programming Languages (Fall 2015)β36Sep 28, 2017Updated 8 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.
- Tutorial for refinement based verificationβ16Jan 16, 2026Updated 3 months ago
- Utilities for making your applications more debuggable.β16Dec 4, 2024Updated last year
- Missing utilities for Linear Haskell, for array, witness token, memory, parallelism, and streaming.β14Dec 29, 2025Updated 4 months ago
- WebAssembly interpreter in a Header (WAH)β31Updated this week
- (discontinued) Don't let IRCCloud disconnect you from the network.β17Sep 9, 2020Updated 5 years ago
- C++ μ½μλ‘ κ΅¬νν ν νΈλ¦¬μ€β12Aug 11, 2021Updated 4 years ago
- 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 9 years 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.
- An enhanced unification algorithm for Coqβ60Apr 1, 2026Updated last month
- νκΈμ μ΄μ©ν λ°μ΄λ리 μΈμ½λ©β20Dec 21, 2016Updated 9 years ago
- Linearizability Hoare Logicβ17Apr 24, 2026Updated last week
- 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