Alternatives and similar repositories for CategoryTheory

Users that are interested in CategoryTheory are comparing it to the libraries listed below

• parksb / papers-i-love
  CS 논문을 한국어로 번역합니다
  ☆269Updated last year
• KMU-OSS-Laboratory / Hackathon-Manual
  해커톤 매뉴얼 : 해커톤을 개최하기 위해 고려해야할 모든 것
  ☆207Updated 2 years ago
• hsh2001 / kor-law-for-dev
  개발자들이 숙지해야할 한국의 법률을 모았습니다.
  ☆253Updated 2 years ago
• resten1497 / awesome-beer
  🍺 국내 맥주 펍/브루어리 리스트
  ☆145Updated 2 years ago
• ridi / style-guide
  📘 Rules of Play @ RIDI
  ☆248Updated 5 years ago
• yoondo / http-api-design
  HTTP API design guide extracted from work on the Heroku Platform API
  ☆175Updated 10 years ago
• voyagerwoo / docker-hands-on
  개발자를 위한 도커 입문
  ☆196Updated 5 years ago
• 2020-NAVER-CAMPUS-HACKDAY / common
  2020 NAVER CAMPUS HACKDAY 참가 주제 및 행사안내
  ☆70Updated 5 years ago
• sphilee / functional-programming-jargon
  Jargon from the functional programming world in simple terms!
  ☆107Updated 7 years ago
• ahastudio / til
  Today I Learned
  ☆138Updated 2 weeks ago
• EngForDev / awesome-engfordev
  오픈소스 프로젝트 활동할 때 유용한 영어 표현 모음!
  ☆352Updated 6 years ago
• indongyoo / NAVER-Pay-functional-js
  네이버페이 함수형 프로그래밍, ES6+, Node.js 기술 교육
  ☆160Updated 2 years ago
• OpenMogaco / awesome-coding-places
  Awesome Coding Places
  ☆123Updated 8 months ago
• im-d-team / Dev-Docs
  내가 일주일간 공부하거나 알게된 내용을 공유하는 공간 📱
  ☆164Updated 2 years ago
• wormwlrm / kwakcheolyong
  🎴 타짜 곽철용 짤 생성기 - Parody Image Maker for Kwak Cheolyong, who appeared in Korean Movie Tazza(2006)
  ☆204Updated 2 years ago
• NAVER-CAMPUS-HACKDAY-2019s / common
  2019 NAVER CAMPUS HACKDAY SUMMER 행사안내
  ☆121Updated 5 years ago
• kakao-recruit / 2019-blind-2nd-elevator
  2019 카카오 블라인드 공채 2차 오프라인 Elevator 문제입니다.
  ☆180Updated 10 months ago
• NAVER-CAMPUS-HACKDAY / common
  2019 NAVER CAMPUS HACKDAY WINTER 참가 주제 및 행사안내
  ☆59Updated 5 years ago
• roeniss / dhlottery-api
  비공식 동행복권 API
  ☆202Updated this week
• WeareSoft / archive
  archive
  ☆94Updated 6 years ago
• banksalad / awesome-banksalad
  A curated list of awesome Banksalad style
  ☆286Updated last year
• SantonyChoi / what-happens-when-KR
  Korean translation of What-happens-when (https://github.com/alex/what-happens-when)
  ☆180Updated 8 months ago
• gomjellie / zsh-hangul
  🇰🇷 터미널 한영전환 실수 방지 플러그인
  ☆169Updated 8 months ago
• suhdonghwi / qubit
  인터랙티브 3D 요소와 알아가는 양자 컴퓨터의 기본적 원리
  ☆160Updated 4 years ago
• kciter / jazzlang
  샤빱두비뚜밥 두비두비두비두비 뚜비두밥 사바두비두봐 샤바다 두붸둡 🎷
  ☆112Updated 2 years ago
• JSpiner / RESUME
  이력서 (RESUME)
  ☆288Updated last month
• banksalad / styleguide
  Official code style guide of Banksalad
  ☆110Updated last year
• youngjin-k / ktx-macro
  ktx 취소표 예약 도구 - chrome extension
  ☆116Updated last year
• gyuwon / TDDHandsOn
  Fast campus 강의 '현실 세상의 TDD' 실습에 사용된 예제 코드를 제공합니다.
  ☆185Updated 2 years ago
• honux77 / practice
  various programming practice
  ☆125Updated 7 months ago