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 논문을 한국어로 번역합니다
  ☆270Updated last year
• ahastudio / til
  Today I Learned
  ☆138Updated this week
• OpenMogaco / awesome-coding-places
  Awesome Coding Places
  ☆122Updated last month
• hsh2001 / kor-law-for-dev
  개발자들이 숙지해야할 한국의 법률을 모았습니다.
  ☆252Updated 2 years ago
• EngForDev / awesome-engfordev
  오픈소스 프로젝트 활동할 때 유용한 영어 표현 모음!
  ☆353Updated 6 years ago
• sphilee / functional-programming-jargon
  Jargon from the functional programming world in simple terms!
  ☆107Updated 7 years ago
• KMU-OSS-Laboratory / Hackathon-Manual
  해커톤 매뉴얼 : 해커톤을 개최하기 위해 고려해야할 모든 것
  ☆207Updated 2 years ago
• resten1497 / awesome-beer
  🍺 국내 맥주 펍/브루어리 리스트
  ☆145Updated 2 years ago
• banksalad / styleguide
  Official code style guide of Banksalad
  ☆109Updated 2 months ago
• voyagerwoo / docker-hands-on
  개발자를 위한 도커 입문
  ☆197Updated 5 years ago
• gomjellie / zsh-hangul
  🇰🇷 터미널 한영전환 실수 방지 플러그인
  ☆247Updated last month
• heejongahn / tinkerbell-template
  「GitHub Action을 사용해 새로 올라온 전월세 방 목록 받아보기」 예시 코드
  ☆98Updated 2 years ago
• wormwlrm / kwakcheolyong
  🎴 타짜 곽철용 짤 생성기 - Parody Image Maker for Kwak Cheolyong, who appeared in Korean Movie Tazza(2006)
  ☆205Updated 2 years ago
• yoondo / http-api-design
  HTTP API design guide extracted from work on the Heroku Platform API
  ☆175Updated 11 years ago
• indongyoo / NAVER-Pay-functional-js
  네이버페이 함수형 프로그래밍, ES6+, Node.js 기술 교육
  ☆161Updated 2 years ago
• kciter / jazzlang
  샤빱두비뚜밥 두비두비두비두비 뚜비두밥 사바두비두봐 샤바다 두붸둡 🎷
  ☆110Updated 2 years ago
• suhdonghwi / nuri
  누리 : 함수형 한글 프로그래밍 언어
  ☆349Updated 6 months ago
• NAVER-CAMPUS-HACKDAY-2019s / common
  2019 NAVER CAMPUS HACKDAY SUMMER 행사안내
  ☆120Updated 6 years ago
• solved-ac / plugin
  (Deprecated) 백준 온라인 저지 문제들에 난이도 붙여 주는 서비스 - 브라우저 플러그인
  ☆130Updated 5 years ago
• 9beach / vscode-hanspell
  비주얼 스튜디오 코드 한스펠(vscode-hanspell)은, (주)다음과 부산대학교 인공지능연구실/(주)나라인포테크의 웹 서비스를 이용해서 한글 맞춤법 검사 기능을 제공하는 비주얼 스튜디오 코드용 익스텐션입니다.
  ☆203Updated 2 years ago
• CoderK / What-I-Learned-About-RP
  리액티브 프로그래밍과 함수형 리액티브 프로그래밍에 대해서 학습했던 자료 모음.
  ☆103Updated 8 years ago
• kakao-recruit / 2019-blind-2nd-elevator
  2019 카카오 블라인드 공채 2차 오프라인 Elevator 문제입니다.
  ☆180Updated last year
• NAVER-CAMPUS-HACKDAY / common
  2019 NAVER CAMPUS HACKDAY WINTER 참가 주제 및 행사안내
  ☆59Updated 6 years ago
• Gyubin / TIL
  Today I Learned. Daily commit.
  ☆117Updated 7 years ago
• suhdonghwi / qubit
  인터랙티브 3D 요소와 알아가는 양자 컴퓨터의 기본적 원리
  ☆163Updated 4 years ago
• jthcast / techblogposts
  IT 기술 블로그들의 최신 포스트를 한곳에서 보세요. 기술 블로그 모음, 개발 블로그 모음
  ☆141Updated 3 months ago
• 2020-NAVER-CAMPUS-HACKDAY / Influencer
  🧏🏻 간단한 사용자 인터랙션을 통한 상품 추천 및 전시 개발 (a.k.a 쇼핑의 신) 🚚
  ☆110Updated 2 years ago
• jong-hui / JuJeob
  주접떠는 사이트
  ☆60Updated 3 years ago
• roeniss / dhlottery-api
  비공식 동행복권 API
  ☆209Updated last month
• banksalad / awesome-banksalad
  A curated list of awesome Banksalad style
  ☆289Updated last year