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

"hardware-verification" Awesome Lists

awesome-formal-verification

Welcome to the ultimate list of resources for formal verification techniques and tools. This repository aims to provide an organized collection of high-quality resources to help professionals, researchers, and enthusiasts stay updated and advance their knowledge in the field.

awesome awesome-list awesome-resources formal-languages formal-methods formal-specification formal-verification hardware-verification model model-checking

194 stars
17 forks
123 projects

Last updated: 12 Oct 2026

Search
Keywords
awesome-list 4,357 awesome 3,809 machine-learning 489 list 444 awesome-lists 416 deep-learning 402 resources 355 llm 342 ai 328 python 230 hacktoberfest 228 ai-agents 208 lists 204 javascript 198 artificial-intelligence 192 security 182 curated-list 169 open-source 156 programming 153 computer-vision 148 large-language-models 145 blockchain 143 mcp 143 nlp 126 tools 124 chatgpt 115 developer-tools 113 data-science 112 react 107 android 96 awesome-readme 91 natural-language-processing 91 ai-tools 90 learning 89 generative-ai 88 claude-code 87 linux 87 devops 87 cybersecurity 85 awesome-resources 83 ios 82 papers 82 reinforcement-learning 82 openai 80 robotics 76 ethereum 75 css 70 rust 69 nodejs 67 computer-science 66 kubernetes 65 claude 65 prompt-engineering 65 survey 65 agent 64 agentic-ai 63 macos 63 collection 62 datasets 61 agent-skills 61 automation 61 playground 61 java 60 golang 60 game-development 60 free-resources 59 getvm 57 php 56 hacking 56 design 55 privacy 54 swift 53 web3 53 education 52 tutorial 52 bitcoin 52 go 51 typescript 51 security-tools 50 llms 50 free 50 paper 50 gpt 50 frontend 50 research 49 productivity 49 agents 49 web 49 dataset 49 books 47 diffusion-models 47 deep-neural-networks 46 github 46 tutorials 46 development 45 paper-list 45 rag 45 skills 43 plugins 43 data-visualization 42 api 42 open-data 42 anthropic 41 documentation 41 gamedev 41 vue 41 opensource 41 docker 41 html 40 cryptocurrency 40 cloud 40 model-context-protocol 39 self-hosted 39 software 39 community 39 data 39 database 38 ml 38 deepseek 38 prompts 37 neural-network 36 saas 36 multimodal 36 cpp 36 game 35 video-generation 35 collections 35 ai-agent 35 iot 34 cli 34 hands-on 34 labex 34 exercises 33 algorithms 33 testing 33 reactjs 33 software-engineering 33 dotnet 32 graph-neural-networks 32 courses 32 hardware 32 video 32 pentesting 32 reverse-engineering 32 flutter 32 marketing 31 games 31 mlops 31 framework 31 react-native 31 solidity 31 projects 30 ruby 30 transformer 30 image-generation 30 aws 30 gemini 30 penetration-testing 30 llm-agents 30 web-development 30 bioinformatics 30 defi 29 libraries 29 csharp 29 best-practices 29 codex 29 windows 29 architecture 29 knowledge-graph 29 object-detection 28 openclaw 28 learning-resources 28 pytorch 28 cryptography 28 crypto 28 osint 27 chinese 27 microsoft 27 music 27 slam 27 git 27 cursor 27 foundation-models 27 links 27 tensorflow 27 jev 26 ui 26 seo 26 data-analysis 26 interview 26 angular 26 autonomous-agents 26 vibe-coding 26 smart-contracts 26 jobs 26 self-supervised-learning 26 library 25 neural-networks 25 mobile 25 markdown 25 chatbot 25 3d 25 data-mining 25 infosec 25 time-series 25 science 24 embedded 24 text-to-image 24 mcp-server 24 awsome-list 24 text-to-video 24 computer-graphics 24 nextjs 24 startup 24 claude-skills 24 deepseek-harness 24 roadmap 24 django 23 autonomous-driving 23 reasoning 23 python3 23 awesomeness 23 unity 23 mcp-servers 23 startups 23 segmentation 23 serverless 23 dsh 23 mathematics 23 audio 23 apple 23 kotlin 23 game-engine 22 llama 22 embodied-ai 22 federated-learning 22 apps 22 langchain 22 cloud-computing 22 programming-language 22 networking 22 c 22 devsecops 22 gpt-3 21 awsome 21 deeplearning 21 terminal 21 optimization 21 azure 21 dsh-plugin 21 blog 21 hacktoberfest-accepted 21 visualization 21 monitoring 21 ai-coding 21 graph 21 software-development 21 gis 21 coding 21 stable-diffusion 21 benchmark 21 sql 21 opendata 20 multi-agent 20 website 20 finance 20 decentralized 20 transformers 20 youtube 20 blogs 20 remote-sensing 20 engineering 20 r 20 ai-safety 19 vlm 19 telegram 19 js 19 raspberry-pi 19 representation-learning 19 generative-art 19 gpt-4 19 curated 19 graphql 19 statistics 19 cheatsheet 19 large-language-model 18 front-end 18 code 18 prompt 18 bugbounty 18 guidelines 18 swiftui 18 ai-video 18 software-libre 18 backend 18 bash 18 machinelearning 18 cloud-native 18 quantization 17 performance 17 analytics 17 foss 17 mllm 17 ai-security 17 nerf 17 image-processing 17 language 17 command-line 17 knowledge 17 autonomous-vehicles 17 speech-recognition 17 containers 17 webgl 17 pentest 17 data-structures 17 system-one 17 animation 17 aigc 17 coding-agents 16 android-development 16 ecommerce 16 distributed-systems 16 spain 16 readme 16 anomaly-detection 16 diffusion 16 malware-analysis 16 dart 16 generative-model 16 vscode 16 algorithm 16 ros 16 bert 16 classification 16 pose-estimation 16 selfhosted 16 laravel 16 videos 16 data-engineering 16 awesome-ai 16 medical-imaging 16 reddit 16 microservices 16 articles 16 copilot 16 memory 16 big-data 16 technology 16 datos-abiertos 16 espana 16 llmops 16 resource 15 beginner-friendly 15 recommender-system 15 multimodal-large-language-models 15 multimodal-deep-learning 15 mac 15 code-generation 15 solana 15 typesafe-ai 15 llm-security 15 evm 15 ctf 15 vuejs 15 trading 15 leetcode 15 npm 15 github-actions 15 system-design 15 detection 15 free-software 15 webassembly 14 bug-bounty 14 interview-questions 14 xai 14 static-analysis 14 node 14 p2p 14 evaluation 14 gaming 14 react-components 14 language-model 14 sysadmin 14 podcast 14 students 14 vector-database 14 multi-agent-systems 14 objective-c 14 vision-language-model 14 graphics 14 llm-tools 14 observability 14 planning 14 wasm 14 typesafe 14 yolo 14 art 14 oss 14 mysql 14 workflow 14 transfer-learning 14 android-library 14 multimodal-learning 14 generative-adversarial-network 14 3d-graphics 14 knowledge-base 14 gan 14 cms 14 dotnet-core 14 compliance 13 developer 13 healthcare 13 ai-art 13 wordpress 13 dapp 13 icons 13 speech-to-text 13 unicorns 13 semantic-segmentation 13 simulation 13 open-science 13 neuroscience 13 pwa 13 ui-design 13 sre 13 svelte 13 frameworks 13 deep-reinforcement-learning 13 programming-languages 13 discord 13 guide 13 directory 13 search 13 storage 13 few-shot-learning 13 databases 13 rl 13 time-series-analysis 13 geospatial 13 microservice 13 continual-learning 13 rails 12 threat-intelligence 12 chain-of-thought 12 authentication 12 graphics-programming 12 gobierno-abierto 12 cuda 12 gpu 12 leadership 12 quantitative-finance 12 automl 12 reading-list 12 ai-development 12 machine-learning-algorithms 12 privacy-tools 12 google 12 hacking-tools 12 unity3d 12 search-engine 12 video-editing 12 vision-and-language 12 prompt-injection 12 fuzzing 12 question-answering 12 management 12 image 12 cross-platform 12 rest-api 12 ros2 12 article 12 alternatives 12 es6 12 elasticsearch 12 lua 12 software-architecture 12 owasp 11 arduino 11 course 11 book 11 interview-preparation 11 email 11 model-compression 11 creative-coding 11 free-tutorials 11 coding-agent 11 swift-library 11 indonesia 11 incident-response 11 webpack 11 utilities 11 podcasts 11 point-cloud 11 ux 11 in-context-learning 11 github-copilot 11 packages 11 interpretability 11 cyber-security 11 cicd 11