alstn2468 / category-theory-for-programmersLinks
๐ง WIP: Bartosz Milewski's "Category Theory for Programmers" Korean translation ๐
โ44Updated 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
- ์ฉ๋์ ์ค์ธ Noto Sans ๋ฐ Noto Serif ๊ฐ๋ณํฐํธโ38Updated 2 years ago
- ํ๊ธ๋ก ๋ณผ ์ ์๋ PL ๊ด๋ จ ์๋ฃ๋ค์ ์ ๋ฆฌํ๋ ๊ณต๊ฐ์ ๋๋ค.โ63Updated last week
- ์๋ก์ด ํ๋ก๊ทธ๋๋ฐ ์ธ์ด์ ํจ๊ป ๊ฒจ์ธ๋๊ธฐโ49Updated 3 years ago
- Agento - ์ฐ์ ๊ธฐ๋ฅ์์/์ ๋ฌธ์ฐ๊ตฌ์์ TO ๋ทฐ์ด ํฌ๋กฌ ํ์ฅํ๋ก๊ทธ๋จโ43Updated 2 years ago
- Acropolis, where you can experience very first version of ECMAScript.โ29Updated 9 months ago
- ๐ ๊ธด๋ฐํ ์ด๋ฏธ์ง ์์ฑ๊ธฐโ57Updated 3 years ago
- ํจ์ํ ์๋ฐ์คํฌ๋ฆฝํธ์ ๋์์ฑ ํ๋ก๊ทธ๋๋ฐโ66Updated 6 years ago
- โญ๏ธ Standard.IS - ์ํ ๋ฐ ์ธ์ธ ์ํ์ ์ํ ํ์ค ๋ํ๋ฒ(Standard Inssa Syntax)โ65Updated last year
- ์ค๋นฑ๋๋น๋๋ฐฅ ๋๋น๋๋น๋๋น๋๋น ๋๋น๋๋ฐฅ ์ฌ๋ฐ๋๋น๋๋ด ์ค๋ฐ๋ค ๋๋ถธ๋ก ๐ทโ111Updated 2 years ago
- ํ๊ธ๋ก ์ ํ ํ๊ตญ์ด ์์ฌ๋ฅผ ์ซ์๋ก ๋ณํํ๋ ์๋ฐ์คํฌ๋ฆฝํธ ๋ผ์ด๋ธ๋ฌ๋ฆฌ์ ๋๋ค.โ44Updated 3 years ago
- Reliable edge proxy to the Juso APIโ44Updated 2 years ago
- ๋ ๋์ ๋ฒ์ญ์ ์ํ ํ๋ก๊ทธ๋๋ฐ ์ฉ์ด ๋ฒ์ญ ์ฉ๋ก์ง์ ๋๋ค.โ56Updated 9 months ago
- ์์ ์ธ์ด๋ Brainfuck์ ๋ฐฉ์ธ์ ๋๋ค.โ83Updated 3 years ago
- ๐ฐ๐ท Curating the best projects that were made and mainly contributed by Korean developersโ65Updated last year
- HTML, CSS(flex/grid), UI/UX, Accessibility, ์ ์ฐฌ๋ชโ21Updated 11 months ago
- React component library used by solved.acโ38Updated last month
- ์ผํ๋ฌ ๋ฐฉ์ ์์ ์ด์ฉํ ํ์๊ณ ํ์ฑ๋ค์ ๊ถค๋ ๊ณ์ฐ ์๋ฎฌ๋ ์ดํฐโ68Updated 2 years ago
- ๊ตญํ์์ ํ์๊ธ์ฌ์ฉ๋ด์ญ์ ๊ธฐ๋ฐ์ผ๋ก ํ ๊ฒ์ฆ๋ ๋ง์ง์ง๋โ85Updated last year
- โจ๏ธ ํ๊ธ ํ์ดํ ํจ๊ณผ ๋ผ์ด๋ธ๋ฌ๋ฆฌโ90Updated last year
- ํ๊ตญ์ด ์กฐ์ฌ๋ฅผ ์์ฑํด์ฃผ๋ ์๋ฐ์คํฌ๋ฆฝํธ ๋ผ์ด๋ธ๋ฌ๋ฆฌโโ58Updated last year
- ์ธํฐ๋ํฐ๋ธ 3D ์์์ ์์๊ฐ๋ ์์ ์ปดํจํฐ์ ๊ธฐ๋ณธ์ ์๋ฆฌโ160Updated 3 years ago
- ํ๊ตญ/ํ๊ตญ์ด์ ๊ด๋ จ๋ ๋ผ์ด๋ธ๋ฌ๋ฆฌ ๋ชจ์โ36Updated 2 years ago
- ๋ฆฌ์คํฌ๋ฆฝํธ ํ๊ตญ์ด ํโ107Updated 2 years ago
- dropy ๐ฃ - simple, easy, interactive presentationโ29Updated 4 years ago
- ์ฉ๋์ 0.3MB๋ก ์ค์ธ ๋ ธํ ์ฐ์ค KR ๊ฐ๋ณ ํฐํธโ32Updated 2 years ago
- ์น ์ ๊ทผ์ฑ ๊ด๋ จ ๊ตญ๋ด์ธ ์๋ฃ ๋ชจ์. This is for everyone who is interested in A11y!โ30Updated 5 years ago
- Mooyaho is a server that makes WebRTC easier.โ40Updated 3 years ago
- ๐ด ๊ตญ๋ด ๋ ์คํ ๋ ๋ง์ง ๋ฆฌ์คํธโ61Updated 3 years ago
- TypeScript ์ fp-ts ๋ฅผ ํ์ฉํ ํจ์ํ ํ๋ก๊ทธ๋๋ฐ ์๊ฐโ30Updated 2 years ago