Ecosyste.ms: Awesome

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

1 "proof-assistants" 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

265 stars
8 forks
572 projects

Last updated: 05 May 2024

Keywords
awesome-list 2,628 awesome 2,325 machine-learning 345 list 303 deep-learning 296 resources 236 hacktoberfest 206 awesome-lists 198 lists 163 python 161 javascript 139 security 121 computer-vision 108 blockchain 105 data-science 87 artificial-intelligence 86 ai 78 nlp 78 react 73 open-source 73 tools 71 curated-list 66 natural-language-processing 66 android 66 chatgpt 66 ethereum 62 learning 60 ios 60 linux 58 awesome-readme 57 devops 55 papers 54 css 53 llm 50 reinforcement-learning 50 nodejs 49 computer-science 45 kubernetes 45 game-development 44 awesome-resources 44 robotics 43 golang 42 tutorial 42 macos 41 frontend 40 privacy 40 large-language-models 39 design 39 bitcoin 39 java 38 paper 38 datasets 37 deep-neural-networks 37 php 37 programming 36 collection 36 cybersecurity 36 openai 36 cloud 35 books 35 web 35 development 35 cryptocurrency 35 dataset 34 rust 34 hacking 33 go 33 web3 33 swift 32 opensource 31 data 31 neural-network 30 security-tools 30 education 30 gamedev 29 data-visualization 29 iot 29 database 29 tutorials 28 research 27 aws 27 vue 27 gpt 27 community 26 html 26 tensorflow 25 free 25 collections 25 smart-contracts 25 libraries 25 architecture 25 flutter 24 github 24 courses 24 software 24 paper-list 23 gpt-4 23 framework 23 developer-tools 23 ruby 23 docker 23 solidity 23 bioinformatics 22 algorithms 22 typescript 22 automation 22 hardware 22 game 22 defi 21 object-detection 21 reactjs 21 testing 21 react-native 21 gpt-3 21 video 21 games 21 api 20 documentation 20 cpp 20 angular 19 startups 19 best-practices 19 audio 19 links 19 music 19 survey 19 graph-neural-networks 19 science 19 serverless 18 hacktoberfest-accepted 18 web-development 18 unity 18 pytorch 18 federated-learning 18 dotnet 18 software-engineering 18 self-supervised-learning 18 segmentation 18 embedded 18 awesomeness 18 windows 18 csharp 18 awsome 17 infosec 17 youtube 17 mobile 17 computer-graphics 17 microsoft 17 cryptography 17 llms 17 ml 17 visualization 17 interview 17 raspberry-pi 17 productivity 17 neural-networks 17 transformer 17 knowledge-graph 17 data-mining 17 data-analysis 16 cloud-computing 16 kotlin 16 containers 16 time-series 16 apple 16 markdown 16 programming-language 16 deeplearning 16 pentesting 16 git 16 r 16 slam 16 front-end 15 decentralized 15 osint 15 image-processing 15 penetration-testing 15 engineering 15 multimodal 15 azure 15 django 15 crypto 15 c 15 roadmap 15 ui 15 deep-reinforcement-learning 14 marketing 14 website 14 cloud-native 14 graph 14 language 14 blogs 14 mathematics 14 jobs 14 graphql 14 awsome-list 14 microservices 14 big-data 14 cli 14 guidelines 14 opendata 14 game-engine 14 chinese 14 startup 14 machinelearning 14 autonomous-driving 13 reverse-engineering 13 self-hosted 13 detection 13 statistics 13 knowledge 13 coding 13 python3 13 sql 13 chatbot 13 autonomous-vehicles 13 vuejs 13 multimodal-deep-learning 13 webgl 13 saas 13 optimization 13 wordpress 12 bugbounty 12 code 12 generative-ai 12 generative-adversarial-network 12 finance 12 webassembly 12 analytics 12 podcast 12 backend 12 software-development 12 distributed-systems 12 bert 12 representation-learning 12 ros 12 generative-art 12 dart 12 llama 12 mlops 12 mysql 12 library 12 bash 12 diffusion-models 12 stable-diffusion 12 prompt-engineering 12 devsecops 12 svelte 12 data-engineering 12 gis 12 cms 12 recommender-system 12 speech-recognition 12 cheatsheet 11 dapp 11 remote-sensing 11 microservice 11 pwa 11 p2p 11 icons 11 laravel 11 hacktoberfest2020 11 data-structures 11 pentest 11 monitoring 11 resource 11 technology 11 seo 11 curated 11 networking 11 algorithm 11 elasticsearch 11 ecommerce 11 gan 11 automl 11 point-cloud 10 hacktoberfest2021 10 vscode 10 static-analysis 10 plugins 10 text-mining 10 question-answering 10 apps 10 malware-analysis 10 dotnet-core 10 android-library 10 performance 10 transformers 10 mac 10 oss 10 front-end-development 10 graphics 10 wasm 10 terminal 10 blog 10 graphics-programming 10 articles 10 unity3d 10 open-data 10 guide 10 rails 10 transfer-learning 10 model-compression 10 evm 10 storage 10 node 10 search 10 prompt 10 telegram 10 android-development 10 course 10 unicorns 10 search-engine 10 command-line 9 vision-and-language 9 quantum-computing 9 authentication 9 fpga 9 indonesia 9 podcasts 9 speech-processing 9 free-software 9 planning 9 pose-estimation 9 fuzzing 9 webpack 9 semantic-web 9 databases 9 sysadmin 9 vr 9 reddit 9 interview-questions 9 malware 9 frameworks 9 react-components 9 discord 9 font 9 projects 9 gpts 9 creative-coding 9 simulation 9 movies 9 reading-list 9 quantization 9 book 9 readme 9 design-systems 9 ansible 9 js 9 foss 9 trading 9 interpretability 9 language-model 9 conference 9 gaming 9 swiftui 9 twitter 8 application 8 edge-computing 8 machine-learning-algorithms 8 cross-platform 8 vision-transformer 8 tracking 8 blockchain-technology 8 gpu 8 powershell 8 haskell 8 ubuntu 8 geospatial 8 korean 8 chatgpt-api 8 ux 8 augmented-reality 8 arduino 8 prometheus 8 few-shot-learning 8 animation 8 developer 8 fairness 8 ctf 8 cv 8 privacy-tools 8 yolo 8 xcode 8 pruning 8 management 8 hosting 8 ide 8 erlang 8 bookmarks 8 neural-architecture-search 8 operating-system 8 anomaly-detection 8 xai 8 programming-languages 8 leadership 8 cvpr 8 time-series-analysis 8 microservices-architecture 8 article 8 learning-resources 8 spring-boot 8 videos 8 nerf 8 text-to-image 8 google 8 in-context-learning 8 static-site-generator 8 system-design 8 generative-model 8 postgresql 8 art 8 sentiment-analysis 8 bsd 8 multimodal-learning 8 websites 8 classification 8 jupyter-notebook 8 json 8 3d-graphics 8 software-architecture 7 3d-vision 7 golang-library 7 healthcare 7 meta-learning 7 wordpress-plugin 7 sre 7 load-testing 7 domain-adaptation 7 network 7 climate-change 7 k8s 7 image-classification 7 chinese-translation 7 tips 7 map 7 aigc 7 flutter-examples 7 infrastructure-as-code 7 social-network 7 drug-discovery 7 terraform 7 knowledge-base 7 code-generation 7 infrastructure 7 chemistry 7 selfhosted 7 production 7 speech 7 earth-observation 7 speech-to-text 7 npm 7 ui-design 7 notes 7 gcp 7 conferences 7 paas 7 spark 7 flutter-apps 7 flask 7 lightning-network 7 open-science 7 btc 7 explainable-ai 7 nginx 7 email 7 adversarial-attacks 7 minecraft 7 hacks 7 cheatsheets 7 reference 7 applications 7 physics 7 hacking-tools 7 opengl 7 curated-lists 7 interview-preparation 7 forensics 7 leetcode 7 writing 7 reasoning 7 awesome-go 7 checklist 7 semantic-segmentation 7 distributed-computing 7 unsupervised-learning 7 ionic 7 maps 7 rest-api 7 fintech 7 adversarial-machine-learning 7 guides 7 vulnerabilities 7 beginner-friendly 7 webcomponents 7 gpt4 7 bots 7 nosql 7 3d 7 data-analytics 6