pilgwon / CategoryTheory
[번역] 프로그래머를 위한 카테고리 이론 (Category Theory for Programmers)
☆288Updated 5 years ago
Alternatives and similar repositories for CategoryTheory:
Users that are interested in CategoryTheory are comparing it to the libraries listed below
- CS 논문을 한국어로 번역합니다☆266Updated 7 months ago
- 해커톤 매뉴얼 : 해커톤을 개최하기 위해 고려해야할 모든 것☆208Updated last year
- 📘 Rules of Play @ RIDI☆248Updated 4 years ago
- Today I Learned☆137Updated last week
- Jargon from the functional programming world in simple terms!☆107Updated 7 years ago
- 개발자를 위한 도커 입문☆194Updated 5 years ago
- HTTP API design guide extracted from work on the Heroku Platform API☆172Updated 10 years ago
- 오픈소스 프로젝트 활동할 때 유용한 영어 표현 모음!☆353Updated 6 years ago
- Awesome Coding Places☆124Updated 4 months ago
- 네이버페이 함수형 프로그래밍, ES6+, Node.js 기술 교육☆159Updated 2 years ago
- 2020 NAVER CAMPUS HACKDAY 참가 주제 및 행사안내☆70Updated 4 years ago
- 🍺 국내 맥주 펍/브루어리 리스트☆146Updated 2 years ago
- 🎴 타짜 곽철용 짤 생성기 - Parody Image Maker for Kwak Cheolyong, who appeared in Korean Movie Tazza(2006)☆204Updated last year
- ktx 취소표 예약 도구 - chrome extension☆114Updated 11 months ago
- 2019 NAVER CAMPUS HACKDAY SUMMER 행사안내☆121Updated 5 years ago
- 개발자들이 숙지해야할 한국의 법률을 모았습니다.☆253Updated last year
- 🇰🇷 터미널 한영전환 실수 방지 플러그인☆167Updated 3 months ago
- Qubit : 대화형 3D 그래픽과 함께 알아가는 양자 컴퓨터의 기본적 원리☆155Updated 3 years ago
- 비공식 동행복권 API☆188Updated last week
- 📦 Archiving various development tips. If you watch this repository, you can get issues related to the newly registered development tip f…☆247Updated 5 years ago
- Official code style guide of Banksalad☆109Updated last year
- 2019 카카오 블라인드 공채 2차 오프라인 Elevator 문제입니다.☆178Updated 6 months ago
- 내가 일주일간 공부하거나 알게된 내용을 공유하는 공간 📱☆159Updated last year
- 리액트 공식문서 파헤치기 시리즈☆120Updated last year
- 비주얼 스튜디오 코드 한스펠(vscode-hanspell)은, (주)다음과 부산대학교 인공지능연구실/(주)나라인포테크의 웹 서비스를 이용해서 한글 맞춤법 검사 기능을 제공하는 비주얼 스튜디오 코드용 익스텐션입니다.☆203Updated 2 years ago
- 레진 마크업(HTML/CSS) 가이드라인☆191Updated 5 years ago
- (Deprecated) 백준 온라인 저지 문제들에 난이도 붙여 주는 서비스 - 브라우저 플러그인☆129Updated 4 years ago
- PR에 대한 유용한 통계를 산출하는 GitHub Actions☆184Updated last month
- various programming practice☆124Updated 2 months ago