Tricks you wish the Coq manual told you [maintainer=@tchajed]
Repository Index
47,133 repositories indexed
865–888 of 1,625 · Most stars
Sample component project using LitElement with TypeScript
A curated list of resources related to the Java annotation processing API (JSR 269)
- awesome-list
- java
- annotation-processing
- annotation-processor
🔒Unified API for password hashing algorithms
A curated list of awesome programmers and software projects you can support!
- patreon
- opensource
- awesome
- awesome-list
Growing the code out of your notebooks - the right way.
Roadmap to becoming a Vue.js developer in 2019
Open, source-backed catalog of computer-use agents: reviewed papers, GUI models, datasets, benchmarks, tools, and reusable JSONL/SQLite data.
- agent-evaluation
- agentic-ai
- ai-agents
- awesome
A list of awesome Tor related projects, articles, papers, etc
- awesome
- awesome-list
- tor
- onion
Skills and career roadmap for various security roles like application security, cloud security, DevSecOps, security engineer, security researchers, pentesting, api security, network security, mobile security and so on with helpful resources, guidelines
- security-tools
- security-automation
- aws-security
- cloud-security
A curated list of awesome libraries, snippets, guides, and projects for GameMaker.
Learn Robotics with JdeRobot
Instant, central, community-built docs
A Demo SPA developed with React, ES6, Webpack (2.x), and Antd (1.0.1) 【move to react-seed】
A curated compilation of AI-driven generative music resources and projects. Explore the blend of machine learning algorithms and musical creativity.
Ideas on better database design
A list of helpful Scala related questions you can use to interview potential candidates.
- scala
- interview
West Wind Album Viewer ASP.NET Core and Angular Sample
A compilation of 125+ free datasets for use in social science, applied microeconomics, data visualization, etc.
- applied-microeconomics
- data
- data-visualization
- dataset
Playground for Gulp Recipes
:rainbow: discover the beautiful programming language that makes front-end web apps a joy to build and maintain!
🌲 A list of companies using Elm in production.
- elm
- elm-lang
- list
- production
Backbone.js stack boilerplates demonstrating integration with Express, Ruby, PHP, Grails and more.
:1st_place_medal: Roadmap to become a system design and architecture master
- roadmap
- system-design
- software-architecture
- study-plan