Awesome-coq Alternatives

Similar projects and alternatives to awesome-coq based on common topics and language

• the-book-of-secret-knowledge

  0 128,453 3.4 awesome-coq VS the-book-of-secret-knowledge

  A collection of inspiring lists, manuals, cheatsheets, blogs, hacks, one-liners, cli/web tools and more.

• awesome-cpp

  0 55,280 9.0 awesome-coq VS awesome-cpp

  A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.

• WorkOS

  workos.com

  sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• awesome-scalability

  0 52,801 6.3 awesome-coq VS awesome-scalability

  The Patterns of Scalable, Reliable, and Performant Large-Scale Systems

• awesome-design-patterns

  0 35,733 0.0 awesome-coq VS awesome-design-patterns

  A curated list of software and architecture related design patterns.

• awesome-falsehood

  0 22,941 7.6 awesome-coq VS awesome-falsehood

  😱 Falsehoods Programmers Believe in

• awesome-tailwindcss

  0 12,666 7.2 awesome-coq VS awesome-tailwindcss

  😎 Awesome things related to Tailwind CSS

  

• lists

  0 9,522 7.8 awesome-coq VS lists

  The definitive list of lists (of lists) curated on GitHub and elsewhere

• InfluxDB

  www.influxdata.com

  sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.