HoTT/Coq-HoTT

A Coq library for Homotopy Type Theory

homotopy-type-theorytype-theoryunivalent-foundations

License & maintenance

Custom or modified license that GitHub does not recognise: read the LICENSE file in the repository before using it in a product.

Last code push 12 days ago.

	Repository	Stars	Language	License	Activity
1	996icu/996.ICURepo for counting stars and contributing. Press F to pay respect to glorious developers.	★ 277.2k	—	Other	Stale
2	torvalds/linuxLinux kernel source tree	★ 252.4k	C	Other	Active
3	jackfrued/Python-100-DaysPython - 100天从新手到大师	★ 187.3k	Jupyter Notebook	—	Active
4	airbnb/javascriptJavaScript Style Guide	★ 148.1k	JavaScript	MIT	Slowing
5	iptv-org/iptvCollection of publicly available IPTV channels from all over the world	★ 141.3k	TypeScript	Unlicense	Active
6	ruanyf/weekly科技爱好者周刊，每周五发布	★ 106.4k	—	—	Active
7	deepseek-ai/DeepSeek-V3	★ 104.5k	Python	MIT	Stale
8	Anduin2017/HowToCookProgrammer's guide about how to cook at home.	★ 102.9k	—	Unlicense	Active