alstn2468 / category-theory-for-programmersLinks
๐ง WIP: Bartosz Milewski's "Category Theory for Programmers" Korean translation ๐
โ47Updated 2 years ago
Alternatives and similar repositories for category-theory-for-programmers
Users that are interested in category-theory-for-programmers are comparing it to the libraries listed below
Sorting:
- ๋น๊ทผ๋ง์ผ ์น ์ปจํ ์ธ ํผ๋จธ๋งํฌ ์คํ & ๋ ํผ๋ฐ์ค ๊ตฌํ ์ ์ฅ์โ40Updated last year
- Agento - ์ฐ์ ๊ธฐ๋ฅ์์/์ ๋ฌธ์ฐ๊ตฌ์์ TO ๋ทฐ์ด ํฌ๋กฌ ํ์ฅํ๋ก๊ทธ๋จโ43Updated 2 years ago
- Acropolis, where you can experience very first version of ECMAScript.โ29Updated 10 months ago
- Allen Wirfs-Brock, Brendan Eich, "JavaScript: the first 20 years", 2020์ ๋ฒ์ญโ17Updated 3 weeks ago
- ๐ ๊ธด๋ฐํ ์ด๋ฏธ์ง ์์ฑ๊ธฐโ57Updated 3 years ago
- ์ค๋นฑ๋๋น๋๋ฐฅ ๋๋น๋๋น๋๋น๋๋น ๋๋น๋๋ฐฅ ์ฌ๋ฐ๋๋น๋๋ด ์ค๋ฐ๋ค ๋๋ถธ๋ก ๐ทโ112Updated 2 years ago
- HTML, CSS(flex/grid), UI/UX, Accessibility, ์ ์ฐฌ๋ชโ22Updated last year
- ์๋ก์ด ํ๋ก๊ทธ๋๋ฐ ์ธ์ด์ ํจ๊ป ๊ฒจ์ธ๋๊ธฐโ49Updated 3 years ago
- ํ๊ธ๋ก ๋ณผ ์ ์๋ PL ๊ด๋ จ ์๋ฃ๋ค์ ์ ๋ฆฌํ๋ ๊ณต๊ฐ์ ๋๋ค.โ63Updated last week
- ์์ ์ธ์ด๋ Brainfuck์ ๋ฐฉ์ธ์ ๋๋ค.โ83Updated 4 years ago
- ํ๊ธ๋ก ์ ํ ํ๊ตญ์ด ์์ฌ๋ฅผ ์ซ์๋ก ๋ณํํ๋ ์๋ฐ์คํฌ๋ฆฝํธ ๋ผ์ด๋ธ๋ฌ๋ฆฌ์ ๋๋ค.โ44Updated 3 years ago
- โญ๏ธ Standard.IS - ์ํ ๋ฐ ์ธ์ธ ์ํ์ ์ํ ํ์ค ๋ํ๋ฒ(Standard Inssa Syntax)โ65Updated last year
- ํ๋ก๊ทธ๋๋จธ๋ฅผ ์ํ ์นดํ ๊ณ ๋ฆฌ ์ด๋ก ์คํฐ๋ ๐โ56Updated 4 years ago
- Mooyaho is a server that makes WebRTC easier.โ40Updated 3 years ago
- Reliable edge proxy to the Juso APIโ44Updated 2 years ago
- ํจ์ํ ์๋ฐ์คํฌ๋ฆฝํธ์ ๋์์ฑ ํ๋ก๊ทธ๋๋ฐโ66Updated 6 years ago
- ์ผํ๋ฌ ๋ฐฉ์ ์์ ์ด์ฉํ ํ์๊ณ ํ์ฑ๋ค์ ๊ถค๋ ๊ณ์ฐ ์๋ฎฌ๋ ์ดํฐโ69Updated 2 years ago
- ๊ตญํ์์ ํ์๊ธ์ฌ์ฉ๋ด์ญ์ ๊ธฐ๋ฐ์ผ๋ก ํ ๊ฒ์ฆ๋ ๋ง์ง์ง๋โ85Updated last year
- ์ธํฐ๋ํฐ๋ธ 3D ์์์ ์์๊ฐ๋ ์์ ์ปดํจํฐ์ ๊ธฐ๋ณธ์ ์๋ฆฌโ160Updated 4 years ago
- TypeScript ์ fp-ts ๋ฅผ ํ์ฉํ ํจ์ํ ํ๋ก๊ทธ๋๋ฐ ์๊ฐโ30Updated 2 years ago
- ๐ฅ 2022 JSConf "ํ๋ก ํธ์๋์์ ํจ์ํ์ ์ถ๊ตฌํ๋ฉด ์๋๋๊ฑธ๊น?" ๋ฐํ ์๋ฃ ๐โ87Updated 2 years ago
- ๋ฐฑ์ค ์ ์ ํ์ด์ง๋ฅผ ์์๊ฒ ๋ง๋ค์ด๋ณด์ธ์โ35Updated last month
- ํ๊ตญ/ํ๊ตญ์ด์ ๊ด๋ จ๋ ๋ผ์ด๋ธ๋ฌ๋ฆฌ ๋ชจ์โ36Updated 2 years ago
- ๋ํ๋ฏผ๊ตญ ๊ฐ ์๋๋ณ ํ์ฒ ์์ ๊ณต๊ณต๋ฐ์ดํฐ Open API ์๊ฐํ ์๋น์คโ48Updated 2 years ago
- ๋ฆฌ์คํฌ๋ฆฝํธ ํ๊ตญ์ด ํโ107Updated 2 years ago
- ๐ฐ๐ท Curating the best projects that were made and mainly contributed by Korean developersโ65Updated last year
- ํ๊ตญ์ด ์กฐ์ฌ๋ฅผ ์์ฑํด์ฃผ๋ ์๋ฐ์คํฌ๋ฆฝํธ ๋ผ์ด๋ธ๋ฌ๋ฆฌโโ58Updated last year
- ๊ฐ๋จํ ๊ฐ์๋(VirtualDOM)๊ณผ Diff ์๊ณ ๋ฆฌ์ฆ์ ๊ตฌํํ๋ ์์ โ39Updated 3 years ago
- ์ฌ๊ธฐ๋ก์ด ๊ฐ๋ฐ ์ํโ82Updated 2 years ago
- ์น ์ ๊ทผ์ฑ ๊ด๋ จ ๊ตญ๋ด์ธ ์๋ฃ ๋ชจ์. This is for everyone who is interested in A11y!โ30Updated 5 years ago