A new markup-based typesetting system that is powerful and easy to learn.

Safe Rust bindings to POSIX-ish APIs

Refinement Types for Rust

A Cargo subcommand for creating WebAssembly components based on the component model proposal.

Experimental WASI API bindings for Rust

The compiler for the Claw language

CLI and Rust libraries for low-level manipulation of WebAssembly modules

Traces the shared-object dependencies of a binary, and graphs them.

Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable beh…

SSH3: faster and rich secure shell using HTTP/3, checkout our article here: https://arxiv.org/abs/2312.08396 and our Internet-Draft: https://datatracker.ietf.org/doc/draft-michel-ssh3/

Backup and restore Ed25519 SSH keys with seed words 🫠

Command line linker for creating WebAssembly components

The systemd System and Service Manager

General purpose GPU compute framework built on Vulkan to support 1000s of cross vendor graphics cards (AMD, Qualcomm, NVIDIA & friends). Blazing fast, mobile-enabled, asynchronous and optimized for…

Antithesis SDK for Go

A non-hierarchical file manager

web search done right

A garbage collection library for Rust with zero unsafe code

WebAssembly Composition (WAC) tooling

A proof-of-concept microkernel that runs WebAssembly natively.

A repl for WebAssembly Components

A small and fast async runtime for Rust

An AV1 decoder in Rust.

The Tilde text editor

Pure Rust implementation of JPEG XL decoder

BPF-based packet filtering framework

Support for compiling C programs with Eyra

TurboRC - Fastest Range Coder + Arithmetic Coding / Fastest Asymmetric Numeral Systems