attltb / Lecture-Monad
A whole new approach to teaching monad.
☆48Updated last year
Related projects ⓘ
Alternatives and complementary repositories for Lecture-Monad
- Improved readability documents of web contents☆64Updated 3 years ago
- 프로그래머를 위한 카테고리 이론 스터디 😇☆49Updated 3 years ago
- [번역] 프로그래머를 위한 카테고리 이론 (Category Theory for Programmers)☆287Updated 5 years ago
- Qubit : 대화형 3D 그래픽과 함께 알아가는 양자 컴퓨터의 기본적 원리☆152Updated 3 years ago
- 샤빱두비뚜밥 두비두비두비두비 뚜비두밥 사바두비두봐 샤바다 두붸둡 🎷☆111Updated 2 years ago
- Jargon from the functional programming world in simple terms!☆107Updated 6 years ago
- CS 논문을 한국어로 번역합니다☆261Updated 5 months ago
- 슈숙 언어는 Brainfuck의 방언입니다.☆83Updated 3 years ago
- 🍺 국내 맥주 펍/브루어리 리스트☆143Updated 2 years ago
- 🍴 국내 레스토랑 맛집 리스트☆62Updated 2 years ago
- INFCON 2022 - Rust 크로스 플랫폼 프로그래밍 발표 자료 및 예제 코드☆59Updated 2 years ago
- 🇰🇷 터미널 한영전환 실수 방지 플러그인☆166Updated last month
- 동물의 숲 NPC 목소리로 문장을 읽어주는 프로그램입니다.☆119Updated 2 years ago
- 개발자 채팅방☆124Updated last year
- D2Coding + D2Coding Subset☆39Updated 4 years ago
- ☆70Updated 5 years ago
- The Rust Programming Language 한국어 번역☆136Updated 3 weeks ago
- 📮 Unofficial library for THE CAMP, an army communication service☆88Updated last year
- 비주얼 스튜디오 코드 한스펠(vscode-hanspell)은, (주)다음과 부산대학교 인공지능연구실/(주)나라인포테크의 웹 서비스를 이용해서 한글 맞춤법 검사 기능을 제공하는 비주얼 스튜디오 코드용 익스텐션입니다.☆203Updated last year
- (Deprecated) 백준 온라인 저지 문제들에 난이도 붙여 주는 서비스 - 브라우저 플러그인☆128Updated 4 years ago
- 국회의원 후원금사용내역을 기반으로 한 검증된 맛집지도☆84Updated 8 months ago
- 2023년 UNIST HeXA 스터디 - Rust 기초 프로그래밍 + 마인크래프트 만들기☆99Updated last month
- 케플러 방정식을 이용한 태양계 행성들의 궤도 계산 시뮬레이터☆63Updated last year
- my wiki☆75Updated this week
- Today I Learned☆138Updated last week
- (주)다음과 부산대학교 인공지능연구실/(주)나라인포테크의 웹 서비스를 이용한 한글 맞춤법 검사기.☆149Updated last year
- Awesome 들을 모아놓은 Awesome 리스트들만 다시 모아서 태깅한 Awesome☆56Updated 4 years ago
- ktx 취소표 예약 도구 - chrome extension☆112Updated 9 months ago
- 광고 없이 상업적으로 이용할 수 있는 한글 폰트 모음 (Hangul Font Collection that can be used Commercially without Ads)☆138Updated 2 years ago
- 슬기로운 개발 생활☆81Updated 2 years ago