attltb / Lecture-MonadLinks
A whole new approach to teaching monad.
☆54Updated 2 years ago
Alternatives and similar repositories for Lecture-Monad
Users that are interested in Lecture-Monad are comparing it to the libraries listed below
Sorting:
- Improved readability documents of web contents☆67Updated 4 years ago
- 프로그래머를 위한 카테고리 이론 스터디 😇☆56Updated 4 years ago
- [번역] 프로 그래머를 위한 카테고리 이론 (Category Theory for Programmers)☆289Updated 6 years ago
- 누리 : 함수형 한글 프로그래밍 언어☆350Updated 7 months ago
- CS 논문을 한국어로 번역합니다☆270Updated last year
- 2023년 고려대학교 MatKor 스터디 - Rust 기초 프로그래밍 + 인터프리터 만들기☆343Updated 2 years ago
- The Rust Programming Language☆316Updated last year
- 비공식 동행복권 API☆211Updated 2 months ago
- 인터랙티브 3D 요소와 알아가는 양자 컴퓨터의 기본적 원리☆163Updated 4 years ago
- 개발자들이 숙지해야할 한국의 법률을 모았습니다.☆252Updated 2 years ago
- 대한민국 공휴일을 가공한 자료☆441Updated last week
- 🍺 국내 맥주 펍/브루어리 리스트☆145Updated 3 years ago
- Jargon from the functional programming world in simple terms!☆107Updated 7 years ago
- NAVIX(네빅스) Bug Tracker☆208Updated 10 months ago
- (Unofficial) Korean translation of Wladimir Palant's series of writing on vulnerabilities and issues around Korean Security apps.☆483Updated last year
- ☆71Updated 6 years ago
- (주)다음과 부산대학교 인공지능연구실/(주)나라인포테크의 웹 서비스를 이용한 한글 맞춤법 검사기.☆187Updated 2 years ago
- 🇰🇷 터미널 한영전환 실수 방지 플 러그인☆249Updated 2 months ago
- 한글, 자막으로 볼 수 있는 PL 관련 자료들을 정리하는 공간입니다.☆64Updated 3 weeks ago
- PR에 대한 유용한 통계를 산출하는 GitHub Actions☆203Updated 10 months ago
- IT 기술 블로그들의 최신 포스트를 한곳에서 보세요. 기술 블로그 모음, 개발 블로그 모음☆142Updated 4 months ago
- The Rust Programming Language 한국어 번역☆177Updated this week
- (Deprecated) 백준 온라인 저지 문제들에 난이도 붙여 주는 서비스 - 브라우저 플러그인☆130Updated 5 years ago
- 샤빱두비뚜밥 두비두비두비두비 뚜비두밥 사바두비두봐 샤바다 두붸둡 🎷☆110Updated 3 years ago
- 빠르고 매끄러운 한영 전환을 위한 새로운 macOS 입력기☆222Updated 3 weeks ago
- 자소가 분리된 한글 파일명을 고치는 도구☆213Updated 2 months ago
- 2019 카카오 블라인드 공채 2차 오프라인 Elevator 문제입니다.☆180Updated last year
- ☆215Updated 11 months ago
- ☆225Updated 5 years ago
- Happy Campus Life☆241Updated 4 years ago