Stars
- All languages
- Agda
- Assembly
- Batchfile
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Coq
- Cuda
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Jupyter Notebook
- MATLAB
- MDX
- MLIR
- Makefile
- Markdown
- OCaml
- Objective-C
- PHP
- Perl
- Python
- Racket
- Rocq Prover
- Ruby
- Rust
- Scheme
- Shell
- Standard ML
- Swift
- SystemVerilog
- TLA
- TeX
- TypeScript
- Verilog
- Vim Script
- WebAssembly
Empowering everyone to build reliable and efficient software.
An extremely fast Python package and project manager, written in Rust.
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
A cross-platform, OpenGL terminal emulator.
A curated list of Rust code and resources.
A simple, fast and user-friendly alternative to 'find'
Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.
A modern editor with a backend written in Rust.
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
open source training courses about distributed database and distributed systems
Raft distributed consensus algorithm implemented in Rust.
The Rust primer for beginners. We need native English speaker help us modify the translation.