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"

☆38Mar 2, 2026Updated this week

Alternatives and similar repositories for solutions

Users that are interested in solutions are comparing it to the libraries listed below

• PnVDiscord / PnVRocqLib

  View on GitHub
  📝 A Rocq library written by members of PnV Discord Server
  ☆19Updated this week
• plwiki / plwiki.github.io

  View on GitHub
  ☆36Nov 7, 2025Updated 3 months ago
• XiNiHa / relay-zed

  View on GitHub
  Relay support for Zed
  ☆10Sep 25, 2025Updated 5 months ago
• simnalamburt / realnocode

  View on GitHub
  
  ☆12Feb 4, 2024Updated 2 years ago
• dj-shin / army-client

  View on GitHub
  ☆10Jan 6, 2021Updated 5 years ago
• nellaG / commandict

  View on GitHub
  Use DAUM dictionary via terminal!
  ☆12Jul 3, 2020Updated 5 years 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 3 years ago
• fzyzcjy / ai_math_paper_list

  View on GitHub
  AI for Mathematics Paper List
  ☆17Jan 14, 2025Updated last year
• napkin-community / proofs

  View on GitHub
  📚 (WIP) Formal proofs of "An Infinitely Large Napkin"
  ☆20Feb 18, 2026Updated 2 weeks ago
• dongjaelee1 / refinement-tutorial

  View on GitHub
  Tutorial for refinement based verification
  ☆15Jan 16, 2026Updated last month
• 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 …
  ☆14Feb 18, 2026Updated 2 weeks ago
• damhiya / Coq-tips

  View on GitHub
  ☆10Nov 20, 2023Updated 2 years ago
• deepeshpatel / jnumbertools

  View on GitHub
  JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…
  ☆12May 13, 2025Updated 9 months ago
• tomjaguarpaw / Arrows2

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

  View on GitHub
  Utilities for making your applications more debuggable.
  ☆16Dec 4, 2024Updated last year
• simnalamburt / uniqs

  View on GitHub
  Rust uniq(1) alternative with streaming support
  ☆15Mar 11, 2025Updated 11 months ago
• CakeML / candle

  View on GitHub
  The Candle theorem prover (fork of the HOL Light sources)
  ☆18Updated this week
• damhiya / MetaLambda

  View on GitHub
  ☆14Feb 26, 2024Updated 2 years ago
• psl-lang / psl

  View on GitHub
  🎈 A Modern Programming Language Empowering Algorithmic Thinking
  ☆14Jun 24, 2024Updated last year
• composewell / unicode-data

  View on GitHub
  Access unicode character database
  ☆18Sep 16, 2025Updated 5 months ago
• lifthrasiir / wah

  View on GitHub
  WebAssembly interpreter in a Header (WAH)
  ☆31Oct 6, 2025Updated 5 months ago
• PnVDiscord / software-foundations-lean

  View on GitHub
  📚 (WIP) Rewriting Software Foundations in Lean 4
  ☆28Oct 24, 2025Updated 4 months ago
• simnalamburt / snippets

  View on GitHub
  My code snippets
  ☆38Sep 30, 2025Updated 5 months ago
• haskell-kr / haskell-kr

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

  View on GitHub
  A Django + Vue(Vuetify) boilerplate with minimal JWT authentication.
  ☆22Aug 19, 2025Updated 6 months ago
• obsidiansystems / beam-automigrate

  View on GitHub
  Generated migrations for beam databases
  ☆23Feb 20, 2026Updated 2 weeks ago
• RanolP / resume

  View on GitHub
  Modern résumé built with Typst
  ☆19May 6, 2025Updated 9 months ago
• AntanasKal / yampa-wasm-example

  View on GitHub
  Example of using Yampa and GHC Wasm backend to create a simple web app.
  ☆19Dec 10, 2023Updated 2 years ago
• Innf107 / vega-prototype

  View on GitHub
  Prototype for https://github.com/Innf107/vega
  ☆19Jul 22, 2024Updated last year
• HKUNLP / subgoal-theorem-prover

  View on GitHub
  Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"
  ☆19May 25, 2023Updated 2 years ago
• simnalamburt / cloudkeeper

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

  View on GitHub
  Transform tagged Markdown string to HTML during build time.
  ☆24May 22, 2023Updated 2 years ago
• coot / free-category

  View on GitHub
  Free categories, free arrows and free categories with monadic actions
  ☆24Mar 4, 2025Updated last year
• basehangul / basehangul.github.io

  View on GitHub
  한글을 이용한 바이너리 인코딩
  ☆20Dec 21, 2016Updated 9 years ago
• jasonrute / thoughts-on-ai-for-theorem-proving

  View on GitHub
  ☆26Nov 1, 2021Updated 4 years ago
• kaist-cp / circ

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

  View on GitHub
  An enhanced unification algorithm for Coq
  ☆59Jan 30, 2026Updated last month
• jasonrute / lean_proof_recording

  View on GitHub
  Proof recording for Lean 3
  ☆27Sep 30, 2021Updated 4 years ago
• portone-io / gophplib

  View on GitHub
  gophplib is a collection of PHP functions implemented in Go which have 100% byte-to-byte bug-to-bug behavioral equivalence
  ☆27May 17, 2024Updated last year