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 Common Lisp learning resources
The main features of gustavbertram/awesome-common-lisp-learning are: Awesome List, Programming Languages.
Open-source alternatives to gustavbertram/awesome-common-lisp-learning 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.