Skip to content

Latest commit

 

History

History
1675 lines (1639 loc) · 569 KB

9.md

File metadata and controls

1675 lines (1639 loc) · 569 KB

QML

Name Description Author Stars
1 cool-retro-term A good looking terminal emulator which mimics the old cathode display... Swordfish90 12749

R

Name Description Author Stars
1 quantmod Quantitative Financial Modelling Framework joshuaulrich 517
2 plumber Turn your R code into a web API. rstudio 1038
3 paletteer 🎨🎨🎨 Collection of most color palettes in a single R package EmilHvitfeldt 433
4 palmerpenguins A great intro dataset for data exploration & visualization (alternative to iris). allisonhorst 299
5 hugodown Make websites with hugo and RMarkdown r-lib 60
6 ds_resources Data Science Resources reshamas 72
7 fgsea Fast Gene Set Enrichment Analysis ctlab 163
8 devtools Tools to make an R developer's life easier r-lib 1958
9 languageserver An implementation of the Language Server Protocol for R REditorSupport 248
10 mlr Machine Learning in R mlr-org 1410
11 usethis Set up commonly used 📦 components r-lib 525
12 vctrs Vector types r-lib 180
13 gt Easily generate information-rich, publication-quality tables from R rstudio 1101
14 stats337 Readings in applied data science hadley 1603
15 r4ds R for data science: a book hadley 2448
16 tidyverse Easily install and load packages from the tidyverse tidyverse 876
17 awesome-network-analysis A curated list of awesome network analysis resources. briatte 1946
18 awesome-R A curated list of awesome R packages, frameworks and software. qinwf 4071
19 investing Investing Returns on the Market as a Whole zonination 1723

Racket

Name Description Author Stars
1 talks lexi-lambda 19
2 cKanren Constraint programming language embedded in Racket calvis 134
3 pasterack The Racket pastebin. stchang 26
4 beautiful-racket Resources for the “Beautiful Racket” book mbutterick 192
5 macrotypes stchang 84
6 frog Frog is a static blog generator implemented in Racket, targeting Bootstrap and able to use Pygments. greghendershott 763
7 cur A less devious proof assistant wilbowma 162
8 awesome-racket A curated list of awesome Racket frameworks, libraries and software, maintained by Community avelino 198
9 racket The Racket repository racket 3556
10 Remora Dependently-typed language with Iverson-style implicit lifting jrslepak 68
11 fructure a structured interaction engine 🗜️ ⚗️ disconcision 232
12 racket-rash The Reckless Racket Shell willghatch 270
13 the-little-typer Resources for "The Little Typer" study group paulcadman 24
14 gradual-typing-bib A bibliography on Gradual Typing samth 202
15 rosette The Rosette solver-aided host language, sample solver-aided DSLs, and demos emina 430
16 hackett WIP implementation of a Haskell-like Lisp in Racket lexi-lambda 960
17 drracket DrRacket, IDE for Racket racket 273

Reason

Name Description Author Stars
1 fetch Fetch libraries/interface for Reason/OCaml lessp 43
2 re-classnames Reimplementation of classnames in ReasonML MinimaHQ 76
3 reason-recoil Zero-cost bindings to Facebook's Recoil library bloodyowl 84
4 reanalyze Experimental analyses for OCaml/Reason: for globally dead values/types, exception analysis, and termination analysis. reason-association 106
5 bucklescript-monorepo Example of a BuckleScript monorepo setup anmonteiro 28
6 reason-relay Use Relay with ReasonML. zth 156
7 nextjs-default Opinionated Boilerplate for NextJS, Tailwind and Reason ryyppy 69
8 styled-ppx CSS in Reason and OCaml davesnx 159
9 reasonml.org WIP Reason / BuckleScript documentation platform with intelligent design and UX reason-association 111
10 ui-component-library 🎨 ReasonML-first UI Component Library tenzir 29
11 revery-quick-start Quick Start / Sample Revery Application revery-ui 151
12 reprocessing ReasonML graphics library inspired by Processing Schmavery 656
13 restorative Simple ReasonML state management paulshen 87
14 fullstack-reason A demo project that shows a fullstack ReasonML/OCaml app–native binary + webapp yawaramin 126
15 naboris Simple, fast, minimalist http server for OCaml/ReasonML shawn-mcginty 58
16 morph A webframework for Reason and OCaml reason-native-web 95
17 advent-of-code Advent of Code in ReasonML believer 12
18 ecats An editor for category theory mbernat 10
19 wonka 🎩 A fast push & pull stream library for Reason, OCaml, and TypeScript kitten 347
20 reason-react-native ReasonML / BuckleScript bindings for React Native reason-react-native 752
21 oni2 Native, lightweight modal code editor onivim 3820
22 fnm 🚀 Fast and simple Node.js version manager, built in native ReasonML Schniz 2258
23 pesy Project configuration for esy esy 118
24 reason-design-patterns 🗺 An unofficial collection of "design patterns" for Reason and OCaml ostera 349
25 reductive Redux in Reason reasonml-community 373
26 reason-native Testing, printing, coloring, and other tools to effectively write native Reason code. facebookexperimental 402
27 bs-decode Type-safe JSON decoding for ReasonML and OCaml mlms13 104
28 revery ⚡ Native, high-performance, cross-platform desktop apps - built with Reason! revery-ui 6786
29 hazel Hazel, a live functional programming environment with typed holes hazelgrove 267
30 bs-css Statically typed DSL for writing css in reason. reasonml-labs 511
31 re-formality Form validation tool for reason-react MinimaHQ 211
32 genType Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType. reason-association 591
33 reason-react Reason bindings for ReactJS reasonml 2910
34 reason-apollo Reason binding for Apollo Client and React Apollo apollographql 540

Red

Name Description Author Stars
1 red Red is a next-generation programming language strongly inspired by Rebol, but with a broader field of usage thanks to its native-code compiler, from system programming to high-level scripting and cross-platform reactive GUI, while providing modern support for concurrency, all in a zero-install, zero-config, single 1MB file! red 4286

Rich Text Format

Name Description Author Stars
1 macdown Open source Markdown editor for macOS. MacDownApp 8345

Ring

Name Description Author Stars
1 ring The Ring Programming Language ring-lang 577

Roff

Name Description Author Stars
1 diyhpluswiki a wiki for do-it-yourself biohacking, open source hardware and transhuman tech kanzure 101
2 oasis a small statically-linked linux system oasislinux 347
3 licensecheck The licensecheck package classifies license files and heuristically determines how well they correspond to known open source licenses. google 203

Ruby

Name Description Author Stars
1 xcode-install 🔽 Install and update your Xcodes xcpretty 1986
2 libraries.io 📚 The Open Source Discovery Service librariesio 838
3 merveilles-town Fork of Mastodon repository with modifications to make Merveilles a town of our own. merveilles 6
4 rssbox 📰 I consume the world via RSS feeds, and this is my attempt to keep it that way. stefansundin 317
5 awesome-space 🛰️🚀A list of awesome space-related packages and resources maintained by The Orbital Index orbitalindex 874
6 real-world-rails Real World Rails applications and their open source codebases for developers to learn from eliotsykes 893
7 rxswift-to-combine-cheatsheet RxSwift to Apple’s Combine Cheat Sheet CombineCommunity 721
8 logstash Logstash - transport and process your logs, events, or other data elastic 11436
9 sha256-animation Animation of the SHA-256 hash function in your terminal. in3rsha 2734
10 wayback-machine-downloader Download an entire website from the Wayback Machine. hartator 2201
11 homebrew-core 🍻 Default formulae for the missing package manager for macOS Homebrew 7652
12 pgslice Postgres partitioning as easy as pie ankane 663
13 iOSDevDirectory The iOS Dev Directory daveverwer 464
14 data-science-interviews Data science interview questions and answers alexeygrigorev 1704
15 astuto A free, open source, self-hosted customer feedback tool 🦊 riggraz 684
16 pghero A performance dashboard for Postgres ankane 5393
17 dev.to Where programmers share ideas and help each other grow thepracticaldev 13396
18 dexter The automatic indexer for Postgres ankane 923
19 blazer Business intelligence made simple ankane 2526
20 sorbet A fast, powerful type checker designed for Ruby sorbet 2266
21 decidim The participatory democracy framework. A generator and multiple gems made with Ruby on Rails decidim 711
22 pgsync Sync data from one Postgres database to another ankane 1726
23 https-portal A fully automated HTTPS server powered by Nginx, Let's Encrypt and Docker. SteveLTN 3506
24 hanami The web, with simplicity. hanami 5290
25 objc-zen-book Zen and the Art of the Objective-C Craftsmanship objc-zen 2605
26 image_optim Optimize images using multiple utilities toy 1354
27 alfred-image-optim-workflow ramiroaraujo 68
28 HookHand ↪️ Runs scripts from webhooks. MikeMcQuaid 56
29 lets-build-a-blockchain A mini cryptocurrency in Ruby Haseeb-Qureshi 405
30 pry A runtime developer console and IRB alternative with powerful introspection capabilities. pry 5984
31 devdocs API Documentation Browser freeCodeCamp 23285
32 explore Community-curated topic and collection pages on GitHub github 1719
33 iStats Ruby gem for your mac stats Chris911 2023
34 watir Watir Powered By Selenium watir 1340
35 github-changelog-generator Automatically generate change log from your tags, issues, labels and pull requests on GitHub. github-changelog-generator 5995
36 licensee A Ruby Gem to detect under what license a project is distributed. licensee 407
37 metasploit-framework Metasploit Framework rapid7 20795
38 telegram-history-dump Backup Telegram chat logs using telegram-cli tvdstaaij 548
39 WWDC-Downloader Script to download the sample code for all WWDC 2018 sessions. jfahrenkrug 900
40 awesome-svg A curated list of SVG. willianjusten 3998
41 Kaffeine Keeping free Heroku apps awake. romainbutteaud 504
42 postal 📨 A fully featured open source mail delivery platform for incoming & outgoing e-mail postalhq 9843
43 byebug Debugging in Ruby 2 deivid-rodriguez 2956
44 canvas-lms The open LMS by Instructure, Inc. instructure 3389
45 grape An opinionated framework for creating REST-like APIs in Ruby. ruby-grape 9113
46 haste-client CLI client for haste-server seejohnrun 498
47 mastodon Your self-hosted, globally interconnected microblogging community tootsuite 21301
48 0.30000000000000004 Floating Point Math Examples erikwiffin 876
49 homesick Your home directory is your castle. Don't leave your dotfiles behind. technicalpickles 2253
50 nlp-with-ruby Curated List: Practical Natural Language Processing done in Ruby arbox 882
51 awesome-rails-gem A collection of awesome Ruby Gems for Rails development. hothero 2672
52 cheatsheets Collection of Dash cheat sheets Kapeli 563
53 guard Guard is a command line tool to easily handle events on file system modifications. guard 5892
54 adamantium Create immutable objects dkubb 377
55 CocoaPods The Cocoa Dependency Manager. CocoaPods 12544
56 truffleruby A high performance implementation of the Ruby programming language. Built on the GraalVM by Oracle Labs. oracle 2310
57 lobsters Computing-focused community centered around link aggregation and discussion lobsters 2635
58 ffi Ruby FFI ffi 1708
59 alfred-workflow-ruby Helper library for creating Alfred 3 Workflows with Ruby joetannenbaum 26
60 transproc The project was ported to dry-rb/dry-transformer solnic 419
61 Algorithms-and-Data-Structures-in-Ruby Ruby implementation of Algorithms,Data-structures and programming challenges kumar91gopi 404
62 sciruby Tools for scientific computation in Ruby SciRuby 946
63 vagrant Vagrant is a tool for building and distributing development environments. hashicorp 20065
64 rubocop A Ruby static code analyzer and formatter, based on the community Ruby style guide. rubocop-hq 10903
65 twitter-unfollow Unfollow everybody on Twitter KrauseFx 131
66 sinatra-template A base Sinatra application template with DataMapper, and RSpec. Just fork and build. zapnap 532
67 xcake 🍰 Describe Xcode projects in a human readable format and (re)generate one on demand. igor-makarov 518
68 awesome-awesomeness A curated list of awesome awesomeness bayandin 26211
69 git-internals-pdf PDF on Git Internals pluralsight 2038
70 danger 🚫 Stop saying "you forgot to …" in code review (in Ruby) danger 4062
71 fastlane 🚀 The easiest way to automate building and releasing your iOS and Android apps fastlane 29145
72 defstartup Musings on building groundbreaking technology companies. coffeemug 430
73 cocoapods-playgrounds 🃏 Generate Swift Playgrounds for any library. asmallteapot 1294
74 axiom Simplifies querying of structured data using relational algebra dkubb 455
75 alfredfm Last.fm Alfred Workflow filipebarros 17
76 plugin-directory Official Sketch Plugin directory sketchplugins 3338
77 alfred-drive-workflow Alfred workflow to search google drive azai91 192
78 sinatra Classy web-development dressed in a DSL (official / canonical repo) sinatra 11012
79 alfred-workflow-karabiner Karabiner profile switcher for Alfred Genki-S 4
80 talking-computer Let anyone in the office make your computer say stuff! xraystyle 105
81 octobox 📮Untangle your GitHub Notifications octobox 3945
82 alfred-dockercloud Quickly jump into docker cloud stacks jayniz 3
83 sonic-pi Code. Music. Live. samaaron 5922
84 xcpretty Flexible and fast xcodebuild formatter xcpretty 3411
85 alfred-latex-symbols-workflow 🔎 Alfred 2/3 workflow to search for latex symbol commands wookayin 23
86 alfred-itunes-dj Queue up songs to be played next in iTunes from Alfred evandcoleman 16
87 tower-alfred-workflow An Alfred workflow for searching/opening Tower git repositories cjlucas 88
88 vimdeck VIM as a presentation tool tybenz 1337
89 huginn Create agents that monitor and act on your behalf. Your agents are standing by! huginn 28663
90 riml Riml is a subset of VimL with some nice added features. It compiles to plain VimL. luke-gru 222
91 goodreads Goodreads API wrapper sosedoff 219
92 update_xcode_plugins No more messing with plugin UUIDs; Plugins on Xcode 8+! inket 1207
93 awesome-geek-podcasts A curated list of podcasts we like to listen to. guipdutra 1376
94 alfred-workflow Ruby Gem helper for building Alfred workflow. zhaocai 90
95 ruby The Ruby Programming Language [mirror] ruby 16910
96 ghi GitHub Issues on the command line. Use your $EDITOR, not your browser. stephencelis 2147
97 protobox Protobox is vagrant web GUI protobox 350
98 tmuxinator Manage complex tmux sessions easily tmuxinator 10024
99 alfred-process-killer An Alfred 2 workflow that makes it easy to kill misbehaving processes. It is, in essence, a way to easily find processes by name and kill them using kill -9. ngreenstein 517
100 alfred2-keylue-workflow Keylue (Key Clue): Alfred 2 Workflow for Menu Bar and Keyboard Maestro Hot Key Search zhaocai 39
101 alfred2-top-workflow Alfred 2 Workflow: 1) Top Processes Based Memory, CPU, and IO Usage; 2) Get a Glance of System Status zhaocai 517
102 recent-downloads-alfred-v2 Recent Downloads Workflow for Alfred v2 ddjfreedom 99
103 alfred-github-repos Alfred workflow to easily open Github repositories edgarjs 124
104 maximum-awesome Config files for vim and tmux. square 5438
105 alfred-workflows ctwise 435
106 alfred-date-calculator Alfred workflow to display or calculate with current date and time. LeEnno 64
107 JXA-Cookbook Cookbook for JavaScript for Automation in Mac OS X Yosemite JXA-Cookbook 2328
108 duckrails Development tool to mock API endpoints quickly and easily (docker image available) iridakos 1660
109 dotfiles YADR - The best vim,git,zsh plugins and the cleanest vimrc you've ever seen skwp 6524
110 wikipedia Tool for extracting plain text from wikipedia data matiasinsaurralde 32
111 alcatraz-packages Package list repository for Alcatraz alcatraz 391
112 cabalist Minimum setup machine learning (classification) library for Ruby on Rails applications. marcinwyszynski 66
113 rails Ruby on Rails rails 45834
114 alfred-workflows-addcalendarevent Workflow for Alfred 2 (and 3) to add an event in Calendar. rtoshiro 74
115 discourse A platform for community discussion. Free, open, simple. discourse 30949
116 engineering-blogs A curated list of engineering blogs kilimchoi 17024

Rust

Name Description Author Stars
1 lettre a mailer library for Rust lettre 551
2 elfkit rust elf parsing, manipulation and (re)linking toolkit aep 162
3 Clam A high-quality fractal viewer khyperia 22
4 RMI The recursive model index, a learned index structure learnedsystems 57
5 wfh rsync as you edit kzys 2
6 rust-rocks Make RocksDB really rocks! The Rust style API. bh1xuw 30
7 teloxide 📮 An elegant Telegram bots framework for Rust teloxide 290
8 convey Layer 4 load balancer with dynamic configuration loading bparli 135
9 DigEscape A game written in Rust, compilable to webbassembly TanTanDev 20
10 woz Woz is a progressive WebAssembly app (PWAA) generator for Rust. alexkehayias 99
11 webrtc-audio-processing Rust bindings for the webrtc-audio-processing library tonarino 79
12 sdfu Signed Distance Field Utilities termhn 60
13 advent-of-code Advent of Code solutions mkeeter 1
14 pont An online board game in Rust and WebAssembly mkeeter 51
15 drone-core The core crate for Drone, an Embedded Operating System. drone-os 193
16 paperclip WIP OpenAPI tooling for Rust. wafflespeanut 220
17 bus Efficient, lock-free, bounded Rust broadcast channel jonhoo 307
18 memmap-rs cross-platform Rust API for memory mapped IO danburkert 323
19 render.rs 🔏 A safe and simple template engine with the ergonomics of JSX render-rs 92
20 saturno Implementation of 'Ray Tracing in One Weekend' in Rust (and wasm) alvarosan 5
21 sad CLI search and replace | Space Age seD ms-jpq 103
22 simba Set of mathematical traits to facilitate the use of SIMD-based AoSoA (Array of Struct of Array) storage pattern. rustsim 41
23 wasm-mt A multithreading library for Rust and WebAssembly w3reality 47
24 relibc Mirror of https://gitlab.redox-os.org/redox-os/relibc redox-os 626
25 lelet golang like task executor win-t 47
26 vtext Simple NLP in Rust with Python bindings rth 83
27 glsp The GameLisp scripting language fleabitdev 100
28 tyrade A pure functional language for type-level programming in Rust willcrichton 99
29 ruffle A Flash Player emulator written in Rust ruffle-rs 2341
30 twentyfive-stars (Work-in-progress) GraphQL server written in Rust. phated 40
31 hostblock rust cli app for managing sites blocked via the hosts file cgag 91
32 k9 aaronabramov 48
33 jsparagus Parser generators mozilla-spidermonkey 264
34 cron A cron expression parser in Rust zslayton 79
35 cargo-spellcheck WIP - Checks all your documentation for spelling mistakes drahnr 122
36 bstr A string type for Rust that is not required to be valid UTF-8. BurntSushi 302
37 partial_application Partial function application macro for Rust Emerentius 17
38 rust-wasm-workshop A Workshop for Learning Rust and WebAssembly rylev 54
39 luster An experimental Lua VM implemented in pure Rust kyren 814
40 laika async Gemini protocol server gbmor 1
41 fortraith Forth for Rust's trait system Ashymad 140
42 shredder Garbage collected smart pointers for Rust Others 167
43 deno_lint Blazing fast linter for JavaScript and TypeScript written in Rust denoland 307
44 action-cli GitHub Actions without JavaScript numtide 12
45 pathfinding Pathfinding library for rust samueltardieu 254
46 fftw FFTW3 binding for Rust rust-math 26
47 ctfp-book-club Pittsburgh Functional Programming Book Club featuring Category Theory for Programmers by Bartosz Milewski chiroptical 21
48 postgrest-rs Rust client for PostgREST supabase 28
49 rustybuzz An incremental harfbuzz port to Rust RazrFalcon 45
50 esp32 Peripheral access crate for the ESP32 esp-rs 49
51 unFTP A FTP(S) server with a couple of twists written in Rust bolcom 114
52 json_typegen Tools and libraries to create Rust structs from JSON samples evestera 82
53 jlrs Julia bindings for Rust Taaitaaiger 69
54 skill-tree Skill-tree rendering nikomatsakis 54
55 lua-rs Pure Rust implementation of Lua compiler. lonng 113
56 create-your-own-lang-with-rust Create your own programming language with Rust (WIP) ehsanmok 167
57 positioned-io Read and write from offsets in Rust. vasi 19
58 alfred-workflow Rust library to write enhanced workflows for Alfred spamwax 8
59 mailchecker 📫 Cross-language temporary (disposable/throwaway) email detection library. Covers 33 078 fake email providers. FGRibreau 1152
60 alfred-crates Workflow for searching Rust crates from Alfred FGRibreau 15
61 safer_ffi Write safer FFI code in Rust without polluting it with unsafe code getditto 259
62 alfred-rs Helper library for writing Alfred workflows in Rust lilyball 21
63 tinysearch 🔍 Tiny, full-text search engine for static websites built with Rust and Wasm tinysearch 1125
64 oauth2-rs Extensible, strongly-typed Rust OAuth2 client library ramosbugs 220
65 openidconnect-rs OpenID Connect Library for Rust ramosbugs 47
66 substrate Substrate: The platform for blockchain innovators paritytech 2355
67 topngx top for NGINX gsquire 595
68 Weylus Use your tablet as graphic tablet/touch screen on your computer. H-M-H 508
69 rusturn A Rust Implementation of TURN server and client sile 40
70 schemars Generate JSON Schema documents from Rust code GREsau 67
71 hdf5-rust HDF5 for Rust aldanor 118
72 waysmoke [WIP] the next desktop shell project [WIP] DankBSD 7
73 salva 2 and 3-dimensional fluid simulation library in Rust. rustsim 82
74 lain A fuzzer framework built in Rust microsoft 410
75 hookshot Listen for webhooks, run some tasks brianloveswords 46
76 cupi Cuprum Pi is a GPIO access library for the Raspberry Pi inre 78
77 choose A human-friendly and fast alternative to cut and (sometimes) awk theryangeary 476
78 colored (Rust) Coloring terminal so simple you already know how to do it ! mackwic 552
79 fuzzcheck-rs Structure-aware, in-process, coverage-guided, evolutionary fuzzing engine for Rust functions. loiclec 131
80 counts A tool for ad hoc profiling nnethercote 35
81 conserve robust portable backup tool in Rust sourcefrog 70
82 erbium Networking services for small/home networks. isomer 4
83 ksp Reference implementation of Knowledge Server Protocol (KSP) inkandswitch 15
84 ruma Monorepo for our various Rust + Matrix crates. ruma 22
85 font-kit A cross-platform font loading library written in Rust servo 306
86 imageproc Image processing operations image-rs 247
87 mdbook-generate-summary Tool to generate an mdBook SUMMARY.md page younata 3
88 learn-rust-with-tests learn-with-tests 18
89 photon Rust/WebAssembly image processing library silvia-odwyer 638
90 vulkan-tutorial-rust Following the vulkan tutorial(https://vulkan-tutorial.com/) using the Rust programming language. unknownue 135
91 dmux A tmux workspace manager zdcthomas 104
92 glint glint is a friendly tool for creating commits in the Conventional Commit style brigand 54
93 paxakos Rust implementation of Paxos consensus algorithm benschulz 6
94 fast_rsync An optimized implementation of librsync in pure Rust. dropbox 324
95 josephine JS affine asajeffrey 51
96 wireguard-rs Mirror only. Official repository is at https://git.zx2c4.com/wireguard-rs WireGuard 218
97 shoop scp has a run-in with mosh (alpha) mcginty 372
98 snow A Rust implementation of the Noise Protocol Framework mcginty 376
99 mun Source code for the Mun language and runtime. mun-lang 759
100 hugorm 🐍 A mission-critical scripting language nilq 21
101 ttf-parser A high-level, safe, zero-allocation TrueType font parser. RazrFalcon 128
102 rust-lexer A port of Rob Pike's Go lexer to Rust jackmott 37
103 rust-simd-noise SIMD noise library for Rust jackmott 182
104 simdeez easy simd jackmott 209
105 octocrab A modern, extensible GitHub API Client for Rust. XAMPPRocky 79
106 haybale-pitchfork Verifying constant-time code with symbolic execution PLSysSec 28
107 ktrl A Supercharged Keyboard Programming Daemon ⌨️ ItayGarin 119
108 binread A Rust crate for helping parse structs from binary data using ✨macro magic✨ jam1garner 91
109 lvgl-rs LittlevGL bindings for Rust. A powerful and easy-to-use embedded GUI with many widgets, advanced visual effects (opacity, antialiasing, animations) and low memory requirements (16K RAM, 64K Flash). rafaelcaricio 100
110 deeplearn-rs Neural networks in Rust tedsta 191
111 session-types Munksgaard 416
112 deku Declarative binary reading and writing: bit-level, symmetric, serialization/deserialization sharksforarms 42
113 kuchiki (朽木) HTML/XML tree manipulation library for Rust kuchiki-rs 281
114 sudo_pair Plugin for sudo that requires another human to approve and monitor privileged sudo sessions square 981
115 fourier Fast Fourier transforms (FFTs) in Rust calebzulawski 189
116 multiversion A function multiversioning framework for Rust calebzulawski 75
117 rust-web3 Ethereum JSON-RPC multi-transport client. Rust implementation of web3 library. tomusdrw 321
118 rust-cheatsheet A type-based Rust cheatsheet upsuper 191
119 rust-raytrace Rust implementation of "Ray Tracing In One Weekend" by Peter Shirley jorendorff 25
120 gitui blazing fast terminal-ui for git written in rust extrawurst 1050
121 sonar-tantivy Search engine based on tantivy with a Node.js frontend arso-project 20
122 hypercore-protocol-rs Rust implementation of Hypercore protocol Frando 35
123 rust-libprobe libprobe: Static probes for Rust cuviper 62
124 stateright A model checker for implementing distributed systems. stateright 71
125 askama Type-safe, compiled Jinja-like templates for Rust djc 991
126 easy-parallel Run closures in parallel stjepang 62
127 jql A JSON Query Language CLI tool yamafaktory 262
128 diwata A user-friendly database interface ivanceras 372
129 muslrust Docker environment for building musl based static rust binaries clux 376
130 grammers (tele)gramme.rs - use Telegram's API from Rust Lonami 47
131 cargo-all-features A Cargo subcommand to build and test all feature flag combinations. frewsxcv 32
132 forma 🐚 An opinionated SQL formatter. maxcountryman 10
133 stack-sizes Tool to print stack usage information emitted by LLVM in human readable format japaric 32
134 prism-rust Rust implementation of the Prism consensus protocol yangl1996 32
135 arise Run a process "forever"; Run a process and spawn it when it dies. learnmerust 5
136 heapless Heapless, static friendly data structures japaric 447
137 alcro A library to create desktop apps using rust and modern web technologies Srinivasa314 81
138 socket2-rs alexcrichton 125
139 inline-python Inline Python code directly in your Rust code fusion-engineering 367
140 trait-eval We all know Rust's trait system is Turing complete, so tell me, why aren't we exploiting this??? doctorn 309
141 ods Open Data Structures (in Rust) o8vm 112
142 lifetime-variance-example Working Rust example to demonstrate variance sunshowers 46
143 aho-corasick A fast implementation of Aho-Corasick in Rust. BurntSushi 336
144 remem Utility for reusing memory rylev 52
145 cargo-instruments A cargo plugin to generate Xcode Instruments trace files cmyr 216
146 rustbuster A Comprehensive Web Fuzzer and Content Discovery Tool phra 240
147 simple-mutex A simple mutex, faster than std and smaller than parking_lot stjepang 79
148 stylus Lightweight status page for home infrastructure mmastrac 101
149 autopilot-deno 🚀 Cross-platform desktop automation library for Deno. divy-work 265
150 cargo-guppy Track and query Cargo dependency graphs. facebookincubator 143
151 gourami An intentionally small, community-focused decentralized microblogging service alexwennerberg 87
152 rust-blog Educational blog posts for Rust beginners pretzelhammer 1184
153 loqui RPC Transport Layer - with minimal bullshit. discord 183
154 wasm-tools Low level tooling for WebAssembly in Rust bytecodealliance 43
155 displaydoc A derive macro for implementing the display Trait via a doc comment and string interpolation yaahc 218
156 serenity A Rust library for the Discord API. serenity-rs 893
157 embedded-graphics A no_std graphics library for embedded applications jamwaffles 203
158 bwt A lightweight HD wallet indexer for Bitcoin, available as an Electrum RPC server and a modern HTTP REST API. shesek 120
159 quote Rust quasi-quoting dtolnay 428
160 proc-macro2 alexcrichton 175
161 angle-grinder Slice and dice logs on the command line rcoh 975
162 tsunami Rust crate for running one-off cloud jobs jonhoo 104
163 parity-wasm WebAssembly serialization/deserialization in rust paritytech 269
164 Rust All Algorithms implemented in Rust TheAlgorithms 1076
165 urlsup ✅ CLI to validate URLs in files simeg 2
166 cached Rust cache structures and easy function memoization jaemk 264
167 event-listener Notify async tasks or threads stjepang 54
168 crow A simple pixel perfect 2D rendering engine lcnr 89
169 rs-asteroids A variation on the game Asteroids, written in Rust justinmimbs 130
170 suckit Suck the InTernet Skallwar 316
171 orb.farm sealed aquatic ecosystem MaxBittker 223
172 zub-vm A super-fast, stack-based virtual machine for dynamic languages nilq 23
173 mincaml A MinCaml compiler implemented in Rust osa1 13
174 gltf-viewer glTF 2.0 Viewer written in Rust bwasty 110
175 teth Toy Ethereum implementation (WIP) bwasty 3
176 vulkan-tutorial-rs Rust version of https://github.com/Overv/VulkanTutorial bwasty 328
177 learn-opengl-rs Rust port of JoeyDeVries/LearnOpenGL bwasty 511
178 clobber TCP load testing tool, written in async Rust ragona 26
179 poi a pragmatic point-free theorem prover assistant advancedresearch 72
180 rust-typed-builder Compile-time type-checked builder derive idanarye 200
181 global-data-in-rust This guide explains how you can use "global data" in Rust paulkernfeld 99
182 wifi-password Quickly share Wi-Fi connection info bradyjoslin 12
183 as-tree Print a list of paths as a tree of paths 🌳 jez 78
184 ruruby An alternative Ruby implementation by Rust. sisshiki1969 225
185 rustc-demangle Rust symbol demangling alexcrichton 87
186 cilk (Toy) Compiler Infrastructure influenced by LLVM written in Rust maekawatoshiki 164
187 thesis My PhD thesis (eventually) jonhoo 54
188 micro-mitten You might not need your garbage collector doctorn 442
189 rust-koans Koans for the Rust programming language crazymykl 347
190 zCore Reimplement Zircon microkernel in Rust. rcore-os 534
191 proptest Hypothesis-like property testing for Rust AltSysrq 599
192 cargo-workspaces A tool for managing cargo workspaces and their crates, inspired by lerna pksunkara 65
193 learn-wgpu Guide for using gfx-rs's wgpu library. sotrh 125
194 termion Mirror of https://gitlab.redox-os.org/redox-os/termion redox-os 1271
195 rubyfmt Ruby Autoformatter! penelopezone 618
196 varisat SAT solver written in Rust jix 134
197 synchronicity Distributed build system providing cryptographic proofs-of-reproducibility via Byzantine Fault Tolerant (BFT) consensus iqlusioninc 74
198 maelstrom High performance Matrix Home Server in rust. maelstrom-rs 103
199 varlociraptor Flexible, uncertainty-aware variant calling with parameter free filtration via FDR control. varlociraptor 38
200 bvh A fast BVH using SAH in rust svenstaro 97
201 colorous Color schemes for charts and maps dtolnay 113
202 parity-db Experimental blockchain database paritytech 17
203 polkadot Polkadot Node Implementation paritytech 976
204 ink Parity's ink to write smart contracts paritytech 219
205 smol A small and fast async runtime for Rust stjepang 1520
206 cargo-udeps Find unused dependencies in Cargo.toml est31 309
207 webrtc-sdp Rust SDP parser for WebRTC mozilla 89
208 ingraind Data first monitoring agent using (e)BPF, built on RedBPF redsift 177
209 zinc Zinc Framework: the ZK circuit programming language and VM matter-labs 64
210 distaff Zero-knowledge virtual machine written in Rust GuildOfWeavers 76
211 cacao Rust bindings for AppKit (macOS) and UIKit (iOS/tvOS). Experimental, but working! ryanmcgrath 48
212 elba A package manager for Idris elba 154
213 libm A port of MUSL's libm to Rust. rust-lang 234
214 fluvio Cloud-native distributed data streaming platform infinyon 78
215 telefork Like fork() but teleports the forked process to a different computer! trishume 349
216 pico-args An ultra simple CLI arguments parser. RazrFalcon 98
217 libhermit-rs libhermit-rs: A Rust-based library operting system hermitcore 470
218 toydb Distributed SQL database in Rust, written as a learning project erikgrinaker 27
219 lsp-server rust-analyzer 27
220 artifact The open source design documentation tool for everybody vitiral 532
221 curryrs Bridge the gap between Haskell and Rust mgattozzi 219
222 rustbreak A simple, fast and easy to use self-contained single file storage for Rust TheNeikos 248
223 hex 🔮 Futuristic take on hexdump, made in Rust. sitkevij 162
224 surfman Accelerated offscreen graphics for WebGL servo 76
225 json Strongly typed JSON library for Rust serde-rs 1617
226 sv-parser SystemVerilog parser library fully complient with IEEE 1800-2017 dalance 118
227 grex A command-line tool and library for generating regular expressions from user-provided test cases pemistahl 907
228 cortex-a Low level access to Cortex-A processors rust-embedded 33
229 usbarmory.rs Bare metal Rust support for USB armory MkII devices iqlusioninc 44
230 linkify Rust library to find links such as URLs and email addresses in plain text, handling surrounding punctuation correctly robinst 63
231 rebuilderd Independent verification of binary packages - reproducible builds kpcyrd 138
232 validator Simple validation for Rust structs Keats 495
233 itertools Extra iterator adaptors, iterator methods, free functions, and macros. rust-itertools 916
234 rust-native-tls sfackler 227
235 paddlers-browser-game A multi-player real-time strategy browser game jakmeier 39
236 mobilecoin Private payments for mobile devices. mobilecoinofficial 123
237 hamt-rs A Persistent Map Implementation based on Hash Array Mapped Tries michaelwoerister 146
238 rstest Fixture-based test framework for Rust la10736 118
239 structopt Parse command line arguments by defining a struct. TeXitoi 1570
240 KeyToKey Rust keyboard firmware library TyberiusPrime 34
241 video-summarizer Summarizes videos into much shorter videos. Ideal for long lecture videos. SoptikHa2 20
242 desed Debugger for Sed: demystify and debug your sed scripts, from comfort of your terminal. SoptikHa2 626
243 ClojureRS Clojure, implemented atop Rust (unofficial) clojure-rs 429
244 pikelet (Please don’t repost, this is still a WIP) A friendly little systems language with first-class types and unboxed data. pikelet-lang 354
245 gimli A blazing fast library for consuming the DWARF debugging format gimli-rs 344
246 mach A rust interface to the Mach 3.0 kernel that underlies OSX. fitzgen 47
247 cliff Find the load at which a benchmark falls over. jonhoo 31
248 cfg-if A if/elif-like macro for Rust #[cfg] statements alexcrichton 178
249 parking_lot Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives. Amanieu 936
250 veloren [Mirror] An open world, open source voxel RPG inspired by Dwarf Fortress and Cube World veloren 480
251 tunnelto Expose your local web server to the internet with a public URL. agrinman 347
252 semval Semantic validation for Rust slowtec 61
253 trybuild Test harness for ui tests of compiler diagnostics dtolnay 190
254 mac-notification-sys ✉️ A simple wrapper to deliver or schedule macOS Notifications in Rust h4llow3En 33
255 nanoid A tiny, secure, URL-friendly, unique string ID generator for Rust nikolay-govorov 125
256 linfa A Rust machine learning framework. LukeMathWalker 212
257 twilight An asynchronous, extensible ecosystem of Rust libraries for the Discord API. twilight-rs 64
258 biscuit JOSE (JSON Web Token) Library for Rust lawliet89 90
259 peacock A game engine for making beautiful games maxdeviant 42
260 os_str_bytes Traits for converting between byte sequences and platform-native strings. dylni 31
261 nomino Batch rename utility for developers yaa110 235
262 numtoa An efficient method of heaplessly converting numbers into their string representations, storing the representation within a reusable byte array. mmstick 37
263 RSA RSA implementation in pure Rust RustCrypto 86
264 boa Boa is an embeddable and experimental Javascript engine written in Rust. Currently, it has support for some of the language. boa-dev 1229
265 rust_libloading A better library for loading dynamic libraries nagisa 446
266 rust_minifb Cross platfrom window and framebuffer crate for Rust emoon 394
267 rs_pbrt Rust crate to implement at least parts of the PBRT book's C++ code. See also https://www.rs-pbrt.org/about ... wahn 355
268 rayt Monte Carlo ray tracer developed using Rust Dalamar42 178
269 rust-bitcoin-indexer Powerful & versatile Bitcoin Indexer, in Rust dpc 44
270 good-web-game A minimal 2d game framework for wasm. not-fl3 154
271 dtt experiments with Martin-Löf type theory ⋃ erasure ⋃ Rust phase 2
272 static-filez Build compressed archives for static files and serve them over HTTP killercup 33
273 glam-rs A simple and fast linear algebra library for games and graphics bitshifter 189
274 syntect Rust library for syntax highlighting using Sublime Text syntax definitions. trishume 790
275 gdbstub An implementation of the GDB Remote Serial Protocol in Rust. daniel5151 17
276 ugdb An alternative TUI for gdb ftilde 185
277 probe-rs A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host probe-rs 209
278 piet-gpu An experimental GPU compute-centric 2D renderer. linebender 199
279 powerline-rust powerline-shell written in Rust cirho 17
280 pickledb-rs PickleDB-rs is a lightweight and simple key-value store. It is a Rust version for Python's PickleDB seladb 62
281 cracking-the-coding-interview-rust Cracking the Coding Interview problem solutions in Rust brndnmtthws 190
282 mini-redis Incomplete Redis client and server implementation using Tokio tokio-rs 485
283 regex-automata A low level regular expression library that uses deterministic finite automata. BurntSushi 180
284 rumqtt Mqtt ecosystem in rust tekjar 109
285 dynomite ⚡🦀 🧨 make your rust types fit DynamoDB and visa versa softprops 93
286 bollard Docker daemon API in Rust fussybeaver 98
287 saltwater saltwater: the part of the sea causing lots of rust jyn514 157
288 time Simple time handling in Rust time-rs 208
289 tinyvec Just, really the littlest Vec you could need. So smol. Lokathor 131
290 rustc_codegen_cranelift Cranelift backend for rustc bjorn3 416
291 flutter-rs Build beautiful desktop apps with flutter and rust. 🌠 (wip) flutter-rs 1480
292 llvm-ir LLVM IR in natural Rust data structures cdisselkoen 77
293 enarx Tools for deploying WebAssembly into Enarx Keeps. enarx 141
294 magicpak 🔨 Build minimal docker images without static linking coord-e 513
295 kickstart A scaffolding tool to get new projects up and running quickly Keats 135
296 rust-prometheus Prometheus instrumentation library for Rust applications tikv 462
297 printpdf An easy-to-use library for writing PDF in Rust fschutt 317
298 generational-arena A safe arena allocator that allows deletion without suffering from the ABA problem by using generational indices. fitzgen 376
299 slack-rs slack realtime messaging client for rust slack-rs 169
300 sqlparser-rs Extensible SQL Lexer and Parser for Rust andygrove 374
301 mockall A powerful mock object library for Rust asomers 233
302 comrak CommonMark + GFM compatible Markdown parser and renderer kivikakk 316
303 linkerd2-proxy The world's best service mesh proxy. Written in Rust. linkerd 680
304 http-types Common types for HTTP operations http-rs 75
305 async-graphql A GraphQL server library implemented in Rust async-graphql 801
306 merkle-tree-stream A stream that generates a merkle tree based on the incoming data. datrs 41
307 tower-web A fast, boilerplate free, web framework for Rust carllerche 879
308 valora painting by functions turnage 390
309 BidirectionalTypechecking Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" JDemler 72
310 example Test Rust application with multiple example workflows enabled actions-rs 64
311 kubie A more powerful alternative to kubectx and kubens sbstp 402
312 internment Interning of data in rust droundy 24
313 h2 HTTP 2.0 client & server implementation for Rust. hyperium 803
314 bytes Utilities for working with bytes tokio-rs 514
315 codespan Beautiful diagnostic reporting for text-based programming languages. brendanzab 264
316 salsa A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system. salsa-rs 591
317 rust.ko A minimal Linux kernel module written in rust. tsgates 724
318 rust-minibrowser minibrowser written in rust joshmarinacci 39
319 llama Rust LLVM bindings zshipko 10
320 feather A Minecraft server implementation in Rust feather-rs 458
321 cfg_aliases A tiny utility to help save you a lot of effort with long winded #[cfg()] checks in Rust. katharostech 10
322 tiger-rs Rust implementation of the projects from the book Modern Compiler Implementation in ML antoyo 95
323 R2 Router in Rust gopakumarce 156
324 git2-rs libgit2 bindings for Rust rust-lang 667
325 ctest Automatic testing of FFI bindings for Rust gnzlbg 119
326 monkey_lang_rust bradford-hamilton 4
327 matrix-rust-sdk Matrix Client-Server SDK for Rust matrix-org 66
328 rust-ctor Module initialization/global constructor functions for Rust mmastrac 129
329 inventory Typed distributed plugin registration dtolnay 208
330 intermodal 📦 Intermodal: A 40' foot shipping container for the internet casey 187
331 game-engine A project for me to explore writing a game engine from scratch. tuzz 9
332 bolt-rs Communicate with Bolt-compatible graph databases in Rust! ⚡ lucis-fluxum 19
333 handlebars-rust Rust templating with Handlebars sunng87 526
334 TCN Specification and reference implementation of the TCN Protocol for decentralized, privacy-preserving contact tracing. TCNCoalition 234
335 RustGnuplot A Rust library for drawing plots, powered by Gnuplot. SiegeLord 292
336 dns-over-wikipedia Redirect .idk domains using the official link found on a topic's Wikipedia page aaronjanse 654
337 autodapp Instantly decentralize your web app autodapp 45
338 naga Universal shader translation in Rust gfx-rs 139
339 llhd Low Level Hardware Description — A foundation for building hardware design tools. fabianschuiki 147
340 team Rust teams structure rust-lang 75
341 canduma A Rust Boilerplate server with GraphQL API, Diesel, PostgreSQL, session authentication and JWT clifinger 474
342 process-viewer A process viewer GUI in rust GuillaumeGomez 261
343 rust-etcd An etcd client library for Rust. jimmycuadra 115
344 desert traits for {de,}serializing compact binary formats substack 47
345 thiserror derive(Error) for struct and enum error types dtolnay 836
346 mockito HTTP mocking for Rust! lipanski 256
347 prusti-dev A static verifier for Rust, based on the Viper verification infrastructure. viperproject 182
348 wasminspect An interactive debugger for WebAssembly kateinoigakukun 21
349 parity-common Collection of crates used in Parity projects paritytech 90
350 loom Concurrency permutation testing tool for Rust. tokio-rs 596
351 adblock-rust Brave's Rust-based adblock engine brave 309
352 CoverM Read coverage calculator for metagenomics wwood 48
353 lazy-static.rs A small macro for defining lazy evaluated static variables in Rust. rust-lang-nursery 909
354 hashes Collection of cryptographic hash functions written in pure Rust RustCrypto 491
355 fehler Rust doesn't have exceptions withoutboats 453
356 dupe-krill A fast file deduplicator kornelski 85
357 sm 🚀 SM – a static State Machine library rustic-games 130
358 godot-rust Rust bindings for GDNative godot-rust 817
359 docs.rs crates.io documentation generator rust-lang 481
360 lz4-rs Rust LZ4 bindins library bozaro 112
361 rust-dataframe A Rust DataFrame implementation, built on Apache Arrow nevi-me 209
362 knowledge-base λ The Input and Functions of My Thinking (Migration with TARS in Progress) allenleein 284
363 nsh A command-line shell like fish, but POSIX compatible. nuta 66
364 rsedis Redis re-implemented in Rust. seppo0010 1399
365 async-task Task abstraction for building executors async-rs 183
366 hubcaps a rust interface for github softprops 210
367 resvg An SVG rendering library. RazrFalcon 717
368 rargs xargs + awk with pattern matching support. ls *.bak | rargs -p '(.*)\.bak' mv {0} {1} lotabout 248
369 explaine.rs An interactive Rust syntax playground jrvidal 65
370 derive_more Some more derive(Trait) options JelteF 534
371 automerge-rs Rust implementation of automerge automerge 107
372 crush Crush is an attempt to make a command line shell that is also a powerful modern programming language. liljencrantz 262
373 legion High performance Rust ECS library TomGillen 632
374 rweb Yet another web server framework for rust kdy1 134
375 zz 🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C zetzit 1289
376 stork 🔎 Impossibly fast web search, made for static sites. jameslittle230 343
377 froggy Component Graph System experiment kvark 182
378 kmon Linux Kernel Manager and Activity Monitor 🐧💻 orhun 855
379 intrusive-rs Intrusive collections for Rust Amanieu 197
380 wain WebAssembly implementation from scratch in Safe Rust with zero dependencies rhysd 109
381 hecs A handy ECS Ralith 127
382 xcnotary the missing macOS app notarization helper, built with Rust akeru-inc 536
383 num A collection of numeric types and traits for Rust. rust-num 496
384 rust Rust language bindings for TensorFlow tensorflow 2521
385 rspirv Rust implementation of SPIR-V module processing functionalities gfx-rs 285
386 keyberon A hand wired ortholinear mechanical keyboard with a firmware in rust TeXitoi 193
387 cargo-cache manage cargo cache (${CARGO_HOME}, ~/.cargo/), print sizes of dirs and remove dirs selectively matthiaskrgr 241
388 embedded2020 A fresh look at embedded Rust development japaric 31
389 bleboard Simple app to make any keyboard bluetooth enabled dfrankland 3
390 zebra An ongoing Rust implementation of a Zcash node. 🦓 ZcashFoundation 132
391 libpnet Cross-platform, low level networking using the Rust programming language. libpnet 1161
392 genawaiter Stackless generators on stable Rust. whatisaphone 229
393 grcov Rust tool to collect and aggregate code coverage data for multiple source files mozilla 334
394 rust-boomphf Fast and scalable minimal perfect hashing for massive key sets 10XGenomics 46
395 rvemu RISC-V online emulator with WebAssembly generated by Rust. d0iasm 194
396 wundergraph weiznich 138
397 rudr A Kubernetes implementation of the Open Application Model specification oam-dev 1486
398 pebble Microkernel and userspace written in Rust, with first-class message passing IsaacWoods 126
399 proc-macro-workshop Learn to write Rust procedural macros  [Rust Latam conference, Montevideo Uruguay, March 2019] dtolnay 654
400 generator A binding and CLI generator for all google APIs google-apis-rs 42
401 cargo-tree sfackler 530
402 jvm JVM written in Rust douchuan 273
403 bare-metal Abstractions common to microcontrollers rust-embedded 55
404 r4cppp Rust for C++ programmers nrc 1733
405 broom An ergonomic tracing garbage collector that supports mark 'n sweep garbage collection zesterer 191
406 once_cell Rust library for single assignment cells and lazy statics without macros matklad 419
407 rg3d 3d game engine written in Rust mrDIMAS 176
408 rust-design-pattern rust design patterns lpxxn 300
409 stevenarella Multi-protocol Minecraft-compatible client written in Rust iceiix 540
410 pixels A tiny hardware-accelerated pixel frame buffer. 🦀 parasyte 303
411 cargo-modules A cargo plugin for showing a tree-like overview of a crate's modules. regexident 197
412 tetra 🎮 A simple 2D game framework written in Rust 17cupsofcoffee 301
413 byteorder Rust library for reading/writing numbers in big-endian and little-endian. BurntSushi 537
414 anyhow Flexible concrete Error type built on std::error::Error dtolnay 1020
415 alchemy An experimental GUI framework for Rust, backed by per-platform native widgets. React, AppKit/UIKit inspired. EXPERIMENTAL, runs on Cocoa right now. ;P ryanmcgrath 315
416 stringsext Find multi-byte-encoded strings in binary data. getreu 37
417 metal-rs Rust bindings for Metal gfx-rs 113
418 rust-ipfs The Interplanetary File System (IPFS), implemented in Rust rs-ipfs 512
419 juniper-from-schema Schema first GraphQL in Rust with Juniper davidpdrsn 144
420 zenith Zenith - sort of like top or htop but with zoom-able charts, CPU, GPU, network, and disk usage bvaisvil 357
421 riscv-rust RISC-V processor emulator written in Rust+WASM takahirox 165
422 vulkano Safe and rich Rust wrapper around the Vulkan API vulkano-rs 2273
423 rust-derive-builder derive builder implementation for rust structs colin-kiegel 407
424 rusty_v8 V8 javascript bindings for Rust denoland 1052
425 recipes A Hands-On Cookbook for Aspiring Blockchain Chefs substrate-developer-hub 71
426 wasm-flate 🗜️⚡WebAssembly powered compression and decompression in the browser and server. Supports GZIP, ZLIB and DEFLATE drbh 278
427 flume A safe and fast multi-producer, single-consumer channel. zesterer 425
428 parze A clean, efficient parser combinator zesterer 109
429 tui-rs Build terminal user interfaces and dashboards using Rust fdehau 3023
430 webview_deno Deno bindings for webview, a tiny library for creating web-based desktop GUIs webview 399
431 plotlib Data plotting library for Rust milliams 258
432 markedit A library for manipulating unstructured Markdown documents. Michael-F-Bryan 46
433 gsync rsync-like command to sync a git repo to a remote machine via git itself. ScaleComputing 5
434 tarpaulin A code coverage tool for Rust projects xd009642 847
435 indextree Arena based tree 🌲 structure by using indices instead of reference counted pointers saschagrunert 319
436 bottlerocket An operating system designed for hosting containers bottlerocket-os 2930
437 rnix-lsp WIP Language Server for Nix! [maintainer=@jD91mZM2] nix-community 44
438 rust-dispatch Rust wrapper for Apple's Grand Central Dispatch. SSheldon 66
439 rust-block Rust interface for Apple's C language extension of blocks. SSheldon 20
440 rust-objc Objective-C Runtime bindings and wrapper for Rust. SSheldon 221
441 belay Run your CI checks locally to git push with confidence JoshMcguigan 37
442 async-on-embedded ferrous-systems 67
443 oha Ohayou(おはよう), HTTP load generator, inspired by rakyll/hey with tui animation. hatoo 162
444 cantine Utilities to drive a tantivy search index and a cooking recipe JSON API for dogfooding caio 9
445 adapton.rust General-purpose abstractions for incremental computing, in Rust Adapton 135
446 shiplift 🐳 🦀 rust interface for maneuvering docker containers softprops 337
447 serde-yaml Strongly typed YAML library for Rust dtolnay 283
448 zoxide A faster way to navigate your filesystem ajeetdsouza 1141
449 git-trim Automatically trims your branches whose tracking remote refs are merged or stray foriequal0 188
450 bottom Yet another cross-platform graphical process/system monitor. ClementTsang 393
451 octopus_query octopus - query arrays of integers jackdoe 5
452 tokio-beanstalkd Asynchronous client library for interacting with the Beanstalkd work queue. bIgBV 13
453 gtk GTK+ 3.x bindings and wrappers for Rust gtk-rs 1187
454 cargo-outdated A cargo subcommand for displaying when Rust dependencies are out of date kbknapp 506
455 compiler-builtins Porting compiler-rt intrinsics to Rust rust-lang 138
456 rust mdx, in rust. maybe. mdx-js 27
457 async-trait Type erasure for async trait methods dtolnay 503
458 http Host These Things Please - a basic http server for hosting a folder fast and simply thecoshman 219
459 wezterm A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust wez 350
460 gamma A graph library for Rust. metamolecular 87
461 tracing Application level tracing for Rust. tokio-rs 752
462 rusqlite Ergonomic bindings to SQLite for Rust rusqlite 756
463 apply-user-defaults A small utility to set macOS user defaults declaratively from a YAML file. zero-sh 16
464 enigo Cross platform input simulation in Rust enigo-rs 185
465 atelier-assets An asset management & processing framework for game engines. amethyst 106
466 vgtk A declarative desktop UI framework for Rust built on GTK and Gtk-rs bodil 482
467 mullvadvpn-app The Mullvad VPN client app for desktop and mobile mullvad 958
468 roadrunner A fast and configurable prompt for shells juanibiapina 48
469 oxipng Multithreaded PNG optimizer written in Rust shssoichiro 866
470 materialize The Streaming SQL Database powered by Timely Dataflow MaterializeInc 1364
471 texlab An implementation of the Language Server Protocol for LaTeX latex-lsp 276
472 orjson Fast, correct Python JSON library supporting dataclasses, datetimes, and numpy ijl 1040
473 codegen Automatic peephole optimizer for Cranelift JIT compiler jubitaneja 10
474 drill Drill is a HTTP load testing application written in Rust inspired by Ansible syntax fcsonline 576
475 tmux-thumbs A lightning fast version of tmux-fingers written in Rust, copy/pasting tmux like vimium/vimperator fcsonline 198
476 kibi A text editor in ≤1024 lines of code, written in Rust ilai-deutel 386
477 cargo-profiler Cargo subcommand to profile binaries svenstaro 313
478 log Logging implementation for Rust rust-lang 828
479 slingshot A new blockchain architecture under active development, with a strong focus on scalability, privacy and safety stellar 243
480 BoringAuth Straightforward password, passphrase, TOTP, and HOTP user authentication ThinkAlexandria 36
481 libreauth LibreAuth is a collection of tools for user authentication. breard-r 145
482 squeeze 🍊 Extract rich information from any text aymericbeaumet 3
483 tera A template engine for Rust based on Jinja2/Django Keats 1215
484 rowan rust-analyzer 135
485 roa async web framework inspired by koajs, lightweight but powerful. Hexilee 197
486 frauth Peer to Peer Friend Authentication jamesmunns 22
487 graphlib Simple but powerful graph library for Rust purpleprotocol 140
488 cargo-bundle Wrap rust executables in OS-specific app bundles burtonageo 217
489 roaring-rs Roaring bitmap implementation for Rust Nemo157 118
490 napkin-math Techniques and numbers for estimating system's performance from first-principles sirupsen 314
491 memory-profiler koute 1857
492 dotenv-linter ⚡️Lightning-fast linter for .env files. Written in Rust 🦀 dotenv-linter 348
493 cloud-hypervisor A rust-vmm based cloud hypervisor cloud-hypervisor 733
494 cargo-make Rust task runner and build tool. sagiegurari 632
495 rtss Relative TimeStamps for Stuff Freaky 32
496 orange_slice A research kernel and hypervisor attempting to get fully deterministic emulation with minimum performance cost gamozolabs 428
497 websocat Command-line client for WebSockets, like netcat (or curl) for ws:// with advanced socat-like functions vi 1874
498 sticker A LSTM/Transformer/dilated convolution sequence labeler stickeritis 19
499 sticker-transformers Pretrained transformer models for sticker stickeritis 13
500 tch-rs Rust bindings for the C++ api of PyTorch. LaurentMazare 649
501 crates-io-cli Interact with crates.io from the command-line Byron 84
502 mendes Rust web toolkit for impatient perfectionists djc 12
503 faux Traitless Mocking Library for Rust nrxus 171
504 zrs faster 'z': jump to frecently used directories FauxFaux 16
505 ultraviolet A wide linear algebra crate for games and graphics. termhn 249
506 amber A code search / replace tool dalance 183
507 procs A modern replacement for ps written in Rust dalance 934
508 bliss Ignorance is bliss! Ignore your .gitignore ajmwagar 131
509 rust-bio This library provides implementations of many algorithms and data structures that are useful for bioinformatics. All provided implementations are rigorously tested via continuous integration. rust-bio 685
510 foundationdb-rs FoundationDB Rust client api Clikengo 120
511 argh Rust derive-based argument parsing optimized for code size google 615
512 pueue 🌠 Manage your shell commands. Nukesor 585
513 fasteval Fast and safe evaluation of algebraic expressions likebike 151
514 msgpack-rust MessagePack implementation for Rust / msgpack.org[Rust] 3Hren 465
515 ritual Use C++ libraries from Rust rust-qt 651
516 rust-music-theory A music theory guide written in Rust. ozankasikci 367
517 self_update Self updates for rust executables jaemk 341
518 neovide No Nonsense Neovim Client in Rust Kethku 1353
519 ytop A TUI system monitor written in Rust cjbassi 1497
520 sniffglue Secure multithreaded packet sniffer kpcyrd 527
521 HdrHistogram_rust A port of HdrHistogram to Rust HdrHistogram 110
522 cargo-generate cargo, make me a project ashleygwilliams 474
523 desse Ultra fast binary serialization and deserialization for types with a constant size (known at compile time). devashishdxt 87
524 krustlet Kubernetes Rust Kubelet deislabs 958
525 Thruster A fast, middleware based, web framework written in Rust thruster-rs 586
526 rx 👾 Modern and minimalist pixel editor cloudhead 1333
527 roperator Experimental Kubernetes Operator kit written in Rust psFried 119
528 jwt-cli A super fast CLI tool to decode and encode JWTs built in Rust mike-engel 192
529 cargo-raze Generate Bazel BUILD from Cargo dependencies! google 207
530 directories-rs a mid-level library that provides config/cache/data paths, following the respective conventions on Linux, macOS and Windows dirs-dev 236
531 yaml-rust A pure rust YAML implementation. chyh1990 368
532 jsonrpc Rust JSON-RPC implementation paritytech 371
533 rust-crdt a collection of well-tested, serializable CRDTs for Rust rust-crdt 325
534 verso A new approach to literate programming. nickpascucci 24
535 interact Online introspection for Rust interact-rs 237
536 ureq Minimal request library in rust. algesten 247
537 git-series Track changes to a patch series over time git-series 242
538 bita Differential file synchronization over http oll3 116
539 dashmap Blazing fast concurrent HashMap for Rust. xacrimon 779
540 rustrogueliketutorial Roguelike Tutorial in Rust - using RLTK thebracket 261
541 gate A specialized 2D game library SergiusIW 234
542 rio pure rust io_uring library, built on libc, thread & async friendly, misuse resistant spacejam 478
543 chars cha(rs) is a commandline tool to display information about unicode characters antifuchs 111
544 wgpu-rs Rust bindings to wgpu native library gfx-rs 829
545 habitctl Minimalist command line tool you can use to track and examine your habits. blinry 246
546 rust-postgres-query Write and execute SQL queries with ease nolanderc 49
547 mikado 2-8-2, a RISC-V Experimental OS benbrittain 24
548 tokenizers 💥Fast State-of-the-Art Tokenizers optimized for Research and Production huggingface 3312
549 crossterm Cross platform terminal library rust crossterm-rs 710
550 duct.rs a Rust library for running child processes oconnor663 286
551 httparse A push parser for the HTTP 1.x protocol in Rust. seanmonstar 226
552 semver-trick How to avoid complicated coordinated upgrades dtolnay 179
553 cxx Safe interop between Rust and C++ dtolnay 1301
554 ws-rs Lightweight, event-driven WebSockets for Rust. housleyjk 1099
555 krabs An x86 bootloader written in Rust. o8vm 276
556 redshirt 🧑‍🔬 Operating system tomaka 913
557 papyrus (Rust) repl kurtlawrence 331
558 grpc-rust Rust implementation of gRPC stepancheg 986
559 pretty.rs Wadler-style pretty-printing combinators in Rust Marwes 62
560 insta A snapshot testing library for rust mitsuhiko 446
561 cloudflare-rs Rust library for the Cloudflare v4 API cloudflare 84
562 cuneiform Cache & In-Memory optimizations for Rust, revived from the slabs of Sumer. vertexclique 23
563 sqlx 🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, and SQLite. launchbadge 2085
564 deadpool Dead simple pool implementation for rust with async-await bikeshedder 223
565 quick-protobuf A rust implementation of protobuf parser tafia 215
566 bnf Parse BNF grammar definitions shnewto 96
567 crates A collection of open source Rust crates from iqlusion iqlusioninc 131
568 diskus A minimal, fast alternative to 'du -sh' sharkdp 591
569 luminance-rs Type-safe, type-level and stateless Rust graphics framework phaazon 496
570 procfs Rust library for reading the Linux procfs filesystem eminence 65
571 chrono Date and time library for Rust chronotope 1220
572 sqs-lambda A Rust crate for writing AWS Lambdas that are triggered by SQS grapl-security 15
573 vixi A vim like client for the xi backend Peltoche 281
574 imgui-rs Rust bindings for dear imgui Gekkio 916
575 catflap 🐈🚪 Creates listening sockets and passes their FDs to a child process passcod 122
576 bandwhich Terminal bandwidth utilization tool imsnif 5497
577 rust-lambda Guide for Creating an AWS Lambda Function using Rust SilentByte 14
578 dtool A command-line tool collection to assist development guoxbin 176
579 rage A simple, secure and modern encryption tool with small explicit keys, no config options, and UNIX-style composability. str4d 540
580 viu Simple terminal image viewer written in Rust. atanunq 592
581 prettytable-rs A rust library to print aligned and formatted tables phsym 444
582 mitosis Spawn processes with arbitrary closures in rust Manishearth 95
583 http Rust HTTP types hyperium 536
584 differential-dataflow An implementation of differential dataflow using timely dataflow on Rust. TimelyDataflow 928
585 evm Pure Rust implementation of Ethereum Virtual Machine rust-blockchain 55
586 rux A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4. sorpaas 222
587 lol-html Low output latency streaming HTML parser/rewriter with CSS selector-based API cloudflare 417
588 refpool An efficient memory pool mechanism for Rust. bodil 24
589 quicksilver A simple framework for 2D games on desktop and web ryanisaacg 621
590 rustysd A service manager that is able to run "traditional" systemd services, written in rust KillingSpark 385
591 zksnark-rs Zero knowledge succinct arguments of knowledge, written in Rust republicprotocol 35
592 tract Tiny, no-nonsense, self-contained, Tensorflow and ONNX inference snipsco 548
593 vicuna 🦙 AWS Lambdas in Rust, made simple. curology 11
594 rust-cpython Rust <-> Python bindings dgrunwald 1260
595 bitvec A crate for managing memory bit by bit myrrlyn 239
596 riker Easily build efficient, highly concurrent and resilient applications. An Actor Framework for Rust. riker-rs 568
597 abstreet A traffic simulation game exploring how small changes to roads affect cyclists, transit users, pedestrians, and drivers. dabreegster 2669
598 juggernaut Neural Network in Rust afshinm 232
599 refinery Powerful SQL migration toolkit for Rust. rust-db 391
600 xcp An extended cp tarka 82
601 orbtk The Rust UI-Toolkit. redox-os 2232
602 declarative-dataflow A reactive query engine built on differential dataflow. comnik 224
603 evcxr google 1466
604 rediSQL Redis module that provides a completely functional SQL database RedBeardLab 1276
605 ndarray ndarray: an N-dimensional array with array views, multidimensional slicing, and efficient operations rust-ndarray 1326
606 dhall-rust Maintainable configuration files, for Rust users Nadrieril 138
607 draco Draco is a Rust library for building client side web applications with Web Assembly. utkarshkukreti 260
608 smithy A framework for building WebAssembly apps in Rust rbalicki2 233
609 constellation Distributed programming for Rust. constellation-rs 198
610 now-rust Community based builder for using rust on the now/zeit platform mike-engel 122
611 haybale Symbolic execution of LLVM IR with an engine written in Rust PLSysSec 166
612 iced A cross-platform GUI library for Rust, inspired by Elm hecrj 6228
613 rug A stripped-down version of Git, implemented in Rust samrat 118
614 sonnerie A simple timeseries database njaard 138
615 warp A super-easy, composable, web server framework for warp speeds. seanmonstar 2596
616 cargo-edit A utility for managing cargo dependencies from the command line. killercup 1262
617 amadeus Harmonious distributed data analysis in Rust. constellation-rs 114
618 rust-partial-io Rust library that provides helpers for testing resilience of IO operations facebookincubator 117
619 dino Compiler / PL Experimentation sunjay 5
620 cargo-crev A cryptographically verifiable code review system for the cargo (Rust) package manager. crev-dev 1079
621 vagga Vagga is a containerization tool without daemons tailhook 1665
622 signal-hook Rust library allowing to register multiple handlers for the same signal vorner 229
623 cargo-deny ❌ Cargo plugin for linting your dependencies 🦀 EmbarkStudios 359
624 rust-phf Compile time static maps for Rust sfackler 632
625 r2d2 A generic connection pool for Rust sfackler 721
626 RustPlayground Quickly test Rust code on macOS cmyr 215
627 color-backtrace Colorful panic backtraces for Rust athre0z 496
628 notify 🔭 Cross-platform filesystem notification library for Rust. notify-rs 937
629 abscissa Application microframework with command-line option parsing, configuration, error handling, logging, and shell interactions iqlusioninc 392
630 rabbithole-rs JSON:API Data Structure & Query implementation, and a high performance HTTP Engine support (maybe) UkonnRa 35
631 euclid Geometry primitives (basic linear algebra) for Rust servo 268
632 solana Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces. solana-labs 705
633 voile-rs Dependently-typed row-polymorphic programming language, evolved from minitt-rs owo-lang 71
634 specs Specs - Parallel ECS amethyst 1633
635 rustybox A free-range, non-GMO fork of busybox in 100% Rust 🦀 samuela 569
636 gitrs Re-implementation of the git version control system in Rust haltode 14
637 tealdeer A very fast implementation of tldr in Rust. dbrgn 677
638 dataloader-rs Rust implementation of Facebook's DataLoader using async-await. cksac 119
639 tiny-http Low level HTTP server library in Rust tiny-http 433
640 pprof-rs A Rust CPU profiler implemented with the help of backtrace-rs tikv 237
641 rustfmt Format Rust code rust-lang 3056
642 moxie lightweight platform-agnostic tools for declarative UI anp 585
643 bayard A full-text search and indexing server written in Rust. bayard-search 1291
644 lumen An alternative BEAM implementation, designed for WebAssembly lumen 2015
645 envy deserialize env vars into typesafe structs with rust softprops 366
646 nalgebra Linear algebra library for Rust. rustsim 1680
647 pazi An autojump "zap to directory" helper euank 107
648 mdcat cat for markdown lunaryorn 821
649 dust A more intuitive version of du in rust bootandy 1246
650 delta A syntax-highlighter for git and diff output dandavison 3703
651 ncollide 2 and 3-dimensional collision detection library in Rust. rustsim 770
652 kiss3d Keep it simple, stupid 3d graphics engine for Rust. sebcrozet 784
653 piston A modular game engine written in Rust PistonDevelopers 3444
654 ErlangRT Erlang Replacement Therapy. Another attempt to make Erlang runtime (BEAM emulator) in Rust. Good news: I know what to do. Bad news: I have no clue how to Rust kvakvs 518
655 onefetch Git repository summary on your terminal o2sh 2064
656 blog.rust-lang.org The Rust Programming Language Blog rust-lang 111
657 nix-du Visualise which gc-roots to delete to free some space in your nix store symphorien 60
658 kubernix Single dependency Kubernetes clusters for local testing, experimenting and development saschagrunert 472
659 quicli Quickly build cool CLI apps in Rust. killercup 448
660 geo Geospatial primitives and algorithms for Rust georust 545
661 tempfile Temporary file library for rust Stebalien 367
662 MeiliSearch Lightning Fast, Ultra Relevant, and Typo-Tolerant Search Engine meilisearch 6035
663 coio-rs Coroutine I/O for Rust zonyitoo 429
664 emu Emu is a modern library for low-level, cross-platform GPGPU enabling on-device, reproducible, privacy-focused compute calebwin 1255
665 lemmy 🐀 Building a federated alternative to reddit in rust LemmyNet 2946
666 enigma A simple Erlang VM implementation in Rust archseer 823
667 watt Runtime for executing procedural macros as WebAssembly dtolnay 560
668 case-studies Analysis of various tricky Rust code dtolnay 793
669 formula-one An Experimental LISP iwillspeak 14
670 mainframer Tool for remote builds. Sync project to remote machine, execute command, sync back. buildfoundation 1352
671 syn Parser for Rust source code dtolnay 909
672 spotify-tui Spotify for the terminal written in Rust 🚀 Rigellute 5719
673 git-interactive-rebase-tool Native cross platform full feature terminal based sequence editor for git interactive rebase. Written in Rust using ncurses. MitMaro 586
674 combine A parser combinator library for Rust Marwes 813
675 tonic A native gRPC client & server implementation with async/await support. hyperium 2236
676 ambients Peer-to-Peer Programs and Data aphelionz 12
677 walrus Walrus is a WebAssembly transformation library 🌊🐘 rustwasm 131
678 navi An interactive cheatsheet tool for the command-line and application launchers denisidoro 7336
679 karabinux An attempt to port (as much as possible) the functionality of https://github.com/tekezo/Karabiner-Elements to Linux. acheronfail 6
680 swift-bindgen Bridging the gap between Swift and Rust rustswift 34
681 webml A Standard ML Compiler for the Web KeenS 281
682 flamegraph Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3 flamegraph-rs 1186
683 rust-GSL A GSL (the GNU Scientific Library) binding for Rust GuillaumeGomez 104
684 starship ☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell! starship 8105
685 plotters A rust drawing library for high quality data plotting for both WASM and native, statically and realtimely 🦀 📈🚀 38 782
686 tauri Framework agnostic toolchain for building highly secure native apps that have tiny binaries and are very fast. tauri-apps 2779
687 redis-rs Redis library for rust mitsuhiko 1530
688 boringtun Userspace WireGuard® Implementation in Rust cloudflare 2589
689 neon Rust bindings for writing safe and fast native Node.js modules. neon-bindings 4471
690 veoluz "I see light" - visualize the paths of millions of light rays through reflection, refraction and diffusion jaredly 150
691 async-std Async version of the Rust standard library async-rs 2337
692 lsp-types Types for communicating with a language server gluon-lang 65
693 failure Error management rust-lang-nursery 1416
694 cargo-play A local Rust playground fanzeyi 148
695 rnix-parser A Nix parser written in Rust [maintainer=@jD91mZM2] nix-community 60
696 c2rust Migrate C code to Rust immunant 1492
697 pastel A command-line tool to generate, analyze, convert and manipulate colors sharkdp 2858
698 nushell A new type of shell nushell 7840
699 monolith ⬛️ CLI tool for saving complete web pages as a single HTML file Y2Z 3766
700 cargo-bloat Find out what takes most of the space in your executable. RazrFalcon 802
701 petgraph Graph data structure library for Rust. petgraph 935
702 rezolus Systems performance telemetry twitter 831
703 bulletproofs A pure-Rust implementation of Bulletproofs using Ristretto. dalek-cryptography 501
704 surf Fast and friendly HTTP client framework for async Rust http-rs 810
705 topgrade Upgrade everything r-darwish 1140
706 cargo-geiger Detects usage of unsafe Rust in a Rust crate and its dependencies. rust-secure-code 529
707 shipcat Deploy right meow! 🚢😾 babylonhealth 173
708 higher Higher kinded types and your favourite Haskell type classes for Rust bodil 116
709 pg-extend-rs Postgres extension library for Rust bluejekyll 222
710 trust-dns A Rust based DNS client, server, and resolver bluejekyll 1470
711 silicon Create beautiful image of your source code. Aloxaf 904
712 artichoke 💎 Artichoke is a Ruby made with Rust artichoke 1523
713 cargo-c build and install C-compatible libraries lu-zero 92
714 nearcore Reference client for NEAR Protocol nearprotocol 622
715 ripgrep-all rga: ripgrep, but also search in PDFs, E-Books, Office documents, zip, tar.gz, etc. phiresky 1900
716 spade Spatial Data Structures for Rust Stoeoef 118
717 cargo-fuzz Command line helpers for fuzzing rust-fuzz 561
718 crust Reliable p2p network connections in Rust with NAT traversal. One of the most needed libraries for any server-less / decentralised projects maidsafe-archive 930
719 tower-grpc A gRPC client & server implementation. tower-rs 567
720 tarpc An RPC framework for Rust with a focus on ease of use. google 1389
721 criterion.rs Statistics-driven benchmarking library for Rust bheisler 1274
722 MIRAI Rust mid-level IR Abstract Interpreter facebookexperimental 397
723 qaul.net Internet independent, decentralised ad-hoc wireless communication application (ONLY A MIRROR FOR https://git.open-communication.net/qaul) qaul 180
724 weld High-performance runtime for data analytics applications weld-project 2320
725 bastion Highly-available Distributed Fault-tolerant Runtime bastion-rs 1389
726 fp-core.rs A library for functional programming in Rust JasonShin 601
727 mask 🎭 A CLI task runner defined by a simple markdown file jakedeichert 348
728 nannou A Creative Coding Framework for Rust. nannou-org 2016
729 reqwest An easy and powerful Rust HTTP Client seanmonstar 2858
730 cc-rs Rust library for build scripts to compile C/C++ code into a Rust library alexcrichton 622
731 hunter The fastest file manager in the galaxy! rabite0 860
732 vector A lightweight and ultra-fast tool for building observability pipelines timberio 4270
733 rust-embed Rust Macro which loads files into the rust binary at compile time during release and loads the file from the fs during dev. pyros2097 368
734 jormungandr aspiring blockchain node input-output-hk 299
735 neqo mozilla 901
736 PyOxidizer A modern Python application packaging and distribution tool indygreg 2378
737 lightbeam Lightbeam has moved and now lives in the Wasmtime repository! CraneStation 252
738 aljabar Extremely generic linear algebra libary for Rust maplant 187
739 cgmath A linear algebra and mathematics library for computer graphics. rustgd 671
740 daemonize Library for writing system daemons knsd 184
741 kubos An open source platform for satellites kubos 198
742 rustler Safe Rust bridge for creating Erlang NIF functions rusterlium 2264
743 libra Libra’s mission is to enable a simple global payment system and financial infrastructure that empowers billions of people. libra 14601
744 talent-plan open source training courses about distributed database and distributed systemes pingcap 4364
745 graphql-client Typed, correct GraphQL requests and responses in Rust graphql-rust 488
746 nixpkgs-fmt Nix code formatter for nixpkgs [maintainer=@zimbatm] nix-community 125
747 panic-never This crate guarantees that your application is free of panicking branches japaric 149
748 wrangler 🤠 wrangle your cloudflare workers cloudflare 1498
749 maud 📝 Compile-time HTML templates for Rust lambda-fairy 759
750 binjs-ref Reference implementation for the JavaScript Binary AST format binast 388
751 rendy State of the art "build your own engine" kit powered by gfx-hal amethyst 672
752 nphysics 2 and 3-dimensional rigid body physics engine for Rust. rustsim 1271
753 fst Represent large sets and maps compactly with finite state transducers. BurntSushi 898
754 chalk An implementation and definition of the Rust trait system using a PROLOG-like logic solver rust-lang 872
755 scryer-prolog A modern Prolog implementation written mostly in Rust. mthom 623
756 toast Containerize your development and continuous integration environments. 🥂 stepchowfun 681
757 volta Volta: Start your engines. ⚡ volta-cli 1463
758 shell-hist Inspect your shell history jamesmunns 81
759 pdatastructs.rs Simple probabilistic data structures crepererum 86
760 broot A new way to see and navigate directory trees : https://dystroy.org/broot Canop 4013
761 WASI WebAssembly System Interface WebAssembly 1244
762 runtime Empowering everyone to build asynchronous software rustasync 895
763 fern Simple, efficient logging for Rust daboross 415
764 image Encoding and decoding images in Rust image-rs 1585
765 wgpu Native WebGPU implementation based on gfx-hal gfx-rs 1131
766 orz a high performance, general purpose data compressor written in rust richox 422
767 sheldon :bowtie: A fast, configurable, shell plugin manager rossmacarthur 69
768 rust-protobuf Rust implementation of Google protocol buffers stepancheg 1299
769 pulldown-cmark raphlinus 857
770 parinfer-rust A Rust port of parinfer. eraserhd 204
771 wirefilter An execution engine for Wireshark-like filters cloudflare 562
772 rust-notifica Small, cross-platform Rust crate for sending system notifications frewsxcv 250
773 ramhorns Fast Mustache template engine implementation in pure Rust. maciejhirsz 117
774 citybound A work-in-progress, open-source, multi-player city simulation game. citybound 6077
775 rust-zmq Rust zeromq bindings. erickt 498
776 rust-websocket A WebSocket (RFC6455) library written in Rust websockets-rs 810
777 k3s-in-docker A lightweight kubernetes development setup zeerorg 126
778 hashbrown Rust port of Google's SwissTable hash map rust-lang 1100
779 grpc-rs The gRPC library for Rust built on C Core library and futures tikv 1122
780 gleam ⭐️ A statically typed language for the Erlang VM gleam-lang 1967
781 futures-rs Zero-cost asynchronous programming in Rust rust-lang 3387
782 git-rs git, implemented in rust, for fun and education 🦀 chrisdickinson 1218
783 cargo-audit Audit Cargo.lock files for crates with security vulnerabilities RustSec 573
784 lucet Lucet, the Sandboxing WebAssembly Compiler. bytecodealliance 3156
785 lorri Your project's nix-env target 643
786 rust-rocksdb rust wrapper for rocksdb rust-rocksdb 674
787 hypercore Secure, distributed, append-only log datrs 210
788 bincode A binary encoder / decoder implementation in Rust. servo 855
789 rendy-pbr PBR rendering example/experiment with rendy termhn 193
790 oak Meaningful control of data in distributed systems. project-oak 577
791 sonic 🦔 Fast, lightweight & schema-less search backend. An alternative to Elasticsearch that runs on a few MBs of RAM. valeriansaliou 8850
792 miri An interpreter for Rust's mid-level intermediate representation rust-lang 1211
793 fatcat Perpetual Access To The Scholarly Record internetarchive 40
794 gloo A modular toolkit for building fast, reliable Web applications and libraries with Rust and Wasm rustwasm 714
795 librespot Open Source Spotify client library librespot-org 1476
796 rustlings 🦀 Small exercises to get you used to reading and writing Rust code! rust-lang 9668
797 cbindgen A project for generating C bindings from Rust code eqrion 739
798 dodrio A fast, bump-allocated virtual DOM library for Rust and WebAssembly. fitzgen 1094
799 sccache sccache is ccache with cloud storage mozilla 1396
800 ffsend 📬 Easily and securely share files from the command line. A fully featured Firefox Send client. timvisee 4817
801 wasp a web assembly programming language wasplang 303
802 svgbob Convert your ascii diagram scribbles into happy little SVG ivanceras 2116
803 libc Raw bindings to platform APIs for Rust rust-lang 805
804 min-sized-rust 🦀 How to minimize Rust binary size 📦 johnthagen 1194
805 rust-raspberrypi-OS-tutorials 📚 Learn to write an embedded OS in Rust 🦀 rust-embedded 1983
806 sd Intuitive find & replace CLI (sed alternative) chmln 1335
807 wasmtime Standalone JIT-style runtime for WebAssembly, using Cranelift bytecodealliance 3287
808 miniserve 🌟 For when you really just want to serve some files over HTTP right now! svenstaro 789
809 not-perf A sampling CPU profiler for Linux koute 515
810 ditto CRDTs for common data structures like maps, vecs, sets, text, and JSON alex-shapiro 403
811 druid A data-first Rust-native UI design toolkit. xi-editor 1876
812 tree-sitter An incremental parsing system for programming tools tree-sitter 2741
813 tide Fast and friendly HTTP server framework for async Rust http-rs 2205
814 may rust stackful coroutine library Xudong-Huang 775
815 kernel A hobby operating system, in Rust intermezzOS 1157
816 click The "Command Line Interactive Controller for Kubernetes" databricks 1155
817 rusoto AWS SDK for Rust rusoto 1768
818 euc A software rendering crate that lets you write shaders with Rust zesterer 160
819 raft-rs Raft distributed consensus algorithm implemented in Rust. tikv 1237
820 tock A secure embedded operating system for microcontrollers tock 2207
821 ketos Lisp dialect scripting and extension language for Rust programs murarth 550
822 rust-smallvec "Small vector" optimization for Rust: store up to a small number of items on the stack servo 394
823 rust-evmap A lock-free, eventually consistent, concurrent multi-value map. jonhoo 829
824 fastmod A fast partial replacement for the codemod tool facebookincubator 1004
825 crossbeam Tools for concurrent programming in Rust crossbeam-rs 2866
826 cargo-asm cargo subcommand showing the assembly or llvm-ir generated for Rust code gnzlbg 641
827 jemallocator Rust allocator using jemalloc as a backend gnzlbg 183
828 kubernetes-rs Kubernetes API client library for Rust anguslees 65
829 datafrog A lightweight Datalog engine in Rust rust-lang 348
830 redux-rs 📦 A Rust implementation of Redux. redux-rs 148
831 RustPython A Python Interpreter written in Rust RustPython 5440
832 mdck Reports broken links found within md files ctm 5
833 git-absorb git commit --fixup, but automatic tummychow 673
834 purs A Pure-inspired prompt in Rust xcambar 178
835 quiche 🥧 Savoury implementation of the QUIC transport protocol and HTTP/3 cloudflare 3521
836 swc Super-fast typescript / javascript compiler written in rust swc-project 8393
837 quinn Futures-based QUIC implementation in Rust djc 1251
838 rust-av Multimedia Toolkit written in pure rust. rust-av 353
839 crates.io Source code for crates.io rust-lang 1609
840 twiggy Twiggy🌱 is a code size profiler rustwasm 552
841 Toshi A full-text search engine in rust toshi-search 2789
842 hexyl A command-line hex viewer sharkdp 5293
843 noria Fast web applications through dynamic, partially-stateful dataflow mit-pdos 2653
844 tikv Distributed transactional key-value database, originally created to complement TiDB tikv 7505
845 git-dit Decentralized Issue Tracking for git neithernut 427
846 rust-nbe-for-mltt Normalization by evaluation for Martin-Löf Type Theory with dependent records brendanzab 68
847 noise-rs Procedural noise generation library for Rust. Razaekel 252
848 rand A Rust library for random number generation. rust-random 647
849 rustls A modern TLS library in Rust ctz 1929
850 rust-analyzer An experimental Rust compiler front-end for IDEs rust-analyzer 3825
851 inkwell It's a New Kind of Wrapper for Exposing LLVM (Safely) TheDan64 505
852 notty A new kind of terminal withoutboats 1939
853 seed A Rust framework for creating web apps seed-rs 1144
854 cortex-m-rtic Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers rtic-rs 480
855 cargo-call-stack Whole program static stack analysis japaric 288
856 discovery Discover the world of microcontrollers through Rust! rust-embedded 649
857 rust-openssl OpenSSL bindings for Rust sfackler 655
858 fselect Find files with SQL-like queries jhspetersson 1676
859 librsvg SVG rendering library GNOME 226
860 mcfly Fly through your shell history. Great Scott! cantino 1631
861 advent-of-code Rust solutions to AoC 2018 BurntSushi 302
862 sandspiel Creative cellular automata browser game MaxBittker 2174
863 cargo-inspect Pssst!... see what Rust is doing behind the curtains 🕵🤫 mre 253
864 zola A fast static site generator in a single binary with everything built-in. https://www.getzola.org getzola 3659
865 aws-lambda-rust-runtime A Rust runtime for AWS Lambda awslabs 1156
866 wasm-bindgen Facilitating high-level interactions between Wasm modules and JavaScript rustwasm 3291
867 timely-dataflow A modular implementation of timely dataflow in Rust TimelyDataflow 1523
868 rerast A tool for transforming Rust code using rules google 665
869 cheats.rs Rust Language Cheat Sheet - https://cheats.rs ralfbiedert 1217
870 cita A high performance blockchain kernel for enterprise users. citahub 1085
871 firecracker Secure and fast microVMs for serverless computing. firecracker-microvm 12249
872 logos Create ridiculously fast Lexers maciejhirsz 710
873 juniper GraphQL server library for Rust graphql-rust 2767
874 mesalink OpenSSL compatibility layer for the Rust SSL/TLS stack mesalock-linux 1370
875 im-rs Assorted immutable collection datatypes for Rust bodil 938
876 cargo-watch 🔭🚢 Watches over your Cargo project's source. passcod 1025
877 rust-postgres Native PostgreSQL driver for the Rust programming language sfackler 1789
878 typed-html Type checked JSX for Rust bodil 1686
879 mundane Mundane is a Rust cryptography library backed by BoringSSL that is difficult to misuse, ergonomic, and performant (in that order). google 401
880 rust-url URL parser for Rust servo 581
881 hermitdb A private decentralized database replicated over Git (or any other distributed log) hermits-grove 59
882 changelog Changelog generator yoshuawuyts 76
883 azul Desktop GUI Framework maps4print 4043
884 libfringe a Rust library implementing safe, lightweight context switches, without relying on kernel services edef1c 395
885 kirby rubytogether 266
886 rayon Rayon: A data parallelism library for Rust rayon-rs 4011
887 wasmi Wasm interpreter in Rust paritytech 530
888 cntr A container debugging tool based on FUSE Mic92 229
889 github-templates Generate .github templates yoshuawuyts 34
890 clog-cli Generate beautiful changelogs from your Git commit history clog-tool 602
891 lighthouse Rust Ethereum 2.0 Client sigp 505
892 macro-lisp Lisp-like DSL for Rust language JunSuzukiJapan 273
893 py-spy Sampling profiler for Python programs benfred 5615
894 watchexec Executes commands in response to file modifications watchexec 1601
895 Symmetric-Interaction-Calculus A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly. MaiaVictor 283
896 hyper An HTTP library for Rust hyperium 6446
897 percy Libraries for building interactive frontend browser apps with Rust + WebAssembly. Supports server side rendering. chinedufn 1391
898 iota A terminal-based text editor written in Rust gchp 1372
899 ctrs Category Theory For Programmers (Bartosz Milewski) damienstanton 59
900 paste A sensible, modern pastebin. ascclemens 294
901 LocustDB Massively parallel, high performance analytics database that will rapidly devour all of your data. cswinter 1141
902 stdweb A standard library for the client-side Web koute 2975
903 rls Repository for the Rust Language Server (aka RLS) rust-lang 3014
904 mio Metal IO library for Rust tokio-rs 3750
905 nix Rust friendly bindings to *nix APIs nix-rust 1239
906 gfx A low-overhead Vulkan-like GPU API for Rust. gfx-rs 4053
907 amethyst Data-oriented and data-driven game engine written in Rust amethyst 5614
908 ron Rusty Object Notation ron-rs 1076
909 tantivy Tantivy is a full-text search engine library inspired by Apache Lucene and written in Rust tantivy-search 3762
910 mentat UNMAINTAINED A persistent, relational store inspired by Datomic and DataScript. mozilla 1588
911 svgcleaner svgcleaner could help you to clean up your SVG files from the unnecessary data. RazrFalcon 1121
912 just 🤖 Just a command runner casey 1696
913 rust Empowering everyone to build reliable and efficient software. rust-lang 46058
914 cervus The Cervus Subsystem for Linux cervus-v 700
915 sled the champagne of beta embedded databases spacejam 3574
916 shellharden The corrective bash syntax highlighter anordal 3490
917 gotham A flexible web framework that promotes stability, safety, security and speed. gotham-rs 1662
918 bat A cat(1) clone with wings. sharkdp 20565
919 kanban-app Kanban board built with Rust and Elm huytd 1602
920 diesel A safe, extensible ORM and Query Builder for Rust diesel-rs 5618
921 futures-await alexcrichton 734
922 rpds Rust Persistent Data Structures orium 513
923 cicada A bash-like Unix shell written in Rust mitnk 751
924 wasm-pack 📦✨ your favorite rust -> wasm workflow tool! rustwasm 2707
925 human-panic 😱 Panic messages for humans. rust-cli 702
926 json-rust JSON implementation in Rust maciejhirsz 346
927 nebulet (Going to be) A microkernel that implements a WebAssembly "usermode" that runs in Ring 0. nebulet 2153
928 cargo-name Check whether a crate name is available on crates.io. yoshuawuyts 7
929 ggez Rust library to create a Good Game Easily ggez 2329
930 nom Rust parser combinator framework Geal 4079
931 karaconv Converter from Karabiner to Karabiner-Elements text configuration format durka 21
932 relm Idiomatic, GTK+-based, GUI library, inspired by Elm, written in Rust antoyo 1638
933 clap A full featured, fast Command Line Argument Parser for Rust clap-rs 4444
934 tokio A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ... tokio-rs 8644
935 actix Actor framework for Rust actix 5252
936 pyo3 Rust bindings for the Python interpreter PyO3 2657
937 actix-web Actix web is a small, pragmatic, and extremely fast rust web framework. actix 8527
938 zsh-yarn-autocompletions Zsh plugin for Yarn autocompletions. g-plane 427
939 spotifyd A spotify daemon Spotifyd 3687
940 xsv A fast CSV command line toolkit written in Rust. BurntSushi 6138
941 lyon 2D graphics rendering on the GPU in rust using path tessellation. nical 1108
942 xray An experimental next-generation Electron-based text editor atom-archive 8623
943 cargonauts A Rust web framework cargonauts-rs 177
944 synapse Synapse BitTorrent Daemon Luminarys 678
945 serde Serialization framework for Rust serde-rs 3243
946 matrix-ircd An IRCd implementation backed by Matrix. matrix-org 158
947 tinyos A tiny OS kernel written in Rust zacstewart 14
948 comm A hypothetical, distributed, encrypted, instant messaging protocol. zacstewart 54
949 rust-clippy A bunch of lints to catch common mistakes and improve your Rust code rust-lang 4762
950 rustbook A simplified version of gitbook, atop rustdoc steveklabnik 119
951 book The Rust Programming Language rust-lang 5470
952 prost PROST! a Protocol Buffers implementation for the Rust Language danburkert 1076
953 rff 🔬 rff: a rustic fuzzy finder stewart 37
954 nix-index Quickly locate nix packages with specific files bennofs 126
955 amp A complete text editor for your terminal. jmacdonald 2192
956 rbspy Sampling profiler for Ruby rbspy 2016
957 gluon A static, type inferred and embeddable language written in Rust. gluon-lang 2049
958 hyperfine A command-line benchmarking tool sharkdp 5598
959 genact 🌀 A nonsense activity generator svenstaro 4131
960 raytracer A toy raytracer in Rust bheisler 161
961 cargo-web A Cargo subcommand for the client-side Web koute 962
962 yew Rust / Wasm framework for building client web apps yewstack 12092
963 smoltcp a smol tcp/ip stack smoltcp-rs 1578
964 idiomatic-rust A peer-reviewed collection of articles/talks/repos which teach concise, idiomatic Rust. mre 1848
965 sekey Use Touch ID / Secure Enclave for SSH Authentication! sekey 1741
966 indexmap A hash table with consistent order and fast iteration; access items by key or sequence index bluss 486
967 faster SIMD for humans AdamNiederer 1205
968 gifski GIF encoder based on libimagequant (pngquant). Squeezes maximum possible quality from the awful GIF format. ImageOptim 1803
969 ternimal Simulate a lifeform in the terminal p-e-w 885
970 holyjit Generic purpose Just-In-time compiler for Rust. nbp 1264
971 haskell-compiler A mostly functional haskell compiler written in rust Marwes 218
972 mdBook Create book from markdown files. Like Gitbook but implemented in Rust rust-lang 4458
973 tokei Count your code, quickly. XAMPPRocky 3502
974 fd A simple, fast and user-friendly alternative to 'find' sharkdp 13938
975 leaf Open Machine Intelligence Framework for Hackers. (GPU/CPU) autumnai 5426
976 pest The Elegant Parser pest-parser 1880
977 Minions Minions is a productive tool for Linux, inspired by LaunchBar in macOS blahgeek 58
978 rustup The Rust toolchain installer rust-lang 3490
979 walkdir Rust library for walking directories recursively. BurntSushi 510
980 Rocket A web framework for Rust. SergioBenitez 10142
981 regex An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs. rust-lang 1536
982 ion Mirror of https://gitlab.redox-os.org/redox-os/ion redox-os 942
983 stacks-blockchain The Stacks 2.0 blockchain implementation blockstack 2092
984 rust-algorithms Common data structures and algorithms in Rust EbTech 2290
985 bingrep like grep UBER, but for binaries m4b 1337
986 lalrpop LR(1) parser generator for Rust lalrpop 1334
987 imageflow High-performance image manipulation for web servers. Includes imageflow_server, imageflow_tool, and libimageflow imazen 3246
988 hot-ranking-algorithm-rs Algorithm that measures how relevant a given data set is, kinda like Reddit yoshuawuyts 11
989 pack 📦 The missing vim8 package manager. maralla 224
990 openethereum Fast and feature-rich multi-network Ethereum client. openethereum 6056
991 dyon A rusty dynamically typed scripting language PistonDevelopers 1039
992 exa A modern version of ‘ls’. ogham 9923
993 gentle-intro A gentle Rust tutorial stevedonovan 642
994 q3 A Quake 3 like game with voxelized destructible maps jeaye 465
995 rq Record Query - A tool for doing record analysis and transformation dflemstr 1558
996 coreutils Cross-platform Rust rewrite of the GNU coreutils uutils 5848
997 iron An Extensible, Concurrent Web Framework for Rust iron 5765
998 awesome-rust A curated list of Rust code and resources. rust-unofficial 15876
999 pathfinder A fast, practical GPU rasterizer for fonts and vector graphics servo 2140
1000 LanguageClient-neovim Language Server Protocol (LSP) support for vim and neovim. autozimu 2928
1001 curl-rust Rust bindings to libcurl alexcrichton 624
1002 too-many-lists Learn Rust by writing Entirely Too Many linked lists rust-unofficial 1191
1003 racer Rust Code Completion utility racer-rust 3143
1004 skim Fuzzy Finder in rust! lotabout 1811
1005 glium Safe OpenGL wrapper for the Rust language. glium 2120
1006 alacritty A cross-platform, GPU-accelerated terminal emulator alacritty 23468
1007 tfs Mirror of https://gitlab.redox-os.org/redox-os/tfs redox-os 2807
1008 dark-sky.alfredworkflow A Dark Sky workflow for Alfred kejadlen 34
1009 giphy.alfredworkflow An Alfred workflow for searching Giphy kejadlen 66
1010 xi-editor A modern editor with a backend written in Rust. xi-editor 18076
1011 cargo The Rust package manager rust-lang 5691
1012 loc Count lines of code quickly. cgag 1523
1013 static-analysis Static analysis tools for all programming languages, build tools, config files and more. analysis-tools-dev 7315
1014 ripgrep ripgrep recursively searches directories for a regex pattern BurntSushi 20357
1015 webrender A GPU-based renderer for the web servo 2064
1016 servo The Servo Browser Engine servo 16135
1017 habitat Modern applications with built-in automation habitat-sh 2211
1018 hydrogen Multithreaded, non-blocking Linux server framework in Rust nathansizemore 357
1019 alfred-gitignore Create .gitignore files using Alfred jdno 7

SMT

Name Description Author Stars
1 mc2 [research] A modular SMT solver in OCaml, based on mcSAT c-cube 13
2 CVC4 CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. CVC4 399

Scala

Name Description Author Stars
1 monix Asynchronous, Reactive Programming for Scala and Scala.js. monix 1677
2 mdoc Typechecked markdown documentation for Scala scalameta 189
3 suslik Synthesis of Heap-Manipulating Programs from Separation Logic TyGuS 34
4 compose An experimental programming language. samskivert 13
5 odin Fast & Functional logger in Scala valskalla 164
6 izumi Productivity-oriented collection of lightweight fancy stuff for Scala toolchain 7mind 305
7 functional-design Exercises for the course 'Functional Design by John A. De Goes jdegoes 138
8 lagom Reactive Microservices for the JVM lagom 2428
9 type-inference-by-example A series of down-to-earth articles on implementing type inference Ahnfelt 43
10 dstlr scalable knowledge graph construction from unstructured text dstlry 42
11 Functa Flexible, fully functional dynamic programming language dragostis 9
12 seed Build tool for Scala projects tindzk 202
13 topshell TopShell - a purely functional, reactive scripting language topshell-language 345
14 apalache APALACHE: symbolic model checker for TLA+ konnov 126
15 scaladex The Scala Package Index scalacenter 147
16 SwayDB Fast embeddable persistent & in-memory key-value storage engine - www.SwayDB.io simerplaha 199
17 deequ Deequ is a library built on top of Apache Spark for defining "unit tests for data", which measure data quality in large datasets. awslabs 960
18 skunk A data access library for Scala + Postgres. tpolecat 882
19 freestyle A cohesive & pragmatic framework of FP centric Scala libraries frees-io 614
20 twitter-server Twitter-Server defines a template from which services at Twitter are built twitter 1110
21 finatra Fast, testable, Scala services built on TwitterServer and Finagle twitter 2013
22 Compute.scala Scientific computing with N-dimensional arrays ThoughtWorksInc 182
23 fastring Extremely fast string formatting Atry 121
24 DeepLearning.scala A simple library for creating complex neural networks ThoughtWorksInc 731
25 rsc Experimental Scala compiler focused on compilation speed twitter 1248
26 cloudstate Distributed State Management for Serverless cloudstateio 573
27 caliban Functional GraphQL library for Scala ghostdogpr 460
28 sbt sbt, the interactive build tool sbt 4141
29 elasticmq In-memory message queue with an Amazon SQS-compatible interface. Runs stand-alone or embedded. softwaremill 1370
30 scalafix Refactoring and linting tool for Scala scalacenter 524
31 zio ZIO — A type-safe, composable library for async and concurrent programming in Scala zio 2298
32 scalikejdbc A tidy SQL-based DB access library for Scala developers. This library naturally wraps JDBC APIs and provides you easy-to-use APIs. scalikejdbc 1095
33 geomesa GeoMesa is a suite of tools for working with big geo-spatial data in a distributed fashion. locationtech 911
34 polynote A better notebook for Scala (and more) polynote 3787
35 scala_typeclassopedia Abstractions and constructions from math (Category theory, Abstract algebra) implementations in Scala, minimal description, links to good explanations, links to implementations in other FP languages: Haskell, Idris, Purescript, non FP too: Java, C++ and to formalizations in proof assistants: Coq (UniMath, HoTT book), Cubical Agda. lemastero 300
36 fpinscala Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala" fpinscala 4855
37 delta An open-source storage layer that brings scalable, ACID transactions to Apache Spark™ and big data workloads. delta-io 2534
38 finagle A fault tolerant, protocol-agnostic RPC system twitter 7650
39 daml The DAML smart contract language digital-asset 453
40 scala-exercises The easy way to learn Scala. scala-exercises 2159
41 atlas In-memory dimensional time series database. Netflix 2660
42 bfg-repo-cleaner Removes large or troublesome blobs like git-filter-branch does, but faster. And written in Scala rtyley 6559
43 idml The reference implementation of IDML for the JVM IDML 27
44 mill Your shiny new Java/Scala build tool! lihaoyi 1379
45 akka Build highly concurrent, distributed, and resilient message-driven applications on the JVM akka 10934
46 scala-steward 🤖 A bot that helps you keeping your Scala projects up-to-date fthomas 708
47 fury A new build tool for JVM languages propensive 325
48 bosatsu A python-ish pure and total functional programming language johnynek 167
49 flix The Flix Programming Language flix 424
50 metals Scala language server with rich IDE features 🚀 scalameta 1258
51 ttlite A SuperCompiler for Martin-Löf's Type Theory ilya-klyuchnikov 81
52 dotty Research compiler that will become Scala 3 lampepfl 3986
53 scala Scala 2 compiler and standard library. For bugs, see scala/bug scala 12755
54 cats Lightweight, modular, and extensible library for functional programming. typelevel 3955
55 enso Hybrid visual and textual functional programming. enso-org 3484
56 marathon Deploy and manage containers (including Docker) on top of Apache Mesos at scale. mesosphere 3963
57 prisma1 💾 Database Tools incl. ORM, Migrations and Admin UI (Postgres, MySQL & MongoDB) prisma 16989
58 source-han-serif Source Han Serif | 思源宋体 | 思源宋體 | 源ノ明朝 | 본명조 adobe-fonts 4956
59 scalaz Principled Functional Programming in Scala scalaz 4353
60 textteaser TextTeaser is an automatic summarization algorithm. MojoJolo 1950
61 lila ♞ lichess.org: the forever free, adless and open source chess server ♞ ornicar 6996
62 scala-native Your favorite language gets closer to bare metal. scala-native 3820
63 scala-js Scala.js, the Scala to JavaScript compiler scala-js 3967

Scheme

Name Description Author Stars
1 harlan A language for GPU computing. eholk 1129
2 fibers Concurrent ML-like concurrency for Guile wingo 184
3 schism A self-hosting Scheme to WebAssembly compiler google 1128
4 pontiff a haskell-style build system for chicken scheme sylphbio 13
5 sicm Working through Structure and Interpretation of Classical Mechanics. hnarayanan 103
6 irken-compiler Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML. samrushing 181
7 nanopass-framework-scheme The new nanopass framework; an embedded DSL for writing compilers in Scheme nanopass 306
8 akku Language package manager for Scheme. (Bug reports to: https://gitlab.com/akkuscm/akku) weinholt 78
9 zabavno An x86 emulator in Scheme weinholt 42
10 layer Neural network inference the Unix way cloudkj 531
11 scheme_x86 Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction" mrnugget 31
12 inc an incremental approach to compiler construction namin 657
13 femtolisp a lightweight, robust, scheme-like lisp implementation JeffBezanson 1102
14 ChezScheme Chez Scheme cisco 5419

Shell

Name Description Author Stars
1 super-linter Combination of multiple linters to install as a GitHub Action github 3997
2 amplify-cli-action 🚀 :octocat: GitHub action for deploying AWS Amplify project ambientlight 29
3 dotfiles Configuration for Regolith Linux, i3, Kitty, Fish, Neovim and more Olical 347
4 tpm Tmux Plugin Manager tmux-plugins 6197
5 swarmlet A self-hosted, open-source Platform as a Service that enables easy swarm deployments, load balancing, automatic SSL, metrics, analytics and more. swarmlet 272
6 async-book Asynchronous Programming in Rust rust-lang 633
7 local-font-access Web API for enumerating fonts on the local system WICG 24
8 library A collection of the papers, conference talks, articles, blog posts, interesting Twitter threads, HN/reddit comments on systems engineering copyconstruct 498
9 git-fuzzy interactive git with the help of fzf bigH 1430
10 1pass A caching wrapper for the 1Passworld CLI dcreemer 107
11 kube-backup 💾 Kubernetes resource state sync to git pieterlange 388
12 bookmarks 🔖 +4.1K awesome resources for geeks and software crafters 🍺 MorganGeek 166
13 postgres Unmodified Postgres with some useful plugins supabase 101
14 lockdown.sh Lockdown your linux install. The simple zero config linux hardening script x08d 262
15 reasonable-shell-script Because shell scripts don't have to be terrible mjambon 54
16 macos-virtualbox Push-button installer of macOS Catalina, Mojave, and High Sierra guests in Virtualbox for Windows, Linux, and macOS myspaghetti 4692
17 rust-cross Everything you need to know about cross compiling Rust programs! japaric 1595
18 bashtop Linux/OSX/FreeBSD resource monitor aristocratos 6597
19 dotfiles 🔧 Dotfiles for git, vim, tmux, zsh and more aymericbeaumet 5
20 iOS Here you can find write ups for iOS Vulnerabilities that have been released. writeups 417
21 pdiffjson browse and diff JSON the easy way jlevy 24
22 Publish-Docker-Github-Action A Github Action which uses the Git branch as the Docker tag for pushing elgohr 468
23 personal_knowledge younata 2
24 testssl.sh Testing TLS/SSL encryption anywhere on any port drwetter 4243
25 git-issue Git-based decentralized issue management dspinellis 541
26 documents Decentralized Privacy-Preserving Proximity Tracing -- Documents DP-3T 2045
27 frontdesk Community driven list of useful things for Front End Developers miripiruni 1606
28 build-anywhere Scripts for building compilers that run anywhere, which build things that run anywhere theopolis 37
29 zig-bootstrap take off every zig ziglang 57
30 bats-core Bash Automated Testing System bats-core 1713
31 pull-request-action open a pull request when a branch is pushed or updated vsoch 71
32 riscv-llvm RISC-V support for LLVM projects (LLVM, Clang, ...) lowRISC 140
33 quickemu The amazing Quickemu; as seen on YouTube wimpysworld 85
34 block Let's make an annoyance free, better open internet, altogether! EnergizedProtection 1091
35 awesome-solidity 🔹 A curated list of awesome Solidity resources, libraries, tools and more bkrem 1359
36 python-lambda-layer-builder A build tool for creating optimized Python AWS Lambda layers tobilg 89
37 docker-minecraft-server Docker image that provides a Minecraft Server that will automatically download selected version at startup itzg 1305
38 tailwindcss-figma-kit Figma Kit for TailwindCSS impulse 348
39 osx-and-ios-security-awesome OSX and iOS related security tools ashishb 671
40 sshcommand Turn SSH into a thin client specifically for your app dokku 329
41 kaldi This is the official location of the Kaldi project. kaldi-asr 9070
42 book Documentation on how to use the Rust Programming Language to develop firmware for bare metal (microcontroller) devices rust-embedded 394
43 HiddenVM HiddenVM — Use any desktop OS without leaving a trace. aforensics 1081
44 powerlevel10k A Zsh theme romkatv 8107
45 critic.sh Dead simple testing framework for Bash with coverage reporting Checksum 411
46 pysanity Opinionated coding guidelines and best practices in Python rednafi 188
47 index Go modules by example is a series of work-along guides go-modules-by-example 868
48 bash-tricks Simple bash tricks which make your life easier. SimonBaeumer 141
49 bash-my-aws Bash-my-AWS provides simple but powerful CLI commands for managing AWS resources bash-my-aws 701
50 git-toolbelt A suite of useful Git commands that aid with scripting or every day command line usage nvie 677
51 lighthouse-action 💡🏠 GitHub Action for running @GoogleChromeLabs Lighthouse webpage audits jakejarvis 189
52 message-db Microservice native message and event store for Postgres message-db 1197
53 db Version control for databases: save, restore, and archive snapshots of your database from the command line infostreams 1285
54 dotfiles My personal dotfiles fatih 503
55 action-conflict-finder A Github action for finding merge conflicts olivernybroe 15
56 install-nix-action Installs Nix on GitHub Actions for the supported platforms: Linux and macOS. cachix 63
57 dotfiles My configs with whistles and bells neg-serg 42
58 base-drafts Internet-Drafts that make up the base QUIC specification quicwg 1076
59 riak Riak is a decentralized datastore from Basho Technologies. basho 3406
60 upload-to-release A GitHub Action that uploads a file to a new release. JasonEtco 134
61 torchcv A PyTorch-Based Framework for Deep Learning in Computer Vision donnyyou 1839
62 lnbook Mastering the Lightning Network (LN) lnbook 573
63 pure-sh-bible 📖 A collection of pure POSIX sh alternatives to external processes. dylanaraps 1379
64 TabNine The all-language autocompleter: https://tabnine.com/ codota 6209
65 git-secret 👥 A bash-tool to store your private data inside a git repository. sobolevn 1885
66 WWDC You don't have the time to watch all the WWDC session videos yourself? No problem I extracted the gist for you 🥳 Blackjacx 2317
67 wireguard-docs 📖 Unofficial WireGuard Documentation: Setup, Usage, Configuration, and full example setups for VPNs supporting both servers & roaming clients. pirate 2455
68 hacker-laws 💻📖 Laws, Theories, Principles and Patterns that developers will find useful. #hackerlaws dwmkerr 15012
69 PureDarwin Darwin is the Open Source operating system from Apple that forms the basis for OS X, and PureDarwin is a community project to make Darwin more usable. See the Wiki for more information. PureDarwin 1030
70 dotfiles 🏗 Some of my configuration files for macOS skibitsky 8
71 rfcs RFCs for changes to Rust rust-lang 3004
72 git-standup Recall what you did on the last working day. Psst! or be nosy and find what someone else in your team did ;-) kamranahmedse 6642
73 hook-flow A flowchart that explains the new lifecycle of a Hooks component. https://dwe.st/hf donavon 961
74 nginx-admins-handbook How to improve NGINX performance, security, and other important things. trimstray 11352
75 gitflow Git extensions to provide high-level repository operations for Vincent Driessen's branching model. nvie 24041
76 SonarTS Static code analyzer for TypeScript SonarSource 746
77 maclaunch Manage your macOS startup items. hazcod 98
78 professional-programming A collection of full-stack resources for programmers. charlax 14343
79 git-subrepo ingydotnet 2123
80 live-share Real-time collaborative development from the comfort of your favorite tools MicrosoftDocs 1556
81 baseimage-docker A minimal Ubuntu base image modified for Docker-friendliness phusion 7807
82 rsync-time-backup Time Machine style backup with rsync. laurent22 2107
83 cross “Zero setup” cross compilation and “cross testing” of Rust crates rust-embedded 1285
84 golang-monorepo An example of a golang-based monorepo. flowerinthenight 166
85 dysnomia Dysnomia: A tool for deploying mutable components svanderburg 44
86 geom 2D/3D geometry toolkit for Clojure/Clojurescript thi-ng 707
87 intro-to-reason-compilation Ready up! chenglou 270
88 dokku A docker-powered PaaS that helps you build and manage the lifecycle of applications dokku 19342
89 bash-oo-framework Bash Infinity is a modern boilerplate / framework / standard library for bash niieani 4961
90 kubespray Deploy a Production Ready Kubernetes Cluster kubernetes-sigs 8889
91 zsh-better-npm-completion Better completion for npm lukechilds 307
92 graphql-spec GraphQL is a query language and execution engine tied to any backend service. graphql 12752
93 pure-bash-bible 📖 A collection of pure bash alternatives to external processes. dylanaraps 24694
94 zsh-nix-shell zsh plugin that lets you use zsh in nix-shell shell. chisui 96
95 github-markdown-toc Easy TOC creation for GitHub README.md ekalinin 2050
96 rust-anthology Learn Rust from the best brson 622
97 openvpn-install OpenVPN road warrior installer for Ubuntu, Debian, CentOS and Fedora Nyr 11739
98 pimp-my-box 🌱 Automated seedbox install of rTorrent-PS and PyroScope CLI etc. via Ansible. pyroscope 119
99 dotfiles dotfiles for the developer happiness: zsh, brew, vscode, python, node, elixir sobolevn 361
100 haskell-vim-now One-line Haskell Vim install begriffs 968
101 nix-zsh-completions ZSH Completions for Nix spwhitt 81
102 osync A robust two way (bidirectional) file sync script based on rsync with fault tolerance, POSIX ACL support, time control and near realtime sync deajan 601
103 cheat.sheets cheat.sh cheat sheets repository chubin 304
104 awesome-console-services A curated list of awesome console services (reachable via HTTP, HTTPS and other network protocols) chubin 1566
105 speak.awf An Alfred 3 workflow that uses macOS's TTS (text-to-speech) feature to speak text aloud. mklement0 22
106 dotfiles Zsh, Karabiner, VS Code, Sublime, Neovim, Nix nikitavoloboev 541
107 TheDen.sh Personal website 🌊 TheDen 100
108 pyenv Simple Python version management pyenv 19825
109 git-scripts A bunch of random scripts I've either written, downloaded or clipped from #git. jwiegley 1150
110 Dropbox-Uploader Dropbox Uploader is a BASH script which can be used to upload, download, list or delete files from Dropbox, an online file sharing, synchronization and backup service. andreafabrizi 6031
111 eth-private-net Create your own Ethereum private net vincentchu 362
112 TextBar-Recipes TextBar Recipes richie5um 299
113 zsh-histdb A slightly better history for zsh larkery 696
114 jsawk Like awk, but for JSON. micha 1311
115 spark ▁▂▃▅▂▇ in your shell. holman 5533
116 notificator Show macOS notifications with a custom icon vitorgalvao 71
117 asdf Extendable version manager with support for Ruby, Node.js, Elixir, Erlang & more asdf-vm 7736
118 dotfiles configs for neovim, tmux, zsh, hammerspoon, alacritty... wangsongiam 29
119 icons-in-terminal Use any fonts in the terminal without replacing or patching sebastiencs 461
120 xiringuito SSH-based "VPN for poors" ivanilves 932
121 shell-ci-build A submodule to lint your shell projects with shellcheck in travis.ci builds caarlos0-graveyard 39
122 pure Pretty, minimal and fast ZSH prompt sindresorhus 9005
123 zsh-git-fetch-merge git fetch && git merge in a breeze caarlos0 4
124 ports Easily see what's happening on your computer's ports caarlos0 29
125 zsh-open-pr Open pull requests from the command line. caarlos0 59
126 dotfiles Config files for ZSH, Java, Ruby, Go, Editors, Terminals and more. caarlos0 562
127 pi-hole A black hole for Internet advertisements pi-hole 23703
128 zsh-wakatime ZSH plugin for wakatime wbingli 77
129 build-linux A short tutorial about building Linux based operating systems. MichielDerhaeg 4835
130 Command-line-text-processing ⚡ From finding text to search and replace, from sorting to beautifying text and more 🎨 learnbyexample 9276
131 bash-playground This is a collection of miscellaneous notes on unix, bash and some code samples for the latter. Most of the material is from @cinsk. jp2011 7
132 screenFetch Fetches system/theme information in terminal for Linux desktop screenshots. KittyKatt 2940
133 .dot-config 📚 Example dot configs for tmux, tmuxp, vim, vcspull, i3 and awesome tony 95
134 dotfiles My vim, zsh, git, tmux, and other config files and utility scripts. christoomey 369
135 caffe2 Caffe2 is a lightweight, modular, and scalable deep learning framework. facebookarchive 8461
136 github-downloader Download folders and files from github without cloning. Decad 81
137 epichrome An application and Chrome extension for creating web-based applications that work like standalone Mac apps. dmarmor 731
138 historian Command-line utility for managing shell history in a SQLite database. jcsalterego 523
139 xgo Go CGO cross compiler karalabe 1531
140 google-hosts Google hosts generator txthinking 3211
141 awesome-audio-visualization A curated list about Audio Visualization. willianjusten 3255
142 FullPageOS A raspberrypi distro to display a full page browser on boot guysoft 2873
143 awesome-newsletters A list of amazing Newsletters zudochkin 1835
144 awesome-kubernetes A curated list for awesome kubernetes sources 🚢🎉 ramitsurana 10100
145 nixos-in-place Install NixOS on top of any existing Linux distribution without rebooting jeaye 351
146 ffscreencast ffscreencast - ffmpeg screencast/desktop-recording with video overlay and multi monitor support cytopia 880
147 linux-cheat Linux tutorials and cheatsheets. Minimal examples. Mostly user-land CLI utilities. Linux kernel at: https://github.com/cirosantilli/linux-kernel-module-cheat cirosantilli 531
148 tools-osx A small collection of command line tools for Mac OS X, incl.: clipcat, dict, eject, ql, swuser, trash & with. morgant 541
149 cgPwn A lightweight VM for hardware hacking, RE (fuzzing, symEx, exploiting etc) and wargaming tasks 0xM3R 340
150 gh Easily manage your local git repos jdxcode 151
151 bd Quickly go back to a parent directory in linux instead of typing "cd ../../.." repeatedly vigneshwaranr 840
152 Alfred-Google-Translate Extension for Alfred that will do a Google translate for you mellson 60
153 underhanded The ultimate underhanded dotfiles ayust 246
154 movies-for-hackers 🎬 A curated list of movies every hacker & cyberpunk must watch. k4m4 8144
155 yqdotfiles dotfiles yqrashawn 32
156 takeover.sh Wipe and reinstall a running Linux system via SSH, without rebooting. You know you want to. marcan 6439
157 terminals-are-sexy 💥 A curated list of Terminal frameworks, plugins & resources for CLI lovers. k4m4 9175
158 explainshell-manpages source man pages for explainshell.com idank 13
159 dotfiles My precious configs palcu 82
160 alfred-open-windows Alfred extension to switch between open windows of the currently focused application jnewland 54
161 git-recall An interactive way to peruse your git history from the terminal Fakerr 2099
162 ssh-allow-friend A shell script to temporary allow ssh logins for friends flplv 377
163 scripts-to-rule-them-all Scripts to Rule Them All github 1935
164 elastic-ci-stack-for-aws An auto-scaling cluster of build agents running in your own AWS VPC buildkite 278
165 git-quick-stats ▁▅▆▃▅ Git quick statistics is a simple and efficient way to access various statistics in git repository. arzzen 3896
166 bocker Docker implemented in around 100 lines of bash p8952 7572
167 dotfiles Linux desktop config yoshuawuyts 125
168 iOSRE iOS Reverse Engineering kpwn 890
169 alfred-mac-osx-sharing Alfred workflow to use Mac OS X sharing services vdesabou 15
170 popup-openvpn Make a self hosted OpenVPN server in 15 minutes robbintt 830
171 alfred-caffeinate Prevent macOS from Sleeping paulsri 5
172 alfred-airpods-selector Use Alfred to Switch Between AirPods and Default Audio Sources on macOS paulsri 54
173 dotfiles My various configs and scripts. Few written by me and most of them lifted/modified from the web easysid 101
174 boot2docker DEPRECATED; see boot2docker/boot2docker#1408 boot2docker 8349
175 shell-explorer File explorer made with shell script。 rcmdnk 8
176 zsh-vimode-visual Implement the vim-like visual mode to vi-mode of zsh b4b4r07 89
177 fasd Command-line productivity booster, offers quick access to files and directories, inspired by autojump, z and v. clvv 5052
178 n Node version management tj 13279
179 aconfmgr A configuration manager for Arch Linux CyberShadow 477
180 bashttpd A web server written in bash avleen 1230
181 shinatra A simple web server in 5 lines of bash benrady 743
182 wifi-password Get the password of the wifi you're on (bash) rauchg 3343
183 dotfiles My macOS environment: zsh, Git, Visual Studio Code, etc. sapegin 380
184 dotfiles Configurationize all the things myfreeweb 124
185 bitbar-plugins Plugin repository for BitBar matryer 1217
186 lynis Lynis - Security auditing tool for Linux, macOS, and UNIX-based systems. Assists with compliance testing (HIPAA/ISO27001/PCI DSS) and system hardening. Agentless, and installation optional. CISOfy 7437
187 iterm2-borderless-padding Deprecated. A custom binary of iTerm2 that removes borders and adds padding 💻 jaredculp 376
188 git-extras GIT utilities -- repo summary, repl, changelog population, author commit percentages and more tj 14063
189 laptop A shell script to set up a macOS laptop for web and mobile development. thoughtbot 7852
190 tmux-yank Tmux plugin for copying to system clipboard. Works on OSX, Linux and Cygwin. tmux-plugins 1621
191 base16-shell Base16 for Shells chriskempson 1334
192 dotfiles mhartington 447
193 dotfiles My dotfiles jason0x43 18
194 zsh-autosuggestions Fish-like autosuggestions for zsh zsh-users 13871
195 dotfiles My vim, zsh, tmux, and OS X dotfiles keith 197
196 tmux-gitbar Git in your tmux status bar arl 164
197 og-aws 📙 Amazon Web Services — a practical guide open-guides 26676
198 c Compile and execute C "scripts" in one go! ryanmjacobs 1790
199 tiny-scripts Collection of small scripts vitorgalvao 195
200 awesome-raspberry-pi 📝 A curated list of awesome Raspberry Pi tools, projects, images and resources thibmaek 7003
201 rbenv Groom your app’s Ruby environment rbenv 12569
202 papers-we-love Papers from the computer science community to read and discuss. papers-we-love 40943
203 quinedb QuineDB is a quine that is also a key-value store. gfredericks 559
204 dotfiles ~anish • powered by https://github.com/anishathalye/dotbot 💾 anishathalye 307
205 swiftenv Swift Version Manager kylef 1787
206 gitflow-avh AVH Edition of the git extensions to provide high-level repository operations for Vincent Driessen's branching model petervanderdoes 4344
207 dotfiles mac OS, Arch Linux, and Debian/Ubuntu davidosomething 236
208 with Command prefixing for continuous workflow using a single tool. mchav 1193
209 NodeOS Lightweight operating system using Node.js as userspace NodeOS 6223
210 dotfiles My dotfiles. Buyer beware ;) jessfraz 2598
211 dotpr0n Dotfiles for macOS, FreeBSD, Linux, fish, tmux, custom functions and lots more. Peekaboo! herrbischoff 37
212 imgur-screenshot Take screenshot selection, upload to imgur. + more cool things jomo 525
213 dotfiles Most effective environment configuration with i3, vim, zsh and Arch Linux kovetskiy 15
214 awesome-python-talks 🎬 🎓 An opinionated list of awesome videos related to Python, with a focus on training and gaining hands-on experience. jhermann 428
215 streisand Streisand sets up a new server running your choice of WireGuard, OpenConnect, OpenSSH, OpenVPN, Shadowsocks, sslh, Stunnel, or a Tor bridge. It also generates custom instructions for all of these services. At the end of the run you are given an HTML file with instructions that can be shared with friends, family members, and fellow activists. StreisandEffect 21199
216 run-node Run the Node.js binary no matter what sindresorhus 119
217 m-cli  Swiss Army Knife for macOS rgcr 8102
218 zsh-syntax-highlighting Fish shell like syntax highlighting for Zsh. zsh-users 9672
219 k k is the new l, yo supercrabtree 1329
220 dotfiles Configuration gubbins mottram 11
221 Mac-CLI  OS X command line tools for developers – The ultimate tool to manage your Mac. It provides a huge set of command line commands that automatize the usage of your OS X system. guarinogabriel 7884
222 zsh-completions Additional completion definitions for Zsh. zsh-users 3631
223 tldr 📚 Collaborative cheatsheets for console commands tldr-pages 27359
224 awesome-zsh-plugins A collection of ZSH frameworks, plugins, themes and tutorials. unixorn 7887
225 alfred_workflows Useful Alfred workflows to enhance your productivity on Mac. Great for developers and power user. pirafrank 10
226 noreallyjustfuckingstopalready Please OS X (or whatever your name is) just fucking reset your DNS cache please eventi 288
227 scripts A series of Bash and ZShell scripts matthewmccullough 219
228 gg Git Goodies: At-A-Glance, Efficient, and Aesthetically Pleasing Git Shortcuts qw3rtman 1341
229 z z - jump around rupa 11860
230 config Personal checklist for setting up a new Mac's dev environment. mdo 514
231 dotfiles David's dotfiles repository dvcrn 34
232 zplug 🌺 A next-generation plugin manager for zsh zplug 3947
233 vim_emu Setting files of VIM Emulation for Karabiner (KeyRemap4Macbook) rcmdnk 29
234 rbenv-gemset KISS yet powerful gem / gemset management for rbenv jf 601
235 faq Полезная информация о жизни в Германии ru-de 1532
236 km-markdown-library Markdown library for Keyboard Maestro. Zettt 175
237 apricity-build ISO build scripts for Apricity OS Apricity-OS 369
238 fisher A package manager for the fish shell. jorgebucaran 4292
239 fish-shell The user-friendly command line shell. fish-shell 15206
240 nvm Node Version Manager - POSIX-compliant bash script to manage multiple active node.js versions nvm-sh 42522
241 xnu-make Easily build, install and deploy the XNU kernel ddeville 43
242 dotfiles @holman does dotfiles holman 5844
243 dotfiles 🔧 .files, including ~/.macos — sensible hacker defaults for macOS mathiasbynens 23495
244 neofetch 🖼️ A command-line system information tool written in bash 3.2+ dylanaraps 8996
245 dotfiles ▒ rice ░░ custom linux config files xero 1319
246 bash2048 Bash implementation of 2048 game mydzor 771
247 awesome-bash A curated list of delightful Bash scripts and resources. awesome-lists 3054
248 prezto The configuration framework for Zsh sorin-ionescu 11314
249 bash-sensible An attempt at saner Bash defaults mrzool 1778
250 mac-setup Installing Development environment on macOS sb2nov 6000
251 ssh-copy-id-for-OSX Quick Mac OSX port of the useful unix utility ssh-copy-id beautifulcode 887
252 spot Tiny file search utility (bash) rauchg 867
253 gitCS My personal git cheat sheet obstschale 19
254 RetroPie-Setup Shell script to set up a Raspberry Pi/Odroid/PC with RetroArch emulator and various cores RetroPie 8660
255 Hack A typeface designed for source code source-foundry 13453
256 ohmyzsh 🙃 A delightful community-driven (with 1700+ contributors) framework for managing your zsh configuration. Includes 200+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, php, python, etc), over 140 themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community. ohmyzsh 112235
257 iTerm2-Color-Schemes Over 225 terminal color schemes/themes for iTerm/iTerm2. Includes ports to Terminal, Konsole, PuTTY, Xresources, XRDB, Remmina, Termite, XFCE, Tilda, FreeBSD VT, Terminator, Kitty, MobaXterm, LXTerminal, Microsoft's Windows Terminal, Visual Studio, Alacritty mbadolato 17066
258 bash-it A community Bash framework. Bash-it 11588

Smalltalk

Name Description Author Stars
1 gtoolkit Glamorous Toolkit is the moldable development environment. feenkcom 222

Solidity

Name Description Author Stars
1 semaphore A privacy gadget for Ethereum appliedzkp 140

Standard ML

Name Description Author Stars
1 compiling-pattern-guards Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards" JohnReppy 13
2 smlpkg Generic package manager for Standard ML libraries and programs diku-dk 108
3 bright-ml A statically-typed programming language based on "F-ing modules" elpinal 35
4 mlkit Standard ML Compiler and Toolkit melsman 155
5 ponyo Library and Toolkit for Standard ML eatonphil 137
6 mlton The MLton repository MLton 602
7 JonPRL An proof refinement logic for computational type theory based on realizability & the verificationist meaning explanation. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: https://github.com/redprl/sml-redprl] jonsterling 105
8 sml-redprl The People's Refinement Logic RedPRL 206
9 urweb The Ur/Web programming language urweb 671
10 flrc Haskell Research Compiler IntelLabs 791

Starlark

Name Description Author Stars
1 ethereumapis A collection of public Ethereum APIs. prysmaticlabs 27
2 starlark Starlark Language bazelbuild 566
3 bazel-linting-system 🌿💚 Experimental system for registering, configuring, and invoking source-code linters in Bazel. thundergolfer 44
4 distroless 🥑 Language focused docker images, minus the operating system. GoogleContainerTools 7418
5 rules_swift Bazel rules to build Swift on Apple and Linux platforms bazelbuild 109
6 livegrep Interactively grep source code. Source for http://livegrep.com/ livegrep 956