Stars
- All languages
- AppleScript
- Assembly
- Astro
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- D
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- F#
- Fortran
- Gnuplot
- Go
- Graphviz (DOT)
- Groovy
- HCL
- HTML
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lua
- M
- MATLAB
- MDX
- Makefile
- MoonScript
- Nim
- OCaml
- Objective-C
- PHP
- Perl
- Prolog
- Puppet
- Python
- R
- Racket
- Rich Text Format
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Self
- Shell
- Smalltalk
- Standard ML
- Starlark
- Swift
- SystemVerilog
- TLA
- TeX
- Toit
- TypeScript
- V
- VHDL
- Verilog
- Vim Script
- Wikitext
- Zig
- hoon
The repo is finally unlocked. enjoy the party! The fastest repo in history to surpass 100K stars ⭐. Join Discord: https://discord.gg/5TUQKqFWd Built in Rust using oh-my-codex.
Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.
Secure and fast microVMs for serverless computing.
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
A syntax-highlighting pager for git, diff, grep, rg --json, and blame output
A Git-compatible VCS that is both simple and powerful
Anki is a smart spaced repetition flashcard program
An incremental parsing system for programming tools
🦔 Fast, lightweight & schema-less search backend. An alternative to Elasticsearch that runs on a few MBs of RAM.
A massively parallel, high-level programming language
Algorithm powering the For You feed on X
The Mullvad VPN client app for desktop and mobile
Spin is the open source developer tool for building and running serverless applications powered by WebAssembly.
🧱 secure, local, cross-platform and programmable sandboxes for AI agents
High-velocity, monorepo-scale workflow for Git
A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
Free, open source, a high frequency trading and market making backtesting and trading bot, which accounts for limit orders, queue positions, and latencies, utilizing full tick data for trades and o…
An implementation of differential dataflow using timely dataflow on Rust.
Highly-available Distributed Fault-tolerant Runtime
Claude Opus 4.6 wrote a dependency-free C compiler in Rust, with backends targeting x86 (64- and 32-bit), ARM, and RISC-V, capable of compiling a booting Linux kernel.
A modern Prolog implementation written mostly in Rust.
Collection of cryptographic hash functions written in pure Rust
A simple and fast linear algebra library for games and graphics
A model checker for implementing distributed systems.
Rust library for building and running BPF/eBPF modules
Cross platfrom window and framebuffer crate for Rust
Mycelite is a SQLite extension that allows you to synchronize changes from one instance of SQLite to another.