napkin-community / solutionsLinks
๐ Solutions of "An Infinitely Large Napkin"
โ27Updated 2 weeks ago
Alternatives and similar repositories for solutions
Users that are interested in solutions are comparing it to the libraries listed below
Sorting:
- โ36Updated 7 months ago
- 4190.310 Programming Languages (Fall 2015)โ34Updated 7 years ago
- (์ฃผ)๋ค์๊ณผ ๋ถ์ฐ๋ํ๊ต ์ธ๊ณต์ง๋ฅ์ฐ๊ตฌ์ค/(์ฃผ)๋๋ผ์ธํฌํ ํฌ์ ์น ์๋น์ค๋ฅผ ์ด์ฉํ ํ๊ธ ๋ง์ถค๋ฒ ๊ฒ์ฌ๊ธฐ.โ26Updated 2 years ago
- โ15Updated 5 months ago
- ๐ (WIP) Rewriting Software Foundations in Lean 4โ12Updated 2 months ago
- โ10Updated last year
- โ14Updated last year
- ์ปดํจํฐ ์ ๊ธฐ์ ํน๊ฐโ10Updated 2 years ago
- ๐ A Coq library written by members of PnV Discord Serverโ14Updated last week
- A Lambda expression compiler targeting web assembly.โ20Updated last year
- CIRC: Concurrent Immediate Reference Countingโ52Updated 10 months ago
- ๏ปฟโ12Updated last year
- ๐ A Modern Programming Language Empowering Algorithmic Thinkingโ14Updated last year
- Academic Report Form, written in TeX. Designed and Developed by Kyaryunha, All Rights Reserved.โ12Updated 3 years ago
- My code snippetsโ39Updated last week
- ํ์ค์ผ ๋ชจ์ ์น์ฌ์ดํธ ์์ค ์ฝ๋โ17Updated 3 years ago
- Acropolis, where you can experience very first version of ECMAScript.โ29Updated last year
- โ76Updated 10 months ago
- โ48Updated 2 months ago
- ์ํ ์ฆ๋ช ์ธ์ด Agda ์ ๋ฌธโ12Updated 2 years ago
- Computational Hardness ์คํฐ๋โ17Updated 2 years ago
- Rust uniq(1) alternative with streaming supportโ14Updated 6 months ago
- SmartyPants for Korean languageโ139Updated 2 months ago
- Tutorial for refinement based verificationโ13Updated last year
- โ12Updated last year
- 2023 Momenti Study - Structure and Interpretation of Computer Programs: Rust Editionโ10Updated 2 years ago
- โ22Updated last year
- COSE 312 Compilersโ37Updated 2 years ago
- C โ ์ํฌโ17Updated last year
- ์ค์์นดํค ๊ทธ๋ฆผํ ์ปค๋ฎค๋ํฐโ17Updated this week