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

0 "model-checking" 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

111 stars
10 forks
121 projects

Last updated: 13 Apr 2026

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