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 📚

☆53Aug 16, 2022Updated 3 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.

• alstn2468 / 2022-jsconf-presentation

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

  View on GitHub
  Online Workshop #1. TodoMVC example in Reason React
  ☆17Apr 26, 2023Updated 3 years ago
• 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
• Devminjeong-eum / backend

  View on GitHub
  데브말ㅆㆍ미 | 개발 용어 발음 사전
  ☆18Mar 9, 2025Updated last year
• Virtual machines for every use case on DigitalOcean • Ad
  Get dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
• LunaTK / protobuf-auto-form

  View on GitHub
  Auto-generated form to construct protobuf message object, in React
  ☆29Nov 8, 2023Updated 2 years ago
• alstn2468 / getting-started-fp-ts

  View on GitHub
  📘 Typescript Functional Programming with fp-ts 🤖
  ☆24May 10, 2022Updated 4 years ago
• 8values-ko / 8values-ko.github.io

  View on GitHub
  The 8values political quiz
  ☆11Feb 24, 2026Updated 5 months ago
• parksb / daily-news-for-trainee

  View on GitHub
  🗞️ 고립된 훈련병을 위한 종합 뉴스
  ☆39Dec 10, 2022Updated 3 years ago
• airman5573 / browser-event-loop

  View on GitHub
  브라우저의 Event Loop관련 자료 모음입니다.
  ☆13Oct 28, 2022Updated 3 years ago
• NaverPayDev / cli

  View on GitHub
  Node.js CLI Project for better developing
  ☆12Jul 3, 2026Updated last month
• sudopark / category-theory-for-programmers-study

  View on GitHub
  프로그래머를 위한 카테고리 이론 스터디 😇
  ☆58Apr 17, 2026Updated 3 months 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 4 months ago
• jojoldu / dev-beginner-group

  View on GitHub
  초보개발자모임 챗봇 & 메일구독
  ☆14Oct 27, 2018Updated 7 years 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.
• xpdojo / docs

  View on GitHub
  Extreme Programming
  ☆12Nov 29, 2021Updated 4 years ago
• SasarinoMARi / Tweeper

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

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

  View on GitHub
  구데기컵 @ Baekjoon Online Judge
  ☆35Mar 13, 2023Updated 3 years ago
• CloudyKit / fastprinter

  View on GitHub
  FastPrinter supports write values in io.Writer without allocation
  ☆12Dec 2, 2025Updated 8 months ago
• dev-nyxie / totp-gateway

  View on GitHub
  Lightweight, High-performance reverse proxy authentication gateway built on Cloudflare's Pingora framework.
  ☆33Nov 30, 2025Updated 8 months ago
• jacob-ebey / enhanceable

  View on GitHub
  A progressively enhanced, virtually zero browser runtime server rendering library.
  ☆19Mar 21, 2025Updated last year
• jidohyun / NOD

  View on GitHub
  Turn anything you read into knowledge you keep. Chrome extension & web app powered by AI.
  ☆17May 2, 2026Updated 3 months ago
• Marker-Inc-Korea / Korean-SAT-LLM-Leaderboard

  View on GitHub
  Korean SAT leader board
  ☆169Nov 20, 2025Updated 8 months 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.
• N8Brooks / combinatorics

  View on GitHub
  🦕 Combinatorial generators including combinations, permutations, combinations with replacement, permutations with replacement, cartesian…
  ☆27Jul 6, 2022Updated 4 years ago
• green-labs / bootcamp-aoc

  View on GitHub
  ☆28Jun 16, 2024Updated 2 years ago
• cometkim / deck-feconf-2022

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

  View on GitHub
  Transform tagged Markdown string to HTML during build time.
  ☆24May 22, 2023Updated 3 years ago
• ChangJoo-Park / SAM.js-korean

  View on GitHub
  SAM.js 패턴 한국어 번역본 저장소입니다
  ☆16Apr 10, 2017Updated 9 years ago
• 27thONSOPT-iOS / LeeYeSeul

  View on GitHub
  스리✨
  ☆12Nov 27, 2020Updated 5 years ago
• springrunner / learn-essences-of-spring

  View on GitHub
  Learn Essence of Spring 강좌의 코드와 템플릿 저장소입니다.
  ☆13Nov 17, 2023Updated 2 years ago
• rotoshine / infcon2023-sample-streaming-ssr

  View on GitHub
  인프콘2023 샘플 코드 - streaming ssr
  ☆17Aug 14, 2023Updated 2 years ago
• basehangul / basehangul.github.io

  View on GitHub
  한글을 이용한 바이너리 인코딩
  ☆20Dec 21, 2016Updated 9 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.
• heli-os / dependency-injection-framework-in-kotlin

  View on GitHub
  Basics of dependency injection framework
  ☆12Feb 20, 2022Updated 4 years ago
• Dogcument / gssg-assets

  View on GitHub
  글쑤시개 BE | Kotlin | Exposed | Hexagonal
  ☆11Jul 14, 2022Updated 4 years ago
• sopt-makers / soptamp-android

  View on GitHub
  SOPTAMP - SOPT인들을 위한 히스토리 스탬프 콜렉팅 앱
  ☆16Apr 27, 2023Updated 3 years ago
• marpple / FxTS

  View on GitHub
  A functional programming library for TypeScript/JavaScript
  ☆1,165Updated this week
• SoYoung210 / craft

  View on GitHub
  build(or collect) user interfaces of the future what is exciting and challenging to create.
  ☆100Jul 22, 2026Updated 2 weeks ago
• hankes-garden / capacitive_screen

  View on GitHub
  ☆12Jan 18, 2018Updated 8 years ago
• parksb / multilingual-fox

  View on GitHub
  🦊 A simple dictionary extension for Firefox
  ☆14Nov 13, 2024Updated last year