HoTT-categories

(★ 26)

A category theory library built on top of Homotopy Type Theory, by Jason Gross

HoTT-categories 최신버젼 다운로드

최종 버전 다운로드 (.zip)

오늘의 추천 프로젝트

nvm ★ 94,671

Node Version Manager - 여러 개의 활성 node.js 버전을 관리하기 위한 POSIX 준수 bash 스크립트

Shell
deer-flow ★ 80,475

조사, 코딩, 창작을 수행하는 오픈소스 장기(long-horizon) SuperAgent 하네스입니다. 샌드박스, 메모리, 도구, 스킬, 서브에이전트, 메시지 게

Python
OpenHands ★ 84,703

🙌 OpenHands: AI 기반 개발

TypeScript
youtube-dl ★ 140,982

YouTube.com 및 기타 동영상 사이트에서 동영상을 다운로드하는 커맨드라인 프로그램

Python
awesome-mcp-servers ★ 92,652

MCP 서버 모음입니다.
Python-100-Days ★ 185,241

Python - 100天从新手到大师

Jupyter Notebook
// repository documentation