awesome-coq VS awesome-design-patterns

Compare awesome-coq vs awesome-design-patterns and see what are their differences.

awesome-coq

A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog] (by coq-community)
coq Awesome Resources awesome-list
Source Code
coq-community.org
Suggest alternative
Edit details

awesome-design-patterns

A curated list of software and architecture related design patterns. (by DovAmir)
Awesome awesome-list Architecture design-patterns gof-patterns Microservices Cloud Computing Lists Resources
Source Code
Suggest alternative
Edit details
WorkOS
Our great sponsors
  • WorkOS - The modern identity platform for B2B SaaS
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • SaaSHub - Software Alternatives and Reviews
Our great sponsors
awesome-coq awesome-design-patterns
1 11
285 35,885
3.9% -
6.7 0.0
about 2 months ago about 1 month ago
Creative Commons Zero v1.0 Universal -
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
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

Posts with mentions or reviews of awesome-coq. We have used some of these posts to build our list of alternatives and similar projects.

awesome-design-patterns

Posts with mentions or reviews of awesome-design-patterns. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-11-17.

What are some alternatives?

When comparing awesome-coq and awesome-design-patterns you can also consider the following projects:

awesome-wasm - 😎 Curated list of awesome things regarding WebAssembly (wasm) ecosystem.

awesome-javascript-learning - A tiny list limited to the best JavaScript Learning Resources

awesome-git-addons - :sunglasses: A curated list of add-ons that extend/enhance the git CLI.

awesome-erlang - A curated list of awesome Erlang libraries, resources and shiny things.

google-apps-script-awesome-list - The usual list of links to interesting resources for Google Apps Script

freeCodeCamp - freeCodeCamp.org's open-source codebase and curriculum. Learn to code for free.

You-Dont-Know-JS - A book series on JavaScript. @YDKJS on twitter.

awesome-deno-cn - 🦖 长期维护！中文圈下与 Deno 相关的 Awesome 资源全图谱

nodebestpractices - :white_check_mark: The Node.js best practices list (February 2024)

awesome-cheatsheets - 👩‍💻👨‍💻 Awesome cheatsheets for popular programming languages, frameworks and development tools. They include everything you should know in one single file.

system-design-primer - Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

html5-boilerplate - A professional front-end template for building fast, robust, and adaptable web apps or sites.

awesome-design-patterns vs awesome-wasm awesome-design-patterns vs awesome-javascript-learning awesome-design-patterns vs awesome-git-addons awesome-design-patterns vs awesome-erlang awesome-design-patterns vs google-apps-script-awesome-list awesome-design-patterns vs freeCodeCamp awesome-design-patterns vs You-Dont-Know-JS awesome-design-patterns vs awesome-deno-cn awesome-design-patterns vs nodebestpractices awesome-design-patterns vs awesome-cheatsheets awesome-design-patterns vs system-design-primer awesome-design-patterns vs html5-boilerplate