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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 프로그래머를 위한 카테고리 이론 스터디 😇☆58Apr 17, 2026Updated 5 months ago
- Improved readability documents of web contents☆69Dec 5, 2020Updated 5 years ago
- a type-safe utility library for functional programming.☆15Apr 6, 2025Updated last year
- ☆10Dec 12, 2023Updated 2 years ago
- ☆35Nov 7, 2025Updated 11 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Natural 🌿 effect system that fits TypeScript☆62Aug 22, 2024Updated 2 years ago
- 2023 Momenti Study - Structure and Interpretation of Computer Programs: Rust Edition☆10Jan 4, 2023Updated 3 years ago
- EOPL in Haskell☆55Sep 30, 2026Updated last week
- Beamwarden daemon-first Elixir control plane☆27Apr 4, 2026Updated 6 months ago
- An example application for sdl2.☆25Feb 19, 2022Updated 4 years ago
- toss.tech 페이지와 router를 구현하는 과정을 기록합니다.☆11Jan 3, 2024Updated 2 years ago
- 도장 및 서명을 svg 형태로 생성하기 위한 라이브러리 입니다.☆11Dec 5, 2022Updated 3 years ago
- Raspberry pi 4 4개를 이용해서 클러스터 환경을 공부하는 레포☆19Jun 6, 2023Updated 3 years ago
- A functional programming library for TypeScript/JavaScript☆1,169Aug 29, 2026Updated last month
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- SB Coding Workshop☆17Jun 6, 2026Updated 4 months ago
- https://github.com/gothinkster/realworld☆37Dec 5, 2025Updated 10 months ago
- Text to GIF converter☆11Feb 17, 2025Updated last year
- Mostly adequate guide to FP (in javascript, translated to korean)☆23May 31, 2023Updated 3 years ago
- Reading becomes a knowledge diff — claims, evidence, and how new information changes what you know.☆18Sep 20, 2026Updated 3 weeks ago
- 📘 Typescript Functional Programming with fp-ts 🤖☆24May 10, 2022Updated 4 years ago
- Todo📆 application created using Recoil and React ⚛️☆18Mar 26, 2024Updated 2 years ago
- functional spreadsheet programming☆24Mar 30, 2025Updated last year
- 16비트 도스 시절에 사용했던 구닥다리 8x4x4 조합글꼴을 트루타입 등으로 변환☆77Sep 26, 2026Updated 2 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Using cabal-install as SAT solver☆13Aug 29, 2023Updated 3 years ago
- C Compiler using Lex and Yacc tools☆13Dec 15, 2017Updated 8 years ago
- Utility Types to quickly query and Omit, Pick keys inside nested arrays and objects☆64Feb 20, 2026Updated 7 months ago
- a SplineCamera react component☆14Feb 18, 2024Updated 2 years ago
- ☆12Jun 19, 2025Updated last year
- 2023년 고려대학교 MatKor 스터디 - Rust로 컴파일러 만들기☆27Oct 15, 2023Updated 2 years ago
- A curated list of awesome things related to the SWC project☆40Jul 26, 2024Updated 2 years ago
- ELK 튜토리얼☆11Mar 15, 2023Updated 3 years ago
- TCP 혼잡 제어 시 윈도우 크기가 진짜 평행상태로 수렴 하는지 확인하기위한 데모☆11Nov 28, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A project to automatically generate program repair recommendation in the field of smart contracts for given code snippets with their cont…☆16Aug 30, 2025Updated last year
- Pomodoro TUI made in Haskell☆15Aug 26, 2026Updated last month
- A Markdown to HTML compiler written in Haskell.☆17Apr 15, 2024Updated 2 years ago
- programming language that can compiled to any languages☆14Apr 11, 2021Updated 5 years ago
- Embedded-first ActivityPub server framework☆24Sep 30, 2026Updated 2 weeks ago
- 함수형 프로그래밍과 ES6+ 강의 연습문제☆19Apr 16, 2019Updated 7 years ago
- Convert mp3 file to hls streaming specifications.☆11Dec 29, 2019Updated 6 years ago