Sealbook / Open source / Recursos de aprendizaje y listas

HoTT/book

A textbook on informal homotopy type theory

Licencia y mantenimiento

Sin licencia indicada: por defecto nadie puede reutilizar el código. Pregunta a los autores antes de usarlo en un producto.

Último cambio de código hace 4 meses.

Proyectos similares

	Repositorio	Estrellas	Lenguaje	Licencia	Actividad
1	codecrafters-io/build-your-own-xMaster programming by recreating your favorite technologies from scratch.	★ 554.3k	Markdown	—	Menos activo
2	sindresorhus/awesome😎 Awesome lists about all kinds of interesting topics [NOTE: Pull requests are temporarily disabled until I have a chance to catch up with t	★ 520.9k	—	CC0-1.0	Activo
3	freeCodeCamp/freeCodeCampfreeCodeCamp.org's open-source codebase and curriculum. Learn math, programming, and computer science for free.	★ 457.4k	TypeScript	BSD-3-Clause	Activo
4	EbookFoundation/free-programming-books:books: Freely available programming books	★ 399.5k	Python	CC-BY-4.0	Activo
5	donnemartin/system-design-primerLearn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.	★ 374.6k	Python	Other	Activo
6	nilbuild/developer-roadmapInteractive roadmaps, guides and other educational content to help developers grow in their careers.	★ 369.8k	TypeScript	Other	Activo
7	jwasham/coding-interview-universityA complete computer science study plan to become a software engineer.	★ 362.8k	—	CC-BY-SA-4.0	Sin cambios
8	vinta/awesome-pythonThe definitive list that answers "I want to do X in Python, which tool should I use?"	★ 328.4k	Python	Other	Activo