alstn2468 / category-theory-for-programmers

Related projects ⓘ

Alternatives and complementary repositories for category-theory-for-programmers

• daangn / permalink
  당근마켓 웹 컨텐츠 퍼머링크 스펙 & 레퍼런스 구현 저장소
  ☆40Updated last year
• daangn / advent-of-code-2021
  새로운 프로그래밍 언어와 함께 겨울나기
  ☆48Updated 2 years ago
• ENvironmentSet / esone
  Acropolis, where you can experience very first version of ECMAScript.
  ☆29Updated 3 months ago
• daangn / juso-edge
  Reliable edge proxy to the Juso API
  ☆44Updated 2 years ago
• 738 / made-in-korea
  🇰🇷 Curating the best projects that were made and mainly contributed by Korean developers
  ☆63Updated 6 months ago
• cereme / agento
  Agento - 산업기능요원/전문연구요원 TO 뷰어 크롬 확장프로그램
  ☆43Updated last year
• daangn / cjk-slug
  URL-friendly string converter that supports CJK characters
  ☆57Updated last year
• akngs / noto-kr-vf-distilled
  용량을 줄인 Noto Sans 및 Noto Serif 가변폰트
  ☆35Updated 2 years ago
• solved-ac / ui-react
  React component library used by solved.ac
  ☆38Updated 3 months ago
• cometkim / deck-feconf-2022
  FEConf 2022 세션 "Edge Computing으로 가져올 웹 개발의 변화" 장표
  ☆20Updated 11 months ago
• hmmhmmhm / do-urgency
  🚀 긴박한 이미지 생성기
  ☆55Updated 2 years ago
• toss / yarn-standard-workspace
  ☆45Updated last year
• relay-ko / relay-ko.github.io
  Relay 공식 문서 한국어 번역
  ☆26Updated last year
• RanolP / ko-translation-terms
  더 나은 번역을 위한 프로그래밍 용어 번역 용례집입니다.
  ☆57Updated 3 months ago
• naradesign / naradesign.github.io
  HTML, CSS(flex/grid), UI/UX, Accessibility, 정찬명
  ☆21Updated 5 months ago
• daangn / karrot-ui-icon
  ☆31Updated last year
• reason-seoul / ko.rescript
  📖 리스크립트 한국어 2023년 판 📖 Renewed ReScript in Korean 23'
  ☆21Updated last year
• evan-moon / evan-moon.github.io
  Evan's Library 라이브 호스팅
  ☆20Updated 4 months ago
• green-labs / formula-design-system
  Formula Design System monorepo
  ☆25Updated 5 months ago
• akngs / noto-sans-kr-var-distilled
  용량을 0.3MB로 줄인 노토산스 KR 가변 폰트
  ☆32Updated 2 years ago
• rycont / josa-complete
  한국어 조사를 완성해주는 자바스크립트 라이브러리✌
  ☆56Updated 10 months ago
• mooyaho-webrtc / mooyaho
  Mooyaho is a server that makes WebRTC easier.
  ☆41Updated 3 years ago
• cometkim / deck-dev-dive-2022
  Dev Dive 2022 세션 "TDD: 내 코드의 품질을 높여주는 Type-Driven Development" 장표
  ☆12Updated 2 years ago
• dragonteros / kor-to-number.js
  한글로 적힌 한국어 수사를 숫자로 변환하는 자바스크립트 라이브러리입니다.
  ☆44Updated 2 years ago
• pbkit / wrp-ts
  TypeScript Implementation of Webview/Worker Request Protocol
  ☆34Updated 2 years ago
• yonguilee / a11y_bookmarks
  웹 접근성 관련 국내외 자료 모음. This is for everyone who is interested in A11y!
  ☆30Updated 5 years ago
• hmmhmmhm / isSPC
  [WIP] SPC 제품인지를 파악해주는 웹앱 서비스를 개발하려 합니다.
  ☆18Updated 2 years ago
• wan2land / kokr
  한국/한국어와 관련된 라이브러리 모음
  ☆34Updated last year