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
  ☆68Updated 5 years ago
• sudopark / category-theory-for-programmers-study
  프로그래머를 위한 카테고리 이론 스터디 😇
  ☆59Updated 4 years ago
• pilgwon / CategoryTheory
  [번역] 프로그래머를 위한 카테고리 이론 (Category Theory for Programmers)
  ☆289Updated 6 years ago
• parksb / papers-i-love
  CS 논문을 한국어로 번역합니다
  ☆270Updated last year
• suhdonghwi / nuri
  누리 : 함수형 한글 프로그래밍 언어
  ☆352Updated 10 months ago
• alstn2468 / category-theory-for-programmers
  🚧 WIP: Bartosz Milewski's "Category Theory for Programmers" Korean translation 📚
  ☆52Updated 3 years ago
• utilForever / 2023-MatKor-Rust-Interpreter
  2023년 고려대학교 MatKor 스터디 - Rust 기초 프로그래밍 + 인터프리터 만들기
  ☆346Updated 2 years ago
• alanleedev / KoreaSecurityApps
  (Unofficial) Korean translation of Wladimir Palant's series of writing on vulnerabilities and issues around Korean Security apps.
  ☆482Updated last year
• utilForever / 2022-Korea-Rust-Backend
  2022년 고려대학교 Google Developer Student Clubs 스터디 - Rust 기초 프로그래밍 + Backend 개발
  ☆155Updated 2 years ago
• hyuunnn / awesome-pl-kor
  한글, 자막으로 볼 수 있는 PL 관련 자료들을 정리하는 공간입니다.
  ☆65Updated 4 months ago
• roeniss / dhlottery-api
  비공식 동행복권 API
  ☆217Updated 2 weeks ago
• suhdonghwi / qubit
  인터랙티브 3D 요소와 알아가는 양자 컴퓨터의 기본적 원리
  ☆163Updated 4 years ago
• sphilee / functional-programming-jargon
  Jargon from the functional programming world in simple terms!
  ☆107Updated 8 years ago
• hsh2001 / kor-law-for-dev
  개발자들이 숙지해야할 한국의 법률을 모았습니다.
  ☆253Updated 2 years ago
• rinthel / rust-lang-book-ko
  The Rust Programming Language
  ☆317Updated last year
• indongyoo / functional-javascript-02
  ☆72Updated 6 years ago
• gomjellie / zsh-hangul
  🇰🇷 터미널 한영전환 실수 방지 플러그인
  ☆268Updated 6 months ago
• rkm0959 / Number_Theory_in_CP_PS
  CP, PS 정수론을 위한 가이드
  ☆171Updated 4 years ago
• 9beach / hanspell
  (주)다음과 부산대학교 인공지능연구실/(주)나라인포테크의 웹 서비스를 이용한 한글 맞춤법 검사기.
  ☆187Updated 2 years ago
• hyunbinseo / jamoya.one
  자소가 분리된 한글 파일명을 고치는 도구
  ☆218Updated 5 months ago
• xvzc / boj-cli
  백준 온라인저지 커맨드라인 인터페이스
  ☆90Updated 3 months ago
• naen-nae / naen-nae
  광고 없이 상업적으로 이용할 수 있는 한글 폰트 모음 (Hangul Font Collection that can be used Commercially without Ads)
  ☆139Updated 3 years ago
• hyunbinseo / holidays-kr
  대한민국 공휴일을 가공한 자료
  ☆457Updated 3 weeks ago
• solved-ac / plugin
  (Deprecated) 백준 온라인 저지 문제들에 난이도 붙여 주는 서비스 - 브라우저 플러그인
  ☆129Updated 5 years ago
• eGovFramework / egovframe-template-simple-backend
  ☆86Updated 3 months ago
• pg-vscode-extn-kr / pg-vscode-extn-kr.github.io
  VS Code extension api 공식 문서의 한글 번역입니다.
  ☆23Updated 3 years ago
• justiceHui / Sunrin-SHARC
  선린 알고리즘 연구반(구 정올반, Sunrin High-school Algorithm Research Club) 수업 자료
  ☆101Updated 2 years ago
• integraldx / HowToSNUCSE
  고인물들은 무엇을 아는가
  ☆145Updated 5 years ago
• NaverCloudPlatform / Navix
  NAVIX(네빅스) Bug Tracker
  ☆211Updated last year
• utilForever / 2023-UNIST-Rust-Minecraft
  2023년 UNIST HeXA 스터디 - Rust 기초 프로그래밍 + 마인크래프트 만들기
  ☆112Updated 11 months ago