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

0 "formal-verification" Awesome Lists

awesome-open-hardware-verification

A List of Free and Open Source Hardware Verification Tools and Frameworks

awesome awesome-list constrained-random-verification coverage formal-verification hardware python verification verilog vhdl

621 stars
61 forks
44 projects

Last updated: 28 Aug 2026

awesome-rust-formalized-reasoning

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

automated-theorem-provers constructive-mathematics dependent-types formal-verification logic proof-assistants prover reasoning rust theorem-prover

396 stars
14 forks
732 projects

Last updated: 05 Sep 2026

awesome-provable

A curated set of links to formal methods involving provable code.

agda certified-programming coq formal-verification idris isabelle isabelle-hol sel4

224 stars
10 forks
76 projects

Last updated: 23 Jul 2026

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

161 stars
17 forks
123 projects

Last updated: 07 Aug 2026

awesome-assured-autonomy

Curated research, tools, benchmarks, standards, and open-source systems for assuring autonomous systems.

aerospace ai-safety assured-autonomy autonomous-systems awesome awesome-list formal-verification robotics runtime-assurance safe-reinforcement-learning

0 stars
0 forks
77 projects

Last updated: 16 Aug 2026

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