attltb / Lecture-Monad
A whole new approach to teaching monad.
☆53Updated 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
- Improved readability documents of web contents☆66Updated 4 years ago
- 프로그래머를 위한 카테고리 이론 스터디 😇☆54Updated 4 years ago
- CS 논문을 한국어로 번역합니다☆266Updated 10 months ago
- [번역] 프로그래머를 위한 카테고리 이론 (Category Theory for Programmers)☆288Updated 5 years ago
- 인터랙티브 3D 요소와 알아가는 양자 컴퓨터의 기본적 원리☆160Updated 3 years ago
- ☆71Updated 5 years ago
- 샤빱두비뚜밥 두비두비두비두비 뚜비두밥 사바두비두봐 샤바다 두붸둡 🎷☆111Updated 2 years ago
- 비주얼 스튜디오 코드 한스펠(vscode-hanspell)은, (주)다음과 부산대학교 인공지능연구실/(주)나라인포테크의 웹 서비스를 이용해서 한글 맞춤법 검사 기능을 제공하는 비주얼 스튜디오 코드용 익스텐션입니다.☆203Updated 2 years ago
- The Rust Programming Language 한국어 번역☆161Updated last month
- 비공식 동행복권 API☆198Updated 3 months ago
- Jargon from the functional programming world in simple terms!☆107Updated 7 years ago
- Today I Learned☆136Updated this week
- 국회의원 후원금사용내역을 기반으로 한 검증된 맛집지도☆85Updated last year
- The translation of cli-guidelines/cli-guidelines (a.k.a. clig.dev)☆70Updated 2 months ago
- 네이버페이 함수형 프로그래밍, ES6+, Node.js 기술 교육☆160Updated 2 years ago
- 🍺 국내 맥주 펍/브루어리 리스트☆145Updated 2 years ago
- 광고 없이 상업적으로 이용할 수 있는 한글 폰트 모음 (Hangul Font Collection that can be used Commercially without Ads)☆138Updated 3 years ago
- 동물의 숲 NPC 목소리로 문장을 읽어주는 프로그램입니다.☆128Updated 2 years ago
- (Deprecated) 백준 온라인 저지 문제들에 난이도 붙여 주는 서비스 - 브라우저 플러그인☆130Updated 4 years ago
- (주)다음과 부산대학교 인공지능연구실/(주)나라인포테크의 웹 서비스를 이용한 한글 맞춤법 검사기.☆163Updated 2 years ago
- my wiki☆73Updated this week
- INFCON 2022 - Rust 크로스 플랫폼 프로그래밍 발표 자료 및 예제 코드☆60Updated 2 years ago
- 컨테이너 기술 공부☆32Updated this week
- 놀라운 예제들을 통해서 파이썬을 탐험하고 이해해보세요!☆133Updated 3 years ago
- 선린 알고리즘 연구반(구 정올반, Sunrin High-school Algorithm Research Club) 수업 자료☆101Updated 2 years ago
- C언어 기본서 오픈 집필 (오탈자, 내용 문제 등 신고 환영합니다.)☆77Updated last year
- 개발자 채팅방☆124Updated 2 years ago
- 해커톤 매뉴얼 : 해커톤을 개최하기 위해 고려해야할 모든 것☆207Updated 2 years ago
- 리액트 공식문서 파헤치기 시리즈☆121Updated last year
- Assign R&R to AI to proceed with programming tasks☆130Updated last year