Repository Index

freeCodeCamp.org's open-source codebase and curriculum. Learn math, programming, and computer science for free.

• learn-to-code
• nonprofits
• programming
• nodejs

Papers from the computer science community to read and discuss.

• computer-science
• read-papers
• meetup
• papers

Learn V by Example

• learning
• programming
• educational
• lessons

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]

• coq
• library
• programming
• coq-platform

🗺️ Developer Roadmaps — 20 career paths, 870+ topics, 1,880+ free resources. PWA, certifications, community-driven. Your free guide from beginner to senior dev.

• backend
• developer-roadmap
• devops
• frontend