sudopark/category-theory-for-programmers-study external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

sudopark/category-theory-for-programmers-study

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/sudopark/category-theory-for-programmers-study)

Close

sudopark / category-theory-for-programmers-studyView on GitHubMore

• External links
• Readme badge

프로그래머를 위한 카테고리 이론 스터디 😇

☆58Feb 7, 2021Updated 5 years ago

Alternatives and similar repositories for category-theory-for-programmers-study

Users that are interested in category-theory-for-programmers-study are comparing it to the libraries listed below

• lionhairdino / saekpen.nvim

  View on GitHub
  Colored pencil or highlighter to use in Neovim
  ☆10Feb 8, 2025Updated last year
• attltb / Lecture-Monad

  View on GitHub
  A whole new approach to teaching monad.
  ☆55Nov 28, 2022Updated 3 years ago
• pilgwon / CategoryTheory

  View on GitHub
  [번역] 프로그래머를 위한 카테고리 이론 (Category Theory for Programmers)
  ☆289Jun 17, 2019Updated 6 years ago
• plwiki / plwiki.github.io

  View on GitHub
  ☆36Nov 7, 2025Updated 3 months ago
• napkin-community / proofs

  View on GitHub
  📚 (WIP) Formal proofs of "An Infinitely Large Napkin"
  ☆20Feb 18, 2026Updated 2 weeks ago
• PnVDiscord / software-foundations-lean

  View on GitHub
  📚 (WIP) Rewriting Software Foundations in Lean 4
  ☆28Oct 24, 2025Updated 4 months ago
• ENvironmentSet / hyogwa

  View on GitHub
  Natural 🌿 effect system that fits TypeScript
  ☆62Aug 22, 2024Updated last year
• MostlyAdequate / mostly-adequate-guide-kr

  View on GitHub
  Mostly adequate guide to FP (in javascript, translated to korean)
  ☆22May 31, 2023Updated 2 years ago
• utilForever / 2023-SICP-Rust

  View on GitHub
  2023 Momenti Study - Structure and Interpretation of Computer Programs: Rust Edition
  ☆10Jan 4, 2023Updated 3 years ago
• devinjeon / NDC19

  View on GitHub
  발표 자료 - [NDC19] 좋은 로그란 무엇인가? - 좋은 로그를 위해 고려해야 할 것들
  ☆28Apr 30, 2019Updated 6 years ago
• alstn2468 / getting-started-fp-ts

  View on GitHub
  📘 Typescript Functional Programming with fp-ts 🤖
  ☆24May 10, 2022Updated 3 years ago
• EXIT-MAKE / make.back.onboarding

  View on GitHub
  메이크 백엔드 신규 입사자 교육을 위한 레포지토리입니다.
  ☆24Feb 4, 2022Updated 4 years ago
• 9beach / hanspell-hs

  View on GitHub
  (주)다음과 부산대학교 인공지능연구실/(주)나라인포테크의 웹 서비스를 이용한 한글 맞춤법 검사기.
  ☆26Apr 22, 2023Updated 2 years ago
• PnVDiscord / PnVRocqLib

  View on GitHub
  📝 A Rocq library written by members of PnV Discord Server
  ☆19Updated this week
• pbkit / wrp-ts

  View on GitHub
  TypeScript Implementation of Webview/Worker Request Protocol
  ☆34Oct 17, 2022Updated 3 years ago
• ts-animal / ts-animal

  View on GitHub
  Sophisticated Command Line Interface (CLI) package to display animal ASCII animation art.
  ☆16Feb 17, 2024Updated 2 years ago
• msbaek / tyrant-client-tdd

  View on GitHub
  ☆14Mar 17, 2025Updated 11 months ago
• n2ptune / imkh.dev

  View on GitHub
  웹 개발 학습 기록 블로그
  ☆21Jan 29, 2026Updated last month
• utilForever / rust-wasm-game-of-life

  View on GitHub
  A simple Rust and WebAssembly example implementing the Game of Life
  ☆15Aug 4, 2021Updated 4 years ago
• lifthrasiir / wah

  View on GitHub
  WebAssembly interpreter in a Header (WAH)
  ☆31Oct 6, 2025Updated 5 months ago
• hyn2028 / kecc-ir-highlight

  View on GitHub
  Support for language highlighting of KECC(KAIST Educational C Compiler) IR
  ☆12May 17, 2022Updated 3 years ago
• XiNiHa / relay-onboarding

  View on GitHub
  Relay 온보딩 세션용 슬라이드 + 예제 프로젝트 in TypeScript & ReScript
  ☆20May 9, 2023Updated 2 years ago
• ENvironmentSet / lambda2wasm

  View on GitHub
  A Lambda expression compiler targeting web assembly.
  ☆20Aug 7, 2024Updated last year
• eunmin / getting-started-monad

  View on GitHub
  모나드 첫걸음
  ☆41Mar 18, 2019Updated 6 years ago
• Christmas-Blues / FullScreenOverlay

  View on GitHub
  A novel way to present a full-screen SwiftUI overlay from the view not in full-screen size.
  ☆19May 18, 2024Updated last year
• hongseok-yang / logic23

  View on GitHub
  ☆17May 29, 2023Updated 2 years ago
• toss / yarn-standard-workspace

  View on GitHub
  ☆45Apr 20, 2023Updated 2 years ago
• alstn2468 / category-theory-for-programmers

  View on GitHub
  🚧 WIP: Bartosz Milewski's "Category Theory for Programmers" Korean translation 📚
  ☆53Aug 16, 2022Updated 3 years ago
• rollrat / compiler-compiler

  View on GitHub
  🍁 Compiler Compiler based on CSharp with GUI Program
  ☆21Oct 21, 2022Updated 3 years ago
• hmmhmmhm / hangul-search-js

  View on GitHub
  🇰🇷 Simple Korean text search module
  ☆25Sep 25, 2021Updated 4 years ago
• weirdmeetup / translate

  View on GitHub
  이상한모임 공동 번역
  ☆41Sep 25, 2018Updated 7 years ago
• soupi / sdl2-snake

  View on GitHub
  An example application for sdl2.
  ☆25Feb 19, 2022Updated 4 years ago
• indongyoo / programmers-fnjs

  View on GitHub
  프로그래머스 - ES6로 알아보는 동시성 & 함수형 프로그래밍
  ☆17Jul 1, 2018Updated 7 years ago
• JsonKim / fastcampus-fp-typescript

  View on GitHub
  ☆23Jan 25, 2022Updated 4 years ago
• freshrimpsushi / freshrimpsushi.github.io

  View on GitHub
  after hugo
  ☆27Updated this week
• utilForever / 2023-MatKor-Rust-Interpreter

  View on GitHub
  2023년 고려대학교 MatKor 스터디 - Rust 기초 프로그래밍 + 인터프리터 만들기
  ☆346Aug 10, 2023Updated 2 years ago
• utilForever / 2020-OSS-Winter-AlphaZero

  View on GitHub
  2020년 OSS 개발자 포럼 겨울 캠프 - AlphaZero 인공지능 오목 관련 예제 코드
  ☆20Apr 8, 2021Updated 4 years ago
• hackers-pub / hackerspub

  View on GitHub
  ActivityPub-enabled social network for hackers
  ☆133Updated this week
• heumsi / hands-on-terraform-with-gcp

  View on GitHub
  Let's learn terraform with GCP step by step
  ☆22Sep 26, 2023Updated 2 years ago