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

"formal-methods" 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

awesome-sat-solvers

A curated collection of resources for the Boolean Satisfiability Problem (SAT).

automate-reasoning awesome awesome-list deductive-reasoning formal-methods logic optimization sat sat-solver smt

72 stars
4 forks
130 projects

Last updated: 19 Sep 2026

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