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
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, and blame output
Anki is a smart spaced repetition flashcard program
A Git-compatible VCS that is both simple and powerful
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
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.
opensource self-hosted sandboxes for ai agent
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…
Highly-available Distributed Fault-tolerant Runtime
An implementation of differential dataflow using timely dataflow on Rust.
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.
Cryptographic signature algorithms: DSA, ECDSA, Ed25519