attltb/Lecture-Monad 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

attltb/Lecture-Monad

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/attltb/Lecture-Monad)

Close

attltb / Lecture-MonadView on GitHubMore

• External links
• Readme badge

A whole new approach to teaching monad.

☆55Nov 28, 2022Updated 3 years ago

Alternatives and similar repositories for Lecture-Monad

Users that are interested in Lecture-Monad are comparing it to the libraries listed below

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

  View on GitHub
  프로그래머를 위한 카테고리 이론 스터디 😇
  ☆58Feb 7, 2021Updated 5 years ago
• kwanghoon / Lecture_EOPL

  View on GitHub
  EOPL in Haskell
  ☆22Feb 13, 2026Updated 3 weeks ago
• black7375 / ReadabilityDocs

  View on GitHub
  Improved readability documents of web contents
  ☆68Dec 5, 2020Updated 5 years ago
• plwiki / plwiki.github.io

  View on GitHub
  ☆36Nov 7, 2025Updated 3 months 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
• jbl428 / functional-programming

  View on GitHub
  TypeScript 와 fp-ts 를 활용한 함수형 프로그래밍 소개
  ☆31Aug 27, 2025Updated 6 months ago
• damhiya / MetaLambda

  View on GitHub
  ☆14Feb 26, 2024Updated 2 years ago
• MostlyAdequate / mostly-adequate-guide-kr

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

  View on GitHub
  Raspberry pi 4 4개를 이용해서 클러스터 환경을 공부하는 레포
  ☆20Jun 6, 2023Updated 2 years ago
• alstn2468 / getting-started-fp-ts

  View on GitHub
  📘 Typescript Functional Programming with fp-ts 🤖
  ☆24May 10, 2022Updated 3 years ago
• utilForever / 2023-MatKor-Rust-Compiler

  View on GitHub
  2023년 고려대학교 MatKor 스터디 - Rust로 컴파일러 만들기
  ☆25Oct 15, 2023Updated 2 years ago
• eclipse-edc / FederatedCatalog

  View on GitHub
  FederatedCatalog
  ☆12Updated this week
• alstn2468 / functional-programming

  View on GitHub
  Introduction to Functional Programming (Korean)
  ☆35Feb 18, 2024Updated 2 years ago
• marpple / FxTS

  View on GitHub
  A functional programming library for TypeScript/JavaScript
  ☆1,152Feb 19, 2026Updated 2 weeks ago
• swc-contrib / awesome-swc

  View on GitHub
  A curated list of awesome things related to the SWC project
  ☆40Jul 26, 2024Updated last year
• ketaro01 / sign-generator

  View on GitHub
  도장 및 서명을 svg 형태로 생성하기 위한 라이브러리 입니다.
  ☆11Dec 5, 2022Updated 3 years ago
• hayrullahcansu / nlog-kafka-target

  View on GitHub
  nlog appender for kafka which provides the custom topics pattern and partitions
  ☆11Nov 10, 2025Updated 3 months ago
• pal04lto / tenda_cp3_hacking

  View on GitHub
  this is how tenda's camera was pwned
  ☆18Jun 3, 2025Updated 9 months ago
• gregberns / LanguageExtCommon

  View on GitHub
  ☆11Dec 14, 2020Updated 5 years ago
• Redstone-Compiler / redstone-compiler

  View on GitHub
  Minecraft Redstone Compiler
  ☆14Feb 9, 2025Updated last year
• mrchypark / mrchypark.github.io

  View on GitHub
  Personal website for Chanyub Park.
  ☆10Apr 22, 2023Updated 2 years ago
• ironcev-talks / the-why-and-how-of-csharp-9.0

  View on GitHub
  The Why and How of C# 9.0
  ☆11Apr 7, 2021Updated 4 years ago
• civilizeddev / fanuc-focas

  View on GitHub
  JNA wrapper for Fanuc FOCAS API
  ☆11Sep 6, 2021Updated 4 years ago
• ganadist / cgv_reservation

  View on GitHub
  ☆37Apr 18, 2013Updated 12 years ago
• J-Bax / CSharpBenchmarkExamples

  View on GitHub
  Experiments in running tasks
  ☆15May 22, 2023Updated 2 years ago
• indeedeng / iwf-golang-samples

  View on GitHub
  samples for iWF-Golang-SDK
  ☆13Apr 24, 2025Updated 10 months ago
• simplesolutiondev / spring-boot-generate-pdf

  View on GitHub
  Spring Boot Generate PDF File from HTML Template
  ☆13Dec 5, 2021Updated 4 years ago
• googleapis / nodejs-paginator

  View on GitHub
  A result paging utility used by Google node.js modules
  ☆11Feb 12, 2026Updated 3 weeks ago
• sketchpunklabs / tetris

  View on GitHub
  ☆12Jan 27, 2025Updated last year
• umati / Showcase

  View on GitHub
  umati Showcase Specification
  ☆12Jan 12, 2026Updated last month
• TheOpenCloudEngine / uEngine-cloud-k8s

  View on GitHub
  ☆13Jan 7, 2023Updated 3 years ago
• dahlia / dojang

  View on GitHub
  A cross-platform dotfiles manager
  ☆14Jan 19, 2026Updated last month
• sunghun7511 / how2heap-study

  View on GitHub
  [Forked] This repo is for learning various heap exploitation techniques.
  ☆10Sep 6, 2018Updated 7 years ago
• agl / libdjb

  View on GitHub
  A massaging of DJB's various client libraries into something that's easy to build and use
  ☆14Aug 20, 2008Updated 17 years ago
• mumu12641 / strawberry

  View on GitHub
  🍓 A toy object-oriented programming language written by rust
  ☆17Apr 10, 2024Updated last year
• MeroZemory / ida-multi-mcp

  View on GitHub
  Multi-instance IDA Pro MCP server — analyze multiple binaries simultaneously through a single MCP endpoint.
  ☆39Updated this week
• lastdotnet / Awesome-Last

  View on GitHub
  A collection of tools, documents, articles, blog posts, interviews, videos and many others!
  ☆14Oct 10, 2024Updated last year
• manoflearning / cranberry

  View on GitHub
  Deep learning framework in Rust and Python
  ☆10Dec 18, 2025Updated 2 months ago
• protocol-security / fuzztools

  View on GitHub
  Struct-aware fuzzing framework + some fuzzers
  ☆30Jan 28, 2026Updated last month