awesome-web3-formal-verification

Master programming by recreating your favorite technologies from scratch.

? Awesome lists about all kinds of interesting topics

A list of Free Software network services and web applications which can be hosted on your own servers

? Path to a free self-taught education in Computer Science!

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

A curated list of awesome Go frameworks, libraries and software

Coding articles to level up your development skills

Dify is an open-source LLM app development platform. Dify's intuitive interface combines AI workflow, RAG pipeline, agent capabilities, model management, observability features and more, letting you quickly go from prototype to production.

A list of SaaS, PaaS and IaaS offerings that have free tiers of interest to devops and infradev

Design patterns implemented in Java