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:
- Agento - ์ฐ์ ๊ธฐ๋ฅ์์/์ ๋ฌธ์ฐ๊ตฌ์์ TO ๋ทฐ์ด ํฌ๋กฌ ํ์ฅํ๋ก๊ทธ๋จโ43Updated 2 years ago
- ์ธํฐ๋ํฐ๋ธ 3D ์์์ ์์๊ฐ๋ ์์ ์ปดํจํฐ์ ๊ธฐ๋ณธ์ ์๋ฆฌโ162Updated 4 years ago
- ์๋ก์ด ํ๋ก๊ทธ๋๋ฐ ์ธ์ด์ ํจ๊ป ๊ฒจ์ธ๋๊ธฐโ49Updated 3 years ago
- ํ๊ธ, ์๋ง์ผ๋ก ๋ณผ ์ ์๋ PL ๊ด๋ จ ์๋ฃ๋ค์ ์ ๋ฆฌํ๋ ๊ณต๊ฐ์ ๋๋ค.โ63Updated last month
- ๋น๊ทผ๋ง์ผ ์น ์ปจํ ์ธ ํผ๋จธ๋งํฌ ์คํ & ๋ ํผ๋ฐ์ค ๊ตฌํ ์ ์ฅ์โ40Updated 2 years ago
- ๋ ๋์ ๋ฒ์ญ์ ์ํ ํ๋ก๊ทธ๋๋ฐ ์ฉ์ด ๋ฒ์ญ ์ฉ๋ก์ง์ ๋๋ค.โ56Updated 11 months ago
- ๐ ๊ธด๋ฐํ ์ด๋ฏธ์ง ์์ฑ๊ธฐโ58Updated 3 years ago
- โจ๏ธ ํ๊ธ ํ์ดํ ํจ๊ณผ ๋ผ์ด๋ธ๋ฌ๋ฆฌโ90Updated 2 years ago
- ์์ ์ธ์ด๋ Brainfuck์ ๋ฐฉ์ธ์ ๋๋ค.โ84Updated 4 years ago
- Acropolis, where you can experience very first version of ECMAScript.โ29Updated 11 months ago
- โญ๏ธ Standard.IS - ์ํ ๋ฐ ์ธ์ธ ์ํ์ ์ํ ํ์ค ๋ํ๋ฒ(Standard Inssa Syntax)โ65Updated 2 years ago
- ์ผํ๋ฌ ๋ฐฉ์ ์์ ์ด์ฉํ ํ์๊ณ ํ์ฑ๋ค์ ๊ถค๋ ๊ณ์ฐ ์๋ฎฌ๋ ์ดํฐโ70Updated 2 years ago
- ์ฉ๋์ ์ค์ธ Noto Sans ๋ฐ Noto Serif ๊ฐ๋ณํฐํธโ38Updated 2 years ago
- ์ค๋นฑ๋๋น๋๋ฐฅ ๋๋น๋๋น๋๋น๋๋น ๋๋น๋๋ฐฅ ์ฌ๋ฐ๋๋น๋๋ด ์ค๋ฐ๋ค ๋๋ถธ๋ก ๐ทโ109Updated 2 years ago
- ๊ธ๋ฆฌํ - ์ด์ผ๊ธฐ๊ฐ ๋ชจ์ฌ ์ฆ๊ฑฐ์์ด ๋๋คโ135Updated 6 months ago
- ํ๋ก๊ทธ๋๋จธ๋ฅผ ์ํ ์นดํ ๊ณ ๋ฆฌ ์ด๋ก ์คํฐ๋ ๐โ56Updated 4 years ago
- ํ๊ตญ์ด ์กฐ์ฌ๋ฅผ ์์ฑํด์ฃผ๋ ์๋ฐ์คํฌ๋ฆฝํธ ๋ผ์ด๋ธ๋ฌ๋ฆฌโโ59Updated last year
- ํ๊ธ๋ก ์ ํ ํ๊ตญ์ด ์์ฌ๋ฅผ ์ซ์๋ก ๋ณํํ๋ ์๋ฐ์คํฌ๋ฆฝํธ ๋ผ์ด๋ธ๋ฌ๋ฆฌ์ ๋๋ค.โ44Updated 3 years ago
- Toss Developers : ํ ์ค ์๋น์ค๋ฅผ ์ฌ์ฉํ๊ณ ์ ํ๋ ๊ฐ๋ฐ์๋ถ๋ค์ ์ํ ๊ณณ์ ๋๋ค.โ57Updated 7 months ago
- ๋ฐ๋ธ๋งใ ใ๋ฏธ | ๊ฐ๋ฐ ์ฉ์ด ๋ฐ์ ์ฌ์ โ41Updated 4 months ago
- ๊นํ ํ๊ธํ ํ์ฅ ํ๋ก๊ทธ๋จโ101Updated 3 years ago
- ๐ฐ๐ท Curating the best projects that were made and mainly contributed by Korean developersโ69Updated last year
- Reliable edge proxy to the Juso APIโ44Updated 2 years ago
- ๋ฆฌ์คํฌ๋ฆฝํธ ํ๊ตญ์ด ํโ107Updated 2 years ago
- ใGitHub Action์ ์ฌ์ฉํด ์๋ก ์ฌ๋ผ์จ ์ ์์ธ ๋ฐฉ ๋ชฉ๋ก ๋ฐ์๋ณด๊ธฐใ ์์ ์ฝ๋โ99Updated 2 years ago
- TypeScript ์ fp-ts ๋ฅผ ํ์ฉํ ํจ์ํ ํ๋ก๊ทธ๋๋ฐ ์๊ฐโ30Updated 2 years ago
- ๊ฐ๋น์ค์ฝ ์งค ์์ฑ๊ธฐโ85Updated 3 years ago
- ๐ฐ๐ท ํฐ๋ฏธ๋ ํ์์ ํ ์ค์ ๋ฐฉ์ง ํ๋ฌ๊ทธ์ธโ169Updated this week
- ํจ์ํ ์๋ฐ์คํฌ๋ฆฝํธ์ ๋์์ฑ ํ๋ก๊ทธ๋๋ฐโ66Updated 6 years ago
- ๊ตญํ์์ ํ์๊ธ์ฌ์ฉ๋ด์ญ์ ๊ธฐ๋ฐ์ผ๋ก ํ ๊ฒ์ฆ๋ ๋ง์ง์ง๋โ85Updated last year