Alternatives and similar repositories for Lecture-Monad

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

• black7375 / ReadabilityDocs
  Improved readability documents of web contents
  ☆67Updated 4 years ago
• sudopark / category-theory-for-programmers-study
  프로그래머를 위한 카테고리 이론 스터디 😇
  ☆59Updated 4 years ago
• pilgwon / CategoryTheory
  [번역] 프로그래머를 위한 카테고리 이론 (Category Theory for Programmers)
  ☆288Updated 6 years ago
• parksb / papers-i-love
  CS 논문을 한국어로 번역합니다
  ☆270Updated last year
• suhdonghwi / nuri
  누리 : 함수형 한글 프로그래밍 언어
  ☆352Updated 8 months ago
• utilForever / 2023-MatKor-Rust-Interpreter
  2023년 고려대학교 MatKor 스터디 - Rust 기초 프로그래밍 + 인터프리터 만들기
  ☆344Updated 2 years ago
• rinthel / rust-lang-book-ko
  The Rust Programming Language
  ☆316Updated last year
• roeniss / dhlottery-api
  비공식 동행복권 API
  ☆214Updated 4 months ago
• alanleedev / KoreaSecurityApps
  (Unofficial) Korean translation of Wladimir Palant's series of writing on vulnerabilities and issues around Korean Security apps.
  ☆484Updated last year
• hyunbinseo / holidays-kr
  대한민국 공휴일을 가공한 자료
  ☆449Updated last month
• hsh2001 / kor-law-for-dev
  개발자들이 숙지해야할 한국의 법률을 모았습니다.
  ☆252Updated 2 years ago
• moreal / cli-guidelines-kr
  The translation of cli-guidelines/cli-guidelines (a.k.a. clig.dev)
  ☆71Updated 6 months ago
• gomjellie / zsh-hangul
  🇰🇷 터미널 한영전환 실수 방지 플러그인
  ☆256Updated 4 months ago
• indongyoo / functional-javascript-02
  ☆72Updated 6 years ago
• suhdonghwi / qubit
  인터랙티브 3D 요소와 알아가는 양자 컴퓨터의 기본적 원리
  ☆165Updated 4 years ago
• NaverCloudPlatform / Navix
  NAVIX(네빅스) Bug Tracker
  ☆211Updated 11 months ago
• rust-kr / doc.rust-kr.org
  The Rust Programming Language 한국어 번역
  ☆181Updated last month
• jthcast / techblogposts
  IT 기술 블로그들의 최신 포스트를 한곳에서 보세요. 기술 블로그 모음, 개발 블로그 모음
  ☆142Updated 5 months ago
• utilForever / 2022-Korea-Rust-Backend
  2022년 고려대학교 Google Developer Student Clubs 스터디 - Rust 기초 프로그래밍 + Backend 개발
  ☆155Updated 2 years ago
• kiding / SokIM
  빠르고 매끄러운 한영 전환을 위한 새로운 macOS 입력기
  ☆227Updated last month
• KMU-OSS-Laboratory / Hackathon-Manual
  해커톤 매뉴얼 : 해커톤을 개최하기 위해 고려해야할 모든 것
  ☆205Updated 2 years ago
• Hikai / system-design-primer
  Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
  ☆38Updated 5 years ago
• kakao-recruit / 2019-blind-2nd-elevator
  2019 카카오 블라인드 공채 2차 오프라인 Elevator 문제입니다.
  ☆181Updated last year
• sphilee / functional-programming-jargon
  Jargon from the functional programming world in simple terms!
  ☆107Updated 7 years ago
• pjhwa / linux-engineers
  ☆228Updated 5 years ago
• voyagerwoo / docker-hands-on
  개발자를 위한 도커 입문
  ☆197Updated 6 years ago
• samchon / resume
  ☆65Updated 2 years ago
• kciter / jazzlang
  샤빱두비뚜밥 두비두비두비두비 뚜비두밥 사바두비두봐 샤바다 두붸둡 🎷
  ☆110Updated 3 years ago
• samchon / fake-iamport-server
  Fake Iamport Server with Real SDK
  ☆89Updated 2 years ago
• yoondo / http-api-design
  HTTP API design guide extracted from work on the Heroku Platform API
  ☆176Updated 11 years ago