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 6 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.

• alstn2468 / category-theory-for-programmers

  View on GitHub
  🚧 WIP: Bartosz Milewski's "Category Theory for Programmers" Korean translation 📚
  ☆56Aug 16, 2022Updated 4 years ago
• pilgwon / CategoryTheory

  View on GitHub
  [번역] 프로그래머를 위한 카테고리 이론 (Category Theory for Programmers)
  ☆286Jun 17, 2019Updated 7 years ago
• damhiya / Coq-tips

  View on GitHub
  ☆10Nov 20, 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
• 9beach / hanspell-hs

  View on GitHub
  (주)다음과 네이버(주)의 웹 서비스를 이용한 한글 맞춤법 검사기.
  ☆26Jul 22, 2026Updated 3 months ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• dimitris-papadimitriou-chr / FunctionalJsWithCategories

  View on GitHub
  Functional Programming in Javascript with Categories
  ☆18Jun 25, 2022Updated 4 years ago
• dahlia / sacho

  View on GitHub
  An opinionated changelog manager
  ☆17Oct 25, 2026Updated last week
• plwiki / plwiki.github.io

  View on GitHub
  ☆35Nov 7, 2025Updated 11 months ago
• ENvironmentSet / hyogwa

  View on GitHub
  Natural 🌿 effect system that fits TypeScript
  ☆62Aug 22, 2024Updated 2 years ago
• ENvironmentSet / lambda2wasm

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

  View on GitHub
  Relay 온보딩 세션용 슬라이드 + 예제 프로젝트 in TypeScript & ReScript
  ☆27Aug 24, 2026Updated 2 months ago
• dahlia / vertana

  View on GitHub
  LLM-powered agentic translation library for JavaScript/TypeScript
  ☆33May 5, 2026Updated 5 months ago
• ENvironmentSet / ts-transfromer-typerep

  View on GitHub
  Bring type level information to value level.
  ☆19Aug 7, 2024Updated 2 years ago
• jiunbae / agent-skills

  View on GitHub
  ☆12Oct 18, 2026Updated 2 weeks 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.
• bglgwyng / conal

  View on GitHub
  ☆18Jan 6, 2026Updated 9 months ago
• Ailrun / core-lang-haskell

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

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

  View on GitHub
  Improved readability documents of web contents
  ☆68Dec 5, 2020Updated 5 years ago
• on-the-ground / effect_ive_go

  View on GitHub
  Effect-ive Programming in Go
  ☆39Oct 21, 2025Updated last year
• ENvironmentSet / overcurried

  View on GitHub
  Personal blog of ENvironmentSet based on oversomething.
  ☆14Oct 29, 2024Updated 2 years ago
• soupi / sdl2-snake

  View on GitHub
  An example application for sdl2.
  ☆25Feb 19, 2022Updated 4 years ago
• prosyslab / pl-wiki

  View on GitHub
  ☆48May 15, 2026Updated 5 months ago
• daangn / graplix

  View on GitHub
  Authorization framework for implementing Relation-based Access Control (ReBAC) with the Resolver (Inspired by GraphQL)
  ☆94Updated this week
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• n2ptune / imkh.dev

  View on GitHub
  웹 개발 학습 기록 블로그
  ☆21Mar 24, 2026Updated 7 months ago
• alstn2468 / getting-started-fp-ts

  View on GitHub
  📘 Typescript Functional Programming with fp-ts 🤖
  ☆24May 10, 2022Updated 4 years ago
• postech-pl / class-pl-26s

  View on GitHub
  POSTECH CS321: Programming Languages (Spring 2026)
  ☆14Jun 25, 2026Updated 4 months ago
• utilForever / 2020-OSS-Winter-AlphaZero

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

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

  View on GitHub
  Pittsburgh Functional Programming Book Club featuring Category Theory for Programmers by Bartosz Milewski
  ☆26Jan 4, 2023Updated 3 years ago
• hackers-pub / android

  View on GitHub
  Android client for Hackers' Pub
  ☆26Oct 4, 2026Updated 3 weeks ago
• Nebu1eto / skills

  View on GitHub
  Haze's Agent Skills
  ☆13Jul 18, 2026Updated 3 months ago
• BartoszMilewski / CategoryTheory

  View on GitHub
  ☆29Nov 23, 2019Updated 6 years ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• ts-animal / ts-animal

  View on GitHub
  Sophisticated Command Line Interface (CLI) package to display animal ASCII animation art.
  ☆15Feb 17, 2024Updated 2 years ago
• rzrn / lean4-categories

  View on GitHub
  Category Theory & Cobordism Categories in Lean 4
  ☆16Jun 27, 2024Updated 2 years ago
• prosyslab-classroom / cs524-program-analysis

  View on GitHub
  ☆70Aug 26, 2026Updated 2 months ago
• dodok8 / gaji

  View on GitHub
  Type-safe GitHub Actions workflows in TypeScript, GitHub Actions Justified Improvements
  ☆27Sep 6, 2026Updated last month
• simnalamburt / snucse.pl

  View on GitHub
  4190.310 Programming Languages (Fall 2015)
  ☆36Sep 28, 2017Updated 9 years ago
• pbkit / wrp-ts

  View on GitHub
  TypeScript Implementation of Webview/Worker Request Protocol
  ☆34Oct 17, 2022Updated 4 years ago
• suhdonghwi / qubit

  View on GitHub
  인터랙티브 3D 요소와 알아가는 양자 컴퓨터의 기본적 원리
  ☆163Sep 21, 2026Updated last month