alstn2468/category-theory-for-programmers 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

alstn2468/category-theory-for-programmers

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/alstn2468/category-theory-for-programmers)

Close

alstn2468 / category-theory-for-programmersView on GitHubMore

• External links
• Readme badge

🚧 WIP: Bartosz Milewski's "Category Theory for Programmers" Korean translation 📚

☆56Aug 16, 2022Updated 4 years ago

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. We may earn a commission when you buy through links labeled 'Ad' on this page.

• sudopark / category-theory-for-programmers-study

  View on GitHub
  프로그래머를 위한 카테고리 이론 스터디 😇
  ☆58Apr 17, 2026Updated 6 months ago
• gosuda / website

  View on GitHub
  Home of the gosuda.org [go-import, blog]
  ☆12Updated this week
• alstn2468 / 2022-jsconf-presentation

  View on GitHub
  🖥 2022 JSConf "프론트엔드에서 함수형을 추구하면 안되는걸까?" 발표 자료 🌈
  ☆88Nov 14, 2022Updated 3 years ago
• alstn2468 / getting-started-fp-ts

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

  View on GitHub
  Online Workshop #1. TodoMVC example in Reason React
  ☆17Apr 26, 2023Updated 3 years ago
• GPU virtual machines on DigitalOcean Gradient AI • Ad
  Get to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
• dragonteros / Eomi.js

  View on GitHub
  한국어 용언(동사, 형용사) 활용을 편리하게 구현하는 자바스크립트 라이브러리입니다.
  ☆16Jan 23, 2024Updated 2 years ago
• RanolP / egovish

  View on GitHub
  행정안전부에서 마련한 〈디지털 정부서비스 UI/UX 가이드라인〉을 준수하는 것을 목표로 삼고 있는 크로스-프레임워크 컴포넌트 라이브러리이다.
  ☆11Apr 24, 2024Updated 2 years ago
• dominictwlee / babel-plugin-react-query-key-gen

  View on GitHub
  generate react-query keys at build time.
  ☆10Aug 24, 2021Updated 5 years ago
• Devminjeong-eum / backend

  View on GitHub
  데브말ㅆㆍ미 | 개발 용어 발음 사전
  ☆18Mar 9, 2025Updated last year
• 8values-ko / 8values-ko.github.io

  View on GitHub
  The 8values political quiz
  ☆13Feb 24, 2026Updated 8 months ago
• sunrise2575 / AnchorVPN

  View on GitHub
  VPN system for accessing network in firewall (using Wireguard)
  ☆14Mar 26, 2021Updated 5 years ago
• Eveheeero / fireman

  View on GitHub
  Decompiler written in rust inspired by snowman (2026 09 WIP)
  ☆14Sep 1, 2026Updated last month
• pmh-only / spoti2wall

  View on GitHub
  spoti2wall | Set the Spotify album cover you are currently playing as your wallpaper.
  ☆11May 22, 2024Updated 2 years ago
• parksb / daily-news-for-trainee

  View on GitHub
  🗞️ 고립된 훈련병을 위한 종합 뉴스
  ☆39Dec 10, 2022Updated 3 years ago
• 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.
• karlhorky / typescript-tricks

  View on GitHub
  A collection of useful TypeScript tricks
  ☆50Sep 1, 2024Updated 2 years ago
• AkiaCode / kurit

  View on GitHub
  autogen website (with Deno Core)
  ☆14Oct 19, 2023Updated 3 years ago
• airman5573 / browser-event-loop

  View on GitHub
  브라우저의 Event Loop관련 자료 모음입니다.
  ☆13Oct 28, 2022Updated 4 years ago
• mjhopkins / category-cheat-sheet

  View on GitHub
  Cheat sheet for Haskellers wanting to get up to speed with category theory
  ☆12Mar 4, 2020Updated 6 years ago
• rzrn / lean4-categories

  View on GitHub
  Category Theory & Cobordism Categories in Lean 4
  ☆16Jun 27, 2024Updated 2 years ago
• hyuunnn / awesome-pl-kor

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

  View on GitHub
  Node.js CLI Project for better developing
  ☆12Jul 3, 2026Updated 3 months ago
• teampopong / hangul-jamo-js

  View on GitHub
  한글 자모 분리 라이브러리
  ☆11Oct 3, 2013Updated 13 years ago
• alstn2468 / functional-programming

  View on GitHub
  Introduction to Functional Programming (Korean)
  ☆36Feb 18, 2024Updated 2 years 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.
• uditalias / timeline

  View on GitHub
  JavaScript Undo/Redo mechanism with simple API ✌️
  ☆32Aug 28, 2024Updated 2 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
• myyrakle / billion_row_challenge

  View on GitHub
  10억줄 처리 챌린지
  ☆41Sep 4, 2026Updated last month
• Risto-Stevcev / category-theory-by-example

  View on GitHub
  Explaining category theory by example
  ☆10Jun 30, 2017Updated 9 years ago
• NaverPayDev / browserslist-config

  View on GitHub
  Shareable Browserslist config for naverpay
  ☆10Feb 25, 2026Updated 8 months ago
• gosuda / x402-facilitator

  View on GitHub
  Golang implementation of an x402 payment facilitator
  ☆15Sep 27, 2026Updated last month
• CategoricalData / catdb

  View on GitHub
  Category theory in Coq, by Jason Gross
  ☆16Jan 29, 2015Updated 11 years ago
• black7375 / vite-plugin-dts-build

  View on GitHub
  Fast .d.ts builds for Vite (worker + incremental) with dual mode(ESM/CJS) support.
  ☆23Mar 14, 2026Updated 7 months ago
• NaverPayDev / device-info

  View on GitHub
  A library for converting device IDs to user-friendly model names.
  ☆16Updated 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.
• toumix / thesis

  View on GitHub
  Category Theory for Quantum Natural Language Processing
  ☆11Feb 22, 2023Updated 3 years ago
• spl / basic-category-theory

  View on GitHub
  Source for Basic Category Theory by Tom Leinster
  ☆12May 15, 2017Updated 9 years ago
• okomok / strcat

  View on GitHub
  TeX files for summary of category theory
  ☆15Apr 9, 2016Updated 10 years ago
• dabinKim-0318 / Today-I-Learned

  View on GitHub
  공부 내용을 기록합니다✍
  ☆14Jan 17, 2023Updated 3 years ago
• SasarinoMARi / Tweeper

  View on GitHub
  트윗지기는 트윗 청소기, 트윗 일지 작성, 미디어 다운로드, 체인블락 등의 유용한 기능을 포함한 안드로이드 앱입니다.
  ☆12Jul 14, 2023Updated 3 years ago
• parksb / santa-inc

  View on GitHub
  🎅 세계를 선도하는 글로벌 기업 (주)산타
  ☆51Jan 13, 2023Updated 3 years ago
• functionaljustin / duct

  View on GitHub
  DUCT is a Scala 3 category theory and functional programming library
  ☆15Oct 13, 2026Updated 2 weeks ago