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

"prover" Awesome Lists

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-prover-mechanisms

An awesome list of prover mechanism resources of the zk ecosystem

awesome-list aztec ethereum mechanism-design polygon-zkevm prover scroll starknet taiko zkrollup

7 stars
2 forks
69 projects

Last updated: 25 Mar 2026

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