Ecosyste.ms: Awesome

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

Awesome Lists | Featured Topics | Projects

"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

301 stars
11 forks
613 projects

Last updated: 24 Nov 2024

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

1 stars
1 forks
39 projects

Last updated: 20 Dec 2023

Search
Keywords
awesome-list 3,306 awesome 2,972 machine-learning 396 list 368 deep-learning 343 awesome-lists 314 resources 285 hacktoberfest 241 python 193 lists 187 javascript 172 programming 150 security 142 ai 133 computer-vision 132 blockchain 125 artificial-intelligence 124 data-science 103 llm 102 nlp 98 open-source 97 tools 97 react 92 chatgpt 85 natural-language-processing 80 android 79 large-language-models 77 linux 76 learning 73 awesome-readme 73 curated-list 71 ios 70 ethereum 68 css 68 papers 67 devops 67 awesome-resources 63 playground 60 computer-science 59 courses 59 nodejs 59 free-resources 58 getvm 57 game-development 57 kubernetes 55 reinforcement-learning 55 macos 54 privacy 53 cybersecurity 52 robotics 51 tutorial 49 golang 49 rust 49 java 49 design 49 collection 48 hands-on 47 frontend 47 labex 47 bitcoin 47 education 46 paper 46 hacking 45 cryptocurrency 44 openai 43 go 43 swift 43 web 43 datasets 42 web3 42 cloud 42 books 42 dataset 41 exercises 40 free 40 php 40 deep-neural-networks 40 gpt 39 security-tools 39 data 39 development 39 html 39 tutorials 37 vue 36 survey 36 gamedev 36 opensource 35 docker 35 data-visualization 35 database 34 research 33 paper-list 32 iot 32 github 32 developer-tools 32 reactjs 31 typescript 31 community 30 neural-network 30 framework 30 software 29 ruby 29 collections 29 aws 29 documentation 29 llms 28 game 28 video 28 cpp 28 smart-contracts 28 architecture 27 tensorflow 27 hardware 27 flutter 27 libraries 27 transformer 26 testing 26 graph-neural-networks 26 web-development 26 bioinformatics 26 gpt-4 26 crypto 25 defi 25 solidity 25 links 25 games 25 automation 25 algorithms 25 music 25 react-native 24 git 24 pytorch 24 angular 24 generative-ai 24 csharp 24 unity 23 audio 23 dotnet 23 gpt-3 23 cryptography 23 django 23 api 23 computer-graphics 23 windows 23 software-engineering 23 science 22 best-practices 22 penetration-testing 22 self-supervised-learning 22 r 22 projects 22 diffusion-models 22 youtube 22 ml 22 library 22 embedded 22 visualization 21 data-analysis 21 pentesting 21 kotlin 21 productivity 21 self-hosted 21 markdown 21 awsome-list 21 microsoft 21 object-detection 21 osint 20 apple 20 ui 20 c 20 infosec 20 serverless 20 awsome 20 awesomeness 20 startups 20 segmentation 20 opendata 20 programming-language 19 mathematics 19 data-mining 19 sql 19 hacktoberfest-accepted 19 cloud-computing 19 neural-networks 19 raspberry-pi 18 chinese 18 federated-learning 18 stable-diffusion 18 azure 18 website 18 engineering 18 autonomous-driving 18 jobs 18 roadmap 18 game-engine 18 deeplearning 17 knowledge-graph 17 time-series 17 knowledge 17 startup 17 coding 17 apps 17 image-processing 17 llama 17 slam 17 cli 17 algorithm 17 statistics 17 interview 17 mobile 17 python3 17 guidelines 17 containers 17 graph 17 graphql 17 saas 17 chatbot 16 optimization 16 microservices 16 blogs 16 curated 16 decentralized 16 code 16 blog 16 marketing 16 multimodal 16 learning-resources 16 cheatsheet 16 articles 16 front-end 16 webgl 16 mlops 16 language 16 networking 16 bash 16 autonomous-vehicles 15 cloud-native 15 bugbounty 15 pentest 15 technology 15 devsecops 15 generative-art 15 software-development 15 representation-learning 15 big-data 15 machinelearning 15 aigc 15 graphics 15 prompt-engineering 15 resource 15 bert 15 reverse-engineering 15 ros 15 analytics 15 terminal 14 recommender-system 14 vuejs 14 icons 14 distributed-systems 14 selfhosted 14 detection 14 data-engineering 14 foundation-models 14 prompt 14 transformers 14 data-structures 14 nerf 14 mac 14 microservice 13 ansible 13 dotnet-core 13 nextjs 13 multimodal-deep-learning 13 generative-adversarial-network 13 font 13 mysql 13 speech-recognition 13 finance 13 webassembly 13 deep-reinforcement-learning 13 backend 13 performance 13 gis 13 3d 13 telegram 13 remote-sensing 13 foss 13 unicorns 13 agent 13 dart 13 laravel 13 cms 13 readme 13 open-data 13 p2p 12 android-library 12 oss 12 malware-analysis 12 svelte 12 dapp 12 android-development 12 guide 12 discord 12 objective-c 12 command-line 12 image 12 graphics-programming 12 rails 12 art 12 pwa 12 wordpress 12 seo 12 podcast 12 swiftui 12 haskell 12 monitoring 12 animation 12 plugins 12 ecommerce 12 gan 12 course 11 elasticsearch 11 gaming 11 creative-coding 11 front-end-development 11 storage 11 cvpr 11 point-cloud 11 js 11 react-components 11 wasm 11 node 11 free-software 11 sysadmin 11 hacktoberfest2020 11 unity3d 11 frameworks 11 planning 11 ui-design 11 question-answering 11 pose-estimation 11 databases 11 transfer-learning 11 static-analysis 11 videos 11 automl 11 hosting 11 vision-and-language 11 docs 10 developer 10 gpts 10 speech-processing 10 gpu 10 search 10 diffusion 10 design-systems 10 ux 10 postgresql 10 bookmarks 10 vr 10 rest-api 10 3d-graphics 10 search-engine 10 programming-languages 10 fuzzing 10 chatgpt-api 10 article 10 text-mining 10 vscode 10 explainable-ai 10 evm 10 operating-system 10 guides 10 language-model 10 climate-change 10 interview-questions 10 beginner-friendly 10 interpretability 10 network 10 golang-library 10 privacy-tools 10 yolo 10 model-compression 10 arduino 10 movies 10 indonesia 10 hacktoberfest2021 10 malware 10 ctf 10 text-to-image 10 webpack 10 cv 10 microservices-architecture 9 benchmark 9 generative-model 9 code-generation 9 social-network 9 blockchain-technology 9 writing 9 book 9 large-language-model 9 edge-computing 9 podcasts 9 reddit 9 ros2 9 ionic 9 applications 9 ide 9 medical-imaging 9 json 9 simulation 9 quantization 9 unix 9 reading-list 9 infrastructure-as-code 9 classification 9 management 9 webcomponents 9 augmented-reality 9 image-generation 9 leetcode 9 system-design 9 time-series-analysis 9 quantum-computing 9 swift-library 9 sustainability 9 cross-platform 9 open-science 9 machine-learning-algorithms 9 multimodal-learning 9 erlang 9 anomaly-detection 9 npm 9 unsupervised-learning 9 semantic-web 9 cicd 9 flask 9 trading 9 authentication 9 application 9 hacking-tools 9 datascience 9 jupyter-notebook 9 students 9 fpga 9 fairness 9 cuda 9 conference 9 google 9 sre 9 services 8 lidar 8 robot 8 static-site-generator 8 adversarial-machine-learning 8 reference 8 shell 8 opencv 8 self-driving-car 8 sentiment-analysis 8 flutter-apps 8 terraform 8 3d-reconstruction 8 redux 8 unreal-engine 8 bsd 8 knowledge-base 8 data-analytics 8 ruby-on-rails 8 leadership 8 spring-boot 8 bug-bounty 8 fonts 8 engine 8 xcode 8 lua 8 virtual-reality 8 semantic-segmentation 8 chemistry 8 xai 8 android-app 8 android-application 8 prometheus 8 embedded-systems 8 k8s 8 twitter 8 cncf 8 geospatial 8 electronics 8 threat-intelligence 8 cyber-security 8 in-context-learning 8 exploit 8 paperlist 8 linux-desktop 8 webapp 8 powershell 8 swift-language 8 software-architecture 8 minecraft 8