An open API service indexing awesome lists of open source software.

0 "coverage" Awesome Lists

awesome-open-hardware-verification

A List of Free and Open Source Hardware Verification Tools and Frameworks

awesome awesome-list constrained-random-verification coverage formal-verification hardware python verification verilog vhdl

598 stars
56 forks
44 projects

Last updated: 12 Mar 2026

Search
Keywords
awesome-list 4,125 awesome 3,732 awesome-lists 586 machine-learning 462 list 422 deep-learning 384 resources 332 ai 292 llm 237 hacktoberfest 234 python 224 lists 205 javascript 194 security 182 programming 165 artificial-intelligence 164 computer-vision 142 blockchain 141 open-source 130 nlp 127 large-language-models 125 tools 118 data-science 114 react 108 chatgpt 105 curated-list 99 android 95 natural-language-processing 91 linux 87 learning 87 devops 86 awesome-readme 84 cybersecurity 81 papers 80 ios 79 awesome-resources 79 css 77 ethereum 75 reinforcement-learning 74 robotics 68 ai-agents 67 computer-science 65 rust 65 kubernetes 65 nodejs 65 developer-tools 64 collection 62 survey 61 game-development 60 design 60 macos 60 playground 60 free-resources 59 mcp 59 openai 59 free 58 golang 58 tutorials 57 getvm 57 java 56 privacy 55 bitcoin 53 frontend 53 datasets 53 generative-ai 53 tutorial 52 hacking 52 php 52 web3 52 web 50 llms 50 education 50 go 50 paper 49 gpt 48 swift 47 data 47 automation 46 cloud 46 books 45 security-tools 45 development 45 hands-on 45 github 45 labex 45 deep-neural-networks 44 dataset 44 cryptocurrency 43 html 43 prompt-engineering 42 data-visualization 42 research 42 opensource 42 agent 41 typescript 41 documentation 41 exercises 41 database 41 ai-tools 41 docker 40 vue 40 ml 40 gamedev 39 collections 38 web-development 38 iot 37 algorithms 37 software 37 productivity 37 diffusion-models 37 api 36 game 36 paper-list 36 neural-network 35 aws 34 reactjs 34 courses 34 testing 34 framework 33 cpp 33 multimodal 32 hardware 32 agents 32 flutter 32 community 31 games 31 software-engineering 31 solidity 31 claude 31 projects 31 transformer 30 video 30 graph-neural-networks 30 react-native 30 dotnet 29 libraries 29 bioinformatics 29 crypto 29 ruby 29 self-hosted 29 architecture 29 smart-contracts 28 cli 28 defi 28 mlops 28 penetration-testing 28 object-detection 27 windows 27 links 27 csharp 27 slam 27 science 27 tensorflow 27 agentic-ai 27 claude-code 27 cryptography 27 music 26 library 26 best-practices 26 pytorch 26 self-supervised-learning 26 serverless 26 data-analysis 26 pentesting 26 saas 25 django 25 angular 25 infosec 25 git 25 microsoft 25 rag 25 sql 25 data-mining 25 mobile 25 reverse-engineering 25 knowledge-graph 24 osint 24 jobs 24 awsome-list 24 engineering 24 computer-graphics 24 embedded 24 mathematics 24 prompts 24 3d 24 coding 24 kotlin 23 programming-language 23 time-series 23 gemini 23 software-development 23 neural-networks 23 game-engine 23 ui 23 interview 23 markdown 23 autonomous-driving 23 nextjs 23 c 23 blog 23 segmentation 23 unity 23 learning-resources 23 roadmap 23 visualization 22 apple 22 deeplearning 22 foundation-models 22 awesomeness 22 python3 22 startups 22 image-generation 22 chatbot 22 r 22 statistics 22 audio 22 monitoring 21 gpt-3 21 networking 21 hacktoberfest-accepted 21 federated-learning 21 free-tutorials 21 startup 21 azure 21 blogs 21 cloud-computing 21 marketing 21 finance 21 website 21 opendata 21 graph 20 awsome 20 js 20 data-structures 20 gpt-4 20 llama 20 devsecops 20 machinelearning 20 reasoning 20 apps 20 chinese 20 raspberry-pi 20 front-end 19 big-data 19 aigc 19 model-context-protocol 19 anthropic 19 curated 19 bugbounty 19 transformers 19 youtube 19 graphql 19 decentralized 19 seo 19 optimization 18 analytics 18 openclaw 18 code 18 representation-learning 18 stable-diffusion 18 telegram 18 guidelines 18 plugins 18 open-data 18 prompt 18 backend 18 nerf 17 beginner-friendly 17 generative-model 17 vlm 17 text-to-image 17 cloud-native 17 autonomous-vehicles 17 bash 17 cheatsheet 17 command-line 17 benchmark 17 generative-art 17 embodied-ai 17 ai-agent 17 data-engineering 17 vibe-coding 17 knowledge 17 containers 17 malware-analysis 17 deepseek 16 pentest 16 articles 16 speech-recognition 16 videos 16 terminal 16 language 16 bert 16 skills 16 langchain 16 algorithm 16 dart 16 ros 16 microservices 16 webgl 16 laravel 16 animation 16 p2p 15 resource 15 video-generation 15 swiftui 15 remote-sensing 15 leetcode 15 android-development 15 large-language-model 15 cms 15 mysql 15 readme 15 vscode 15 agent-skills 15 distributed-systems 15 performance 15 pose-estimation 15 technology 15 evm 15 image-processing 15 mcp-servers 15 multimodal-deep-learning 15 mcp-server 15 vuejs 14 art 14 dotnet-core 14 medical-imaging 14 webassembly 14 wasm 14 databases 14 mac 14 npm 14 diffusion 14 multimodal-large-language-models 14 node 14 vision-language-model 14 quantization 14 anomaly-detection 14 awesome-ai 14 discord 14 gis 14 google 14 android-library 14 multimodal-learning 14 language-model 14 drones 14 graphics 14 react-components 14 ai-safety 14 oss 14 foss 14 selfhosted 14 detection 14 recommender-system 14 icons 14 generative-adversarial-network 14 cursor 14 code-generation 14 interview-questions 13 minecraft 13 svelte 13 semantic-segmentation 13 fuzzing 13 programming-languages 13 pwa 13 postgresql 13 developer 13 frameworks 13 yolo 13 quantum-computing 13 webdevelopment 13 search 13 cicd 13 automl 13 wordpress 13 system-design 13 authentication 13 utilities 13 unicorns 13 microservice 13 objective-c 13 solana 13 deep-reinforcement-learning 13 dapp 13 storage 13 cross-platform 13 transfer-learning 13 application 13 gan 13 podcast 13 vision-and-language 12 uav 12 rest-api 12 search-engine 12 mllm 12 elasticsearch 12 cuda 12 image 12 rl 12 autonomous-agents 12 question-answering 12 article 12 sysadmin 12 sre 12 static-analysis 12 time-series-analysis 12 workflow 12 infrastructure 12 sustainability 12 es6 12 web-design 12 llmops 12 planning 12 edge-computing 12 model-compression 12 graphics-programming 12 webapp 12 datascience 12 rails 12 ui-design 12 ux 12 software-architecture 12 mobile-development 12 infrastructure-as-code 12 gaming 12 guide 12 static-site-generator 12 chain-of-thought 12 3d-graphics 12 xai 11 writing 11 neuroscience 11 3d-reconstruction 11 trading 11 reading-list 11 open-science 11 vr 11 webpack 11 flutter-apps 11 continual-learning 11 in-context-learning 11 climate-change 11 point-cloud 11 leadership 11 threat-intelligence 11 test-automation 11 bug-bounty 11 drone 11 privacy-tools 11 healthcare 11 few-shot-learning 11 free-software 11 cyber-security 11 geospatial 11 email 11 arduino 11 machine-learning-algorithms 11 course 11 hacktoberfest2020 11 ai-art 11 hosting 11 interpretability 11 cv 11 podcasts 11 book 11 cvpr 11 math 11 ros2 11 unsupervised-learning 11 ctf 11 gpu 11 anime 11 ecommerce 11 embedded-systems 11 unity3d 11 movies 11 creative-coding 11 font 11 data-analytics 10 multi-agent 10 retrieval-augmented-generation 10 docs 10 blockchain-technology 10 copilot 10 meta-learning 10 fpga 10 flutter-examples 10 codex 10 management 10 claude-skills 10 news 10 swift-library 10 speech-processing 10 semantic-web 10 explainable-ai 10 webdesign 10 lua 10 authorization 10 classification 10