Ecosyste.ms: Awesome

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
556 projects

Last updated: 05 May 2024

awesome-georust

A curated list of awesome geospatial software, libraries, tools and resources, written in Rust

257 stars
17 forks
38 projects

Last updated: 01 May 2024

awesome-ratatui

A curated list of TUI apps and libraries built with Ratatui

awesome awesome-list ratatui rust tui

251 stars
26 forks
125 projects

Last updated: 07 May 2024

awesome-rust-tools

Harness the power of Rust. Those fast productivity tools based on Rust.

213 stars
11 forks
98 projects

Last updated: 11 Apr 2024

awesome-rust-zh

Rust资源分享中文版，每周三更新。

rust

189 stars
16 forks
96 projects

Last updated: 01 Apr 2024

awesome-quads

▦⧉⊞□ A curated list of links to miniquad/macroquad-related code & resources

awesome-list gamedev opensource rust

160 stars
16 forks
111 projects

Last updated: 22 Apr 2024

awesome-rust-zh

中文翻译: <rust-unofficial/awesome-rust> Rust 代码和资源的精选列表 :heart: 更新✅

awesome docs rust zh

101 stars
9 forks
874 projects

Last updated: 03 May 2024

awesome-rust

Rust代码和资源的整理清单汇总--全网最全，快速精通rust~欢迎star,fork!

17 stars
8 forks
849 projects

Last updated: 18 Dec 2023

awesome-rust-cn

Rust资源列表中文版主要参考自：https://github.com/rust-unofficial/awesome-rust

rust

9 stars
6 forks
868 projects

Last updated: 01 Feb 2024

awesome-egui

A collection of egui libraries and programs for inspiration

egui egui-example

2 stars
2 forks
36 projects

Last updated: 31 Mar 2024

Programming Languages

JavaScript 202 Python 120 Go 44 PHP 32 C# 30 Java 29 Swift 22 Rust 21 C++ 19 Ruby 15 Kotlin 12 Shell 7 Dart 7 C 7 Scala 6 Lua 5 Crystal 3 R 3 Solidity 3 Common Lisp 3 ActionScript 2 Racket 2 Vala 2 Clojure 2 Julia 2 Objective-C 2 Haxe 2 Groovy 2 PowerShell 2 F# 2 Elixir 2 CSS 2 PureScript 1 Vim Script 1 V 1 Typst 1 TeX 1 Smalltalk 1 ABAP 1 Ada 1 CMake 1 CoffeeScript 1 Coq 1 D 1 Erlang 1 Game Maker Language 1 GDScript 1 Gleam 1 Limbo 1 Mathematica 1 Motoko 1 Nim 1 Nix 1 OCaml 1 Pascal 1

Keywords

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