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
- Today I Learned☆136Updated this week
- CS 논문을 한국어로 번역합니다☆267Updated 11 months ago
- 개발자들이 숙지해야할 한국의 법률을 모았습니다.☆253Updated last year
- 해커톤 매뉴얼 : 해커톤을 개최하기 위해 고려해야할 모든 것☆207Updated 2 years ago
- Jargon from the functional programming world in simple terms!☆107Updated 7 years ago
- HTTP API design guide extracted from work on the Heroku Platform API☆174Updated 10 years ago
- 📘 Rules of Play @ RIDI☆248Updated 4 years ago
- 🍺 국내 맥주 펍/브루어리 리스트☆145Updated 2 years ago
- 개발자를 위한 도커 입문☆196Updated 5 years ago
- 네이버페이 함수형 프로그래밍, ES6+, Node.js 기술 교육☆160Updated 2 years ago
- Awesome Coding Places☆123Updated 7 months ago
- 🎴 타짜 곽철용 짤 생성기 - Parody Image Maker for Kwak Cheolyong, who appeared in Korean Movie Tazza(2006)☆204Updated 2 years ago
- 오픈소스 프로젝트 활동할 때 유용한 영어 표현 모음!☆353Updated 6 years ago
- 2020 NAVER CAMPUS HACKDAY 참가 주제 및 행사안내☆70Updated 4 years ago
- various programming practice☆125Updated 6 months ago
- 인터랙티브 3D 요소와 알아가는 양 자 컴퓨터의 기본적 원리☆160Updated 3 years ago
- 2019 카카오 블라인드 공채 2차 오프라인 Elevator 문제입니다.☆180Updated 9 months ago
- 📦 Archiving various development tips. If you watch this repository, you can get issues related to the newly registered development tip f…☆245Updated 5 years ago
- 🇰🇷 터미널 한영전환 실수 방지 플러그인☆168Updated 7 months ago
- 비주얼 스튜디오 코드 한스펠(vscode-hanspell)은, (주)다음과 부산대학교 인공지능연구실/(주)나라인포테크의 웹 서비스를 이용해서 한글 맞춤법 검사 기능을 제공하는 비주얼 스튜디오 코드용 익스텐션입니다.☆203Updated 2 years ago
- 2019 NAVER CAMPUS HACKDAY SUMMER 행사안내☆121Updated 5 years ago
- ktx 취소표 예약 도구 - chrome extension☆116Updated last year
- README.md template for your open-source project☆126Updated 7 years ago
- 「GitHub Action을 사용해 새로 올라온 전월세 방 목록 받아보기」 예시 코드☆100Updated 2 years ago
- PR에 대한 유용한 통계를 산출하는 GitHub Actions☆195Updated 4 months ago
- Korean translation of What-happens-when (https://github.com/alex/what-happens-when)☆180Updated 7 months ago
- archive☆94Updated 6 years ago
- 비공식 동행복권 API☆200Updated 3 months ago
- 리액트 공식문서 파헤치기 시리즈☆121Updated last year
- 당근마켓 공개 지식 저장소☆364Updated 2 years ago