- All languages
- Agda
- Assembly
- C
- C++
- CSS
- Common Lisp
- Coq
- Dockerfile
- Elixir
- Elm
- Erlang
- F#
- F*
- Flix
- Go
- HTML
- Haskell
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- Koka
- Kotlin
- Lean
- Lua
- Makefile
- Markdown
- Mercury
- MoonBit
- Nim
- Nix
- Nushell
- OCaml
- Objective-C
- PHP
- Python
- QML
- ReScript
- Reason
- Rocq Prover
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Smarty
- Standard ML
- TypeScript
- V
- Vim Script
- Vue
- WebAssembly
Starred repositories
Empowering everyone to build reliable and efficient software.
Build smaller, faster, and more secure desktop and mobile applications with a web frontend.
Unofficial Bitwarden compatible server written in Rust, formerly known as bitwarden_rs
A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust
⭐️ A friendly language for building type-safe, scalable systems!
Modern observability platform: 10x easier, 140x lower storage cost, petabyte scale. Open-source alternative to Elasticsearch/Splunk/Datadog for logs, metrics, traces, RUM, and more.
🚀2.3x faster than MinIO for 4KB object payloads. RustFS is an open-source, S3-compatible high-performance object storage system supporting migration and coexistence with other S3-compatible platfor…
A lightweight WebAssembly runtime that is fast, secure, and standards-compliant
Install Nix and flakes with the fast and reliable Determinate Nix Installer, with over 7 million installs.
Implementation of the Cedar Policy Language
Rust libraries for Bluesky's AT Protocol services.
A tool to run tests for AtCoder Heuristic Contest (AHC)