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 4 months ago
- ☆10Dec 12, 2023Updated 2 years ago
- ☆35Nov 7, 2025Updated 9 months ago
- 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
- 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.
- EOPL in Haskell☆54Jun 18, 2026Updated 2 months ago
- An example application for sdl2.☆25Feb 19, 2022Updated 4 years ago
- ☆14Feb 26, 2024Updated 2 years ago
- toss.tech 페이지와 router를 구현하는 과정을 기록합니다.☆11Jan 3, 2024Updated 2 years ago
- 도장 및 서명을 svg 형태로 생성하기 위한 라이브러리 입니다.☆11Dec 5, 2022Updated 3 years ago
- HTTP/1.1 client library for OCaml☆16Apr 28, 2020Updated 6 years ago
- A functional programming library for TypeScript/JavaScript☆1,167Updated this week
- Introduction to Functional Programming (Korean)☆36Feb 18, 2024Updated 2 years ago
- Text to GIF converter☆11Feb 17, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Mostly adequate guide to FP (in javascript, translated to korean)☆23May 31, 2023Updated 3 years ago
- 마음을 잇는 현명한 소비 '잇다'🤝☆17Nov 25, 2021Updated 4 years ago
- 📘 Typescript Functional Programming with fp-ts 🤖☆24May 10, 2022Updated 4 years ago
- Web API based Front-end SDK☆220Nov 13, 2025Updated 9 months ago
- 16비트 도스 시절에 사용했던 구닥다리 8x4x4 조합글꼴을 트루타입 등으로 변환☆77Updated this week
- An eDSL for MirageOS apps☆20Jul 30, 2018Updated 8 years ago
- Using cabal-install as SAT solver☆13Aug 29, 2023Updated 3 years ago
- [번역] 프로그래머를 위한 카테고리 이론 (Category Theory for Programmers)☆287Jun 17, 2019Updated 7 years ago
- C Compiler using Lex and Yacc tools☆13Dec 15, 2017Updated 8 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Utility Types to quickly query and Omit, Pick keys inside nested arrays and objects☆64Feb 20, 2026Updated 6 months ago
- 대덕SW마이스터고등학교 신입생을 위한 전공 공부 가이드입니다.☆24May 10, 2025Updated last year
- 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
- 네오빔에서의 루아(Lua) 사용 가이드☆79Dec 17, 2023Updated 2 years ago
- 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
- programming language that can compiled to any languages☆14Apr 11, 2021Updated 5 years ago
- 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.
- ☆12Jan 27, 2025Updated last year
- Deep learning framework in Rust and Python☆10Apr 14, 2026Updated 4 months ago
- 한글, 자막으로 볼 수 있는 PL 관련 자료들을 정리하는 공간입니다.☆68Mar 3, 2026Updated 6 months ago
- A cross-platform dotfiles manager☆15Jul 30, 2026Updated last month
- A Haskell Collections library. [WIP]☆15Apr 7, 2024Updated 2 years ago
- A toy nanopass compiler for x86 written in lean☆15Oct 25, 2025Updated 10 months ago
- 아레나 개최 매뉴얼☆22Sep 2, 2024Updated 2 years ago