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

• daangn / permalink
  당근마켓 웹 컨텐츠 퍼머링크 스펙 & 레퍼런스 구현 저장소
  ☆40Updated last year
• daangn / advent-of-code-2021
  새로운 프로그래밍 언어와 함께 겨울나기
  ☆49Updated 3 years ago
• cereme / agento
  Agento - 산업기능요원/전문연구요원 TO 뷰어 크롬 확장프로그램
  ☆43Updated 2 years ago
• hmmhmmhm / do-urgency
  🚀 긴박한 이미지 생성기
  ☆57Updated 3 years ago
• naradesign / naradesign.github.io
  HTML, CSS(flex/grid), UI/UX, Accessibility, 정찬명
  ☆21Updated 11 months ago
• evan-moon / solarsystemts
  케플러 방정식을 이용한 태양계 행성들의 궤도 계산 시뮬레이터
  ☆66Updated 2 years ago
• mooyaho-webrtc / mooyaho
  Mooyaho is a server that makes WebRTC easier.
  ☆40Updated 3 years ago
• kciter / jazzlang
  샤빱두비뚜밥 두비두비두비두비 뚜비두밥 사바두비두봐 샤바다 두붸둡 🎷
  ☆111Updated 2 years ago
• junhoyeo / standard-is
  ⭐️ Standard.IS - 솔탈 및 인싸 생활을 위한 표준 대화법(Standard Inssa Syntax)
  ☆66Updated last year
• ENvironmentSet / esone
  Acropolis, where you can experience very first version of ECMAScript.
  ☆29Updated 8 months ago
• yf-dev / syusuk
  슈숙 언어는 Brainfuck의 방언입니다.
  ☆83Updated 3 years ago
• yonguilee / a11y_bookmarks
  웹 접근성 관련 국내외 자료 모음. This is for everyone who is interested in A11y!
  ☆30Updated 5 years ago
• hyuunnn / awesome-pl-kor
  한글로 볼 수 있는 PL 관련 자료들을 정리하는 공간입니다.
  ☆62Updated last week
• daangn / juso-edge
  Reliable edge proxy to the Juso API
  ☆44Updated 2 years ago
• alstn2468 / 2022-jsconf-presentation
  🖥 2022 JSConf "프론트엔드에서 함수형을 추구하면 안되는걸까?" 발표 자료 🌈
  ☆86Updated 2 years ago
• daangn / metabridge
  🔗 Defines the communication layer between mobile native(iOS/Android) and webview using JSON Schema and automatically generates SDK code.…
  ☆61Updated 3 weeks ago
• sudopark / category-theory-for-programmers-study
  프로그래머를 위한 카테고리 이론 스터디 😇
  ☆55Updated 4 years ago
• hyp3rflow / jsconf-kr-2022-deno
  ☆15Updated 2 years ago
• solved-ac / ui-react
  React component library used by solved.ac
  ☆38Updated 2 weeks ago
• daangn / karrot-ui-icon
  ☆31Updated last year
• indongyoo / NAVER-Teck-Talk
  함수형 자바스크립트와 동시성 프로그래밍
  ☆66Updated 6 years ago
• tossdev / tossdev.github.io
  Toss Developers : 토스 서비스를 사용하고자 하는 개발자분들을 위한 곳입니다.
  ☆57Updated 4 months ago
• 738 / made-in-korea
  🇰🇷 Curating the best projects that were made and mainly contributed by Korean developers
  ☆65Updated 11 months ago
• green-labs / rescript-in-korean
  리스크립트 한국어 판
  ☆107Updated 2 years ago
• wanted-pre-onboarding-fe / pre-assignment
  원티드 프리온보딩 프론트엔드 코스 사전과제
  ☆26Updated 2 years ago
• RanolP / ko-translation-terms
  더 나은 번역을 위한 프로그래밍 용어 번역 용례집입니다.
  ☆56Updated 9 months ago
• SDuck4 / type-hangul
  ⌨️ 한글 타이핑 효과 라이브러리
  ☆90Updated last year
• daangn / cjk-slug
  URL-friendly string converter that supports CJK characters
  ☆57Updated last year
• kidow / ddtalk
  디디톡은 개발자들을 위한 채팅방 플랫폼입니다. 개발자들이 코드 혹은 기술과 관련해서 질문을 올리고 답할 수 있게 만든 서비스입니다. (ddtalk is a chatting room platform for develpers. This is a se…
  ☆28Updated 3 years ago
• akngs / noto-kr-vf-distilled
  용량을 줄인 Noto Sans 및 Noto Serif 가변폰트
  ☆38Updated 2 years ago