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

145 stars
13 forks
123 projects

Last updated: 19 Jun 2026

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