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

67 stars
7 forks
119 projects

Last updated: 13 Nov 2025

Search
Keywords
awesome-list 3,735 awesome 3,385 awesome-lists 480 machine-learning 430 list 408 deep-learning 363 resources 314 hacktoberfest 236 ai 224 python 209 lists 201 javascript 187 llm 173 security 164 programming 159 artificial-intelligence 146 computer-vision 134 blockchain 130 nlp 114 tools 113 open-source 112 data-science 110 large-language-models 106 react 103 chatgpt 96 android 89 natural-language-processing 85 linux 84 learning 81 curated-list 79 css 78 awesome-readme 77 papers 76 devops 75 ios 74 ethereum 73 awesome-resources 73 reinforcement-learning 70 computer-science 63 cybersecurity 63 nodejs 62 kubernetes 60 robotics 60 playground 60 rust 59 free-resources 58 game-development 58 design 57 collection 57 getvm 57 macos 57 free 55 java 54 tutorials 54 privacy 53 golang 52 survey 51 tutorial 51 frontend 50 web 50 bitcoin 49 hacking 49 openai 49 paper 48 datasets 48 go 47 education 45 cloud 45 swift 45 llms 45 labex 45 hands-on 45 deep-neural-networks 44 dataset 44 php 44 books 44 web3 44 data 43 development 43 developer-tools 43 html 43 github 42 gpt 42 security-tools 41 exercises 41 cryptocurrency 41 data-visualization 40 opensource 39 vue 39 typescript 39 gamedev 38 documentation 37 software 37 web-development 36 collections 36 docker 36 ml 36 research 35 database 35 automation 35 generative-ai 35 paper-list 33 courses 33 reactjs 33 iot 33 neural-network 33 testing 32 framework 32 aws 32 game 31 diffusion-models 31 graph-neural-networks 30 algorithms 30 projects 30 solidity 29 video 29 hardware 29 cpp 29 ruby 29 community 29 bioinformatics 28 architecture 28 libraries 28 productivity 28 multimodal 28 games 28 transformer 28 flutter 28 smart-contracts 28 dotnet 27 software-engineering 27 api 27 tensorflow 27 agent 27 links 27 mcp 27 windows 26 crypto 26 csharp 26 react-native 26 computer-graphics 25 defi 25 angular 25 music 24 science 24 penetration-testing 24 pentesting 24 microsoft 24 self-supervised-learning 24 pytorch 24 django 24 osint 24 object-detection 24 slam 24 git 24 cryptography 24 unity 23 embedded 23 markdown 23 engineering 23 library 23 awsome-list 23 serverless 23 coding 23 infosec 23 prompt-engineering 23 r 23 sql 22 neural-networks 22 hacktoberfest-accepted 22 cli 22 self-hosted 22 gpt-4 22 mathematics 22 mobile 22 best-practices 22 ui 22 agents 22 3d 22 ai-agents 22 python3 22 game-engine 22 data-analysis 22 awesomeness 21 kotlin 21 knowledge-graph 21 gpt-3 21 audio 21 startups 21 opendata 21 free-tutorials 21 blog 21 roadmap 21 programming-language 21 interview 21 data-mining 21 jobs 21 segmentation 21 mlops 21 apple 21 visualization 20 ai-tools 20 awsome 20 azure 20 cloud-computing 20 blogs 20 federated-learning 20 chinese 20 deeplearning 20 youtube 20 c 20 website 20 guidelines 20 autonomous-driving 20 apps 20 graph 19 foundation-models 19 raspberry-pi 19 nextjs 19 time-series 19 learning-resources 19 marketing 19 statistics 19 js 19 saas 19 chatbot 19 reasoning 19 software-development 18 bash 18 reverse-engineering 18 curated 18 representation-learning 18 llama 18 graphql 18 front-end 18 machinelearning 18 aigc 18 bugbounty 18 startup 18 cheatsheet 17 containers 17 image-processing 17 stable-diffusion 17 optimization 17 generative-art 17 cloud-native 17 backend 17 language 17 code 17 analytics 17 knowledge 17 algorithm 17 transformers 17 decentralized 17 data-structures 17 bert 16 seo 16 nerf 16 networking 16 webgl 16 cms 16 big-data 16 articles 16 monitoring 16 microservices 16 detection 15 open-data 15 dart 15 data-engineering 15 autonomous-vehicles 15 android-development 15 mysql 15 technology 15 ros 15 graphics 15 readme 15 animation 15 resource 15 pentest 15 webassembly 14 devsecops 14 command-line 14 terminal 14 prompt 14 selfhosted 14 vuejs 14 foss 14 react-components 14 recommender-system 14 language-model 14 videos 14 telegram 14 code-generation 14 art 14 diffusion 14 p2p 14 icons 14 beginner-friendly 14 mac 14 finance 14 agentic-ai 14 deepseek 14 multimodal-deep-learning 14 awesome-ai 14 distributed-systems 14 android-library 14 node 14 unicorns 14 performance 14 oss 14 podcast 13 evm 13 embodied-ai 13 fuzzing 13 large-language-model 13 search 13 text-to-image 13 cross-platform 13 generative-adversarial-network 13 dotnet-core 13 plugins 13 pose-estimation 13 transfer-learning 13 quantum-computing 13 speech-recognition 13 microservice 13 malware-analysis 13 frameworks 13 vscode 13 leetcode 13 swiftui 13 wasm 13 remote-sensing 13 webdevelopment 13 application 13 laravel 13 vlm 13 deep-reinforcement-learning 13 gis 13 postgresql 13 multimodal-large-language-models 13 wordpress 13 static-site-generator 12 guide 12 gaming 12 graphics-programming 12 vibe-coding 12 developer 12 search-engine 12 claude 12 npm 12 image 12 video-generation 12 mcp-server 12 image-generation 12 mllm 12 interview-questions 12 anomaly-detection 12 multimodal-learning 12 chain-of-thought 12 static-analysis 12 es6 12 pwa 12 webapp 12 infrastructure-as-code 12 elasticsearch 12 rails 12 rag 12 storage 12 generative-model 12 discord 12 dapp 12 svelte 12 vision-and-language 12 sustainability 12 gan 12 front-end-development 11 font 11 point-cloud 11 course 11 objective-c 11 design-systems 11 book 11 creative-coding 11 free-software 11 databases 11 hosting 11 haskell 11 climate-change 11 open-science 11 cvpr 11 few-shot-learning 11 threat-intelligence 11 ecommerce 11 ctf 11 automl 11 writing 11 sysadmin 11 hacktoberfest2020 11 rest-api 11 unity3d 11 3d-graphics 11 benchmark 11 article 11 question-answering 11 vision-language-model 11 ux 11 yolo 11 webpack 11 planning 11 ui-design 11 rl 11 cuda 11 authentication 11 google 11 programming-languages 11 workflow 10 android-application 10 malware 10 ide 10 langchain 10 explainable-ai 10 3d-reconstruction 10 system-design 10 jupyter-notebook 10 students 10 management 10 interview-preparation 10 gpts 10 web-design 10 webdesign 10 flutter-apps 10 bot 10 datascience 10 arduino 10 hacktoberfest2021 10 solana 10 android-app 10 semantic-web 10 machine-learning-algorithms 10 fpga 10 bug-bounty 10 cv 10 speech-processing 10 neuroscience 10 network 10 email 10 in-context-learning 10 utilities 10 applications 10 functional-programming 10 movies 10 text-mining 10 hacking-tools 10 podcasts 10 bookmarks 10 medical-imaging 10 augmented-reality 10 unsupervised-learning 10 prompts 10 geospatial 10 golang-library 10 model-compression 10 social-network 10 vr 10 semantic-segmentation 10 cyber-security 10 docs 10 interpretability 10 operating-system 10 ansible 10 reading-list 10 deepseek-r1 10 time-series-analysis 10 xai 10 chatgpt-api 10 python-library 9 blockchain-technology 9 unix 9 cicd 9 flutter-examples 9 flask 9 tool 9 chrome 9 sentiment-analysis 9 erlang 9 elixir 9 math 9 conference 9 politics 9 redis 9 edge-computing 9 linux-desktop 9 llmops 9 gpu 9 webcomponents 9 alternatives 9 arkit 9 test-automation 9 websites 9