napkin-community/solutions external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

napkin-community/solutions

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/napkin-community/solutions)

Close

napkin-community / solutionsView on GitHubMore

• External links
• Readme badge

📝 Solutions of "An Infinitely Large Napkin"

☆42Jun 23, 2026Updated last 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.

• PnVDiscord / PnVRocqLib

  View on GitHub
  📝 A Rocq library written by members of PnV Discord Server
  ☆19Jun 29, 2026Updated last week
• KiJeong-Lim / portfolio

  View on GitHub
  My portfolio contains a lexer generator, a parser generator, my own λProlog interpreter, and several meta-theorems for the propositional …
  ☆15Jun 14, 2026Updated 3 weeks ago
• plwiki / plwiki.github.io

  View on GitHub
  ☆35Nov 7, 2025Updated 7 months ago
• psl-lang / psl

  View on GitHub
  🎈 A Modern Programming Language Empowering Algorithmic Thinking
  ☆14Jun 24, 2024Updated 2 years ago
• damhiya / Coq-tips

  View on GitHub
  ☆10Nov 20, 2023Updated 2 years ago
• Virtual machines for every use case on DigitalOcean • Ad
  Get dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
• dahlia / vertana

  View on GitHub
  LLM-powered agentic translation library for JavaScript/TypeScript
  ☆33May 5, 2026Updated 2 months ago
• kyaryunha / tex-design-three-slash

  View on GitHub
  Academic Report Form, written in TeX. Designed and Developed by Kyaryunha, All Rights Reserved.
  ☆12Mar 14, 2022Updated 4 years ago
• simnalamburt / snippets

  View on GitHub
  My code snippets
  ☆40Sep 30, 2025Updated 9 months ago
• dj-shin / army-client

  View on GitHub
  ☆10Jan 6, 2021Updated 5 years ago
• napkin-community / proofs

  View on GitHub
  📚 (WIP) Formal proofs of "An Infinitely Large Napkin"
  ☆28Feb 18, 2026Updated 4 months ago
• Innf107 / vega-prototype

  View on GitHub
  Prototype for https://github.com/Innf107/vega
  ☆19Jul 22, 2024Updated last year
• simnalamburt / uniqs

  View on GitHub
  Rust uniq(1) alternative with streaming support
  ☆15Mar 11, 2025Updated last year
• simnalamburt / realnocode

  View on GitHub
  
  ☆12Feb 4, 2024Updated 2 years ago
• composewell / unicode-data

  View on GitHub
  Access unicode character database
  ☆18Jun 5, 2026Updated last month
• Serverless GPU API endpoints on Runpod - Get Bonus Credits • Ad
  Skip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
• PnVDiscord / software-foundations-lean

  View on GitHub
  📚 (WIP) Rewriting Software Foundations in Lean 4
  ☆32Oct 24, 2025Updated 8 months ago
• haskell-kr / haskell-kr

  View on GitHub
  하스켈 모임 웹사이트 소스 코드
  ☆16Dec 8, 2021Updated 4 years ago
• inkandswitch / here

  View on GitHub
  resilient location sharing
  ☆13Sep 23, 2021Updated 4 years ago
• fzyzcjy / ai_math_paper_list

  View on GitHub
  AI for Mathematics Paper List
  ☆17Jan 14, 2025Updated last year
• CakeML / candle

  View on GitHub
  The Candle theorem prover (fork of the HOL Light sources)
  ☆22Jun 16, 2026Updated 2 weeks ago
• damhiya / MetaLambda

  View on GitHub
  ☆14Feb 26, 2024Updated 2 years ago
• simnalamburt / snucse.pl

  View on GitHub
  4190.310 Programming Languages (Fall 2015)
  ☆36Sep 28, 2017Updated 8 years ago
• RanolP / resume

  View on GitHub
  Modern résumé built with Typst
  ☆20Mar 4, 2026Updated 4 months ago
• well-typed / debuggable

  View on GitHub
  Utilities for making your applications more debuggable.
  ☆16Jun 4, 2026Updated last month
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• haskell-debugger / haskell-estgi-debugger

  View on GitHub
  A modern Haskell debugger
  ☆31May 1, 2025Updated last year
• simnalamburt / cloudkeeper

  View on GitHub
  (discontinued) Don't let IRCCloud disconnect you from the network.
  ☆17Sep 9, 2020Updated 5 years ago
• hwi-middle / CppTetris

  View on GitHub
  C++ 콘솔로 구현한 테트리스
  ☆12Aug 11, 2021Updated 4 years ago
• kaist-cp / circ

  View on GitHub
  CIRC: Concurrent Immediate Reference Counting
  ☆55Nov 15, 2024Updated last year
• tomjaguarpaw / Arrows2

  View on GitHub
  Ideas for the next generation of Haskell's Arrow notation
  ☆12Dec 23, 2019Updated 6 years ago
• dongjaelee1 / refinement-tutorial

  View on GitHub
  Tutorial for refinement based verification
  ☆16Jan 16, 2026Updated 5 months ago
• utilForever / GPU-Pathtracer

  View on GitHub
  GPU Pathtracer from scratch using C++ and CUDA
  ☆26Aug 8, 2021Updated 4 years ago
• Jpub / Unity5SmartphoneGameDev

  View on GitHub
  <유니티 5로 만드는 3D/2D 스마트폰 게임 개발> 리포지토리
  ☆12Apr 20, 2016Updated 10 years ago
• unicoq / unicoq

  View on GitHub
  An enhanced unification algorithm for Coq
  ☆60Jun 26, 2026Updated last week
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• lifthrasiir / wah

  View on GitHub
  WebAssembly interpreter in a Header (WAH)
  ☆62Jun 13, 2026Updated 3 weeks ago
• basehangul / basehangul.github.io

  View on GitHub
  한글을 이용한 바이너리 인코딩
  ☆20Dec 21, 2016Updated 9 years ago
• ehatti / LHL

  View on GitHub
  Linearizability Hoare Logic
  ☆17May 12, 2026Updated last month
• juspay / flakular.in

  View on GitHub
  MOVED TO https://github.com/nixos-asia/website and https://github.com/flake-parts/community.flake.parts
  ☆18Nov 27, 2023Updated 2 years ago
• Danue1 / korean-rs

  View on GitHub
  Hangul manipulations
  ☆13Mar 27, 2024Updated 2 years ago
• tilk / vocoder

  View on GitHub
  Phase vocoder in Haskell
  ☆18Mar 1, 2021Updated 5 years ago
• XiNiHa / vilay

  View on GitHub
  Vite SSR framework with support for React SSR streaming and Relay
  ☆56Aug 9, 2022Updated 3 years ago