How this analysis was created: This summary and feature list are AI-generated from collected project material and can contain mistakes. Stars, license and language are imported from GitHub. Inclusion does not mean that we have tested or audited this project. Check the source documentation for any feature you depend on. Learn more on our About page.
30-seconds-of-code is a comprehensive knowledge base and programming snippet library designed to support software engineering education and professional development. It provides a curated collection of reusable code units and technical guides that help developers master core language mechanics, design patterns, and architectural philosophies. The project distinguishes itself by offering a wide-ranging library of algorithmic solutions and web development patterns that are organized into modular, independently testable units. It emphasizes functional programming paradigms and declarative logic,
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources maintainer=@palmskog
awesome typescript open source projects, includes IDE, Framework, Library, Tool
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
The main features of rocq-community/awesome-coq are: Awesome List, Programming Languages.
Projects with overlapping indexed features include: coq-community/awesome-coq — A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]. ebraminio/awesome-qsharp — A curated list of Q# code and resources. brookshi/awesome-typescript-projects — awesome typescript open source projects, includes IDE, Framework, Library, Tool. chalarangelo/30-seconds-of-code — 30-seconds-of-code is a comprehensive knowledge base and programming snippet library designed to support software… desiderantes/awesome-vala — A curated list of Vala projects. eleventigers/awesome-rxjava — Useful resources for working with RxJava.
