A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog]
updated at May 31, 2024, 11:23 a.m.
Curated list of awesome resources: books, videos, articles about using Lumen (PHP Microframework by Laravel)
updated at May 31, 2024, 6:51 p.m.
A collection of useful things regarding Actions on Google.
updated at June 1, 2024, 12:08 a.m.
A curated, community driven list of awesome Meteor packages, libraries, resources and shiny things
updated at June 1, 2024, 4:17 a.m.
A curated list of awesome jQuery plugins, resources and other shiny things.
updated at June 1, 2024, 6:38 a.m.
Curated list of Theravada Buddhist teachings
updated at June 1, 2024, 8:37 a.m.
A curated list of awesome things related to the TALL stack.
updated at June 1, 2024, 11:44 a.m.
A curated list of awesome things related to Framer prototyping tool
updated at June 1, 2024, 3:58 p.m.
A curated list of awesome Vert.x resources, libraries, and other nice things.
updated at June 1, 2024, 5:39 p.m.
A curated list of awesome WebAudio packages and resources.
updated at June 1, 2024, 7:33 p.m.
A curated list of tools, tutorials, examples, and much more, for the awesome game development engines Construct 2 and Construct 3
updated at June 1, 2024, 7:58 p.m.
📝 The curated list of awesome things related to Minecraft.
updated at June 1, 2024, 10:59 p.m.
A collection of awesome resources for learning Service Workers
updated at June 1, 2024, 11:59 p.m.
A collection of awesome Craft CMS plugins, articles, resources and shiny things.
updated at June 2, 2024, 5:21 a.m.
A curated collection of free resources to help deepen your understanding of the R programming language. Updated regularly. Contributions encouraged via pull request (see contributing.md).
updated at June 2, 2024, 6:11 a.m.
👻 A curated list of awesome VLC and LibVLC resources.
updated at June 2, 2024, 9:51 a.m.
📄 🛠 A curated list of awesome static websites services
updated at June 2, 2024, 11:35 a.m.
A list of web-based interactive biological data visualizations.
updated at June 2, 2024, 12:22 p.m.
A curated list of software, tools, pipelines, plugins etc. for image analysis related to biological questions.
updated at June 2, 2024, 12:22 p.m.