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

"theorem-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

399 stars
14 forks
732 projects

Last updated: 14 Oct 2026

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