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

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

☆58Apr 17, 2026Updated 4 months 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. We may earn a commission when you buy through links labeled 'Ad' on this page.

• 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)
  ☆287Jun 17, 2019Updated 7 years ago
• plwiki / plwiki.github.io

  View on GitHub
  ☆35Nov 7, 2025Updated 9 months ago
• fedify-dev / feder

  View on GitHub
  A lightweight ActivityPub server framework in Rust
  ☆22Aug 8, 2026Updated 3 weeks ago
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• Sabro98 / JBUS

  View on GitHub
  JBNU MetaVerse
  ☆13Dec 2, 2021Updated 4 years ago
• 9beach / hanspell-hs

  View on GitHub
  (주)다음과 네이버(주)의 웹 서비스를 이용한 한글 맞춤법 검사기.
  ☆26Jul 22, 2026Updated last month
• MostlyAdequate / mostly-adequate-guide-kr

  View on GitHub
  Mostly adequate guide to FP (in javascript, translated to korean)
  ☆23May 31, 2023Updated 3 years ago
• eunmin / getting-started-monad

  View on GitHub
  모나드 첫걸음
  ☆41Mar 18, 2019Updated 7 years ago
• devinjeon / NDC19

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

  View on GitHub
  Natural 🌿 effect system that fits TypeScript
  ☆62Aug 22, 2024Updated 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
• alstn2468 / getting-started-fp-ts

  View on GitHub
  📘 Typescript Functional Programming with fp-ts 🤖
  ☆24May 10, 2022Updated 4 years ago
• bglgwyng / zat

  View on GitHub
  CLI code outline viewer
  ☆97Aug 19, 2026Updated 2 weeks ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• msbaek / tyrant-client-tdd

  View on GitHub
  ☆13Mar 17, 2025Updated last year
• hackers-pub / android

  View on GitHub
  Android client for Hackers' Pub
  ☆25Jul 19, 2026Updated last month
• dahlia / vertana

  View on GitHub
  LLM-powered agentic translation library for JavaScript/TypeScript
  ☆33May 5, 2026Updated 3 months 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
• CategoricalData / catdb

  View on GitHub
  Category theory in Coq, by Jason Gross
  ☆16Jan 29, 2015Updated 11 years ago
• black7375 / ReadabilityDocs

  View on GitHub
  Improved readability documents of web contents
  ☆69Dec 5, 2020Updated 5 years ago
• zcaudate / brahmin

  View on GitHub
  Category theory morphisms for clojurescript
  ☆16Mar 13, 2015Updated 11 years ago
• TheCedarPrince / LuxCat.jl

  View on GitHub
  Using Luxor.jl to design common diagrams found in Category Theory 🐱
  ☆13Mar 26, 2022Updated 4 years ago
• alstn2468 / category-theory-for-programmers

  View on GitHub
  🚧 WIP: Bartosz Milewski's "Category Theory for Programmers" Korean translation 📚
  ☆53Aug 16, 2022Updated 4 years ago
• End-to-end encrypted email - Proton Mail • Ad
  Special offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
• utilForever / 2023-MatKor-Rust-Interpreter

  View on GitHub
  2023년 고려대학교 MatKor 스터디 - Rust 기초 프로그래밍 + 인터프리터 만들기
  ☆343Aug 10, 2023Updated 3 years ago
• ENvironmentSet / lambda2wasm

  View on GitHub
  A Lambda expression compiler targeting web assembly.
  ☆20Aug 7, 2024Updated 2 years ago
• damhiya / Coq-tips

  View on GitHub
  ☆10Nov 20, 2023Updated 2 years ago
• hyuunnn / awesome-pl-kor

  View on GitHub
  한글, 자막으로 볼 수 있는 PL 관련 자료들을 정리하는 공간입니다.
  ☆68Mar 3, 2026Updated 6 months ago
• WieeRd / auto-lsp.nvim

  View on GitHub
  Automatically detect and setup language servers available on your system.
  ☆13Feb 17, 2026Updated 6 months ago
• Ailrun / core-lang-haskell

  View on GitHub
  Implementation for the book <Implementing functional languages: a tutorial>
  ☆33Apr 15, 2019Updated 7 years ago
• prosyslab / pl-wiki

  View on GitHub
  ☆48May 15, 2026Updated 3 months ago
• kiyoon / Korean-IME.nvim

  View on GitHub
  한글/한자 입력기 for Neovim. OS-independent Korean input method that converts English inputs to Korean in-place.
  ☆40Jan 28, 2026Updated 7 months ago
• epirecipes / EpiCats

  View on GitHub
  Applied category theory applied to epidemiological models
  ☆12Aug 7, 2024Updated 2 years ago
• AI Agents on DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• napkin-community / proofs

  View on GitHub
  📚 (WIP) Formal proofs of "An Infinitely Large Napkin"
  ☆29Aug 1, 2026Updated last month
• dahlia / dojang

  View on GitHub
  A cross-platform dotfiles manager
  ☆15Jul 30, 2026Updated last month
• arawn / building-fullstack-webapp-with-kotlin-multiplatform

  View on GitHub
  Create an application with Kotlin/JVM and Kotlin/JS, and explore features around code sharing, serialization, server- and client
  ☆22Aug 25, 2022Updated 4 years ago
• XiNiHa / relay-onboarding

  View on GitHub
  Relay 온보딩 세션용 슬라이드 + 예제 프로젝트 in TypeScript & ReScript
  ☆27Aug 24, 2026Updated last week
• brick0123 / effective-java

  View on GitHub
  📗 effective java 학습 정리
  ☆11Feb 14, 2021Updated 5 years ago
• cometkim / deck-feconf-2022

  View on GitHub
  FEConf 2022 세션 "Edge Computing으로 가져올 웹 개발의 변화" 장표
  ☆19Dec 15, 2023Updated 2 years ago
• hongseok-yang / logic23

  View on GitHub
  ☆16May 29, 2023Updated 3 years ago