awesome-coq
awesome-scalability
Our great sponsors
| awesome-coq | awesome-scalability | |
|---|---|---|
| 1 | 6 | |
| 285 | 53,036 | |
| 3.9% | - | |
| 6.7 | 6.3 | |
| about 2 months ago | about 1 month ago | |
| Creative Commons Zero v1.0 Universal | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
awesome-coq
-
Coq is one of the most fun and enjoyable programming languages I ever use.
Coq has an awesome list by the community: https://github.com/coq-community/awesome-coq
awesome-scalability
- Ask HN: What are some of the best blog posts by software engineers?
-
100+ Must Know Github Repositories For Any Programmer
3. Awesome Scalability
-
SRE DevOps Interview Questions — Linux Troubleshooting
Scalability, Reliability and Performance for Large Systems
-
You should be reading academic computer science papers
Also check out awesome-scalability which is a categorized list of whitepapers, talks, and blogposts around system design. Lots of good stuff there.
- Looking back on what you know now, what concepts took you a surprising amount of effort and time to truly understand?
- The Patterns of Scalable, Reliable, and Performant Large-Scale Systems
What are some alternatives?
awesome-distributed-systems - A curated list to learn about distributed systems
system-design-interview - System design interview for IT companies
awesome-tf - Curated list of resources on HashiCorp's Terraform and OpenTofu
awesome-javascript-learning - A tiny list limited to the best JavaScript Learning Resources
Systemizer - A system design tool that allows you to simulate data flow of distributed systems.
awesome-sre - A curated list of Site Reliability and Production Engineering resources.
software-engineering-subjects - Software Engineering Subjects
bla
ansible-crystal - Install crystal
awesome-deep-learning-music - List of articles related to deep learning applied to music
system-design-primer - Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
awesome-biomarkers - Curated List of Biomarkers, Blood Tests, and Blood Tracking