- All languages
- Assembly
- Bluespec
- C
- C#
- C++
- CSS
- Coq
- Fortran
- Go
- Groovy
- HTML
- Haskell
- Haxe
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- MATLAB
- MDX
- Nim
- Nix
- OCaml
- Objective-C
- PHP
- PLSQL
- PLpgSQL
- Python
- ReScript
- Rocq Prover
- Roff
- Ruby
- Rust
- Scala
- Shell
- Starlark
- Swift
- SystemVerilog
- TypeScript
- V
- VHDL
- Verilog
- WebAssembly
- ZAP
- Zig
Starred repositories
Empowering everyone to build reliable and efficient software.
A markup-based typesetting system that is powerful and easy to learn.
Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
Makepad is a creative software development platform for Rust that compiles to wasm/webGL, osx/metal, windows/dx11 linux/opengl
High-velocity, monorepo-scale workflow for Git
Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier for rustaceans.
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
NIx Language server, an incremental analysis assistant for writing in Nix.
A dynamic library providing Virtualization-based process isolation capabilities
Introducing Inlyne, a GPU powered yet browserless tool to help you quickly view markdown files in the blink of an eye.
Transform Linux Audit logs for SIEM usage
Serverless full-text search with Cloudflare Workers, WebAssembly, and Roaring Bitmaps
Lightweight fuzzing of a memory snapshot using KVM
A Rust library containing a collection of small well-tested primitives.
A game development framework that provides basic tooling and a content authoring workflow
WIP UEFI Display Driver for embedded-graphics