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

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