An open source terminal helper application. For keeping your terminal sessions under control.

the WebAssembly partial evaluator

Wasm Analysis Framework For Lightweight Experiments

Deploy Flatcar Container Linux / Core OS at home with a familiar UX

Asynchronous SSH client library in pure Rust

🐚bash/POSIX-compatible shell implemented in Rust 🦀

WireGuard packet relay for NAT traversal

A very fast linker for Linux

A desktop environment without graphics

🍄 an alleged 'operating system'

signal-cli provides an unofficial commandline, JSON-RPC and dbus interface for the Signal messenger.

Hypothesis-like property testing for Rust

Automated property based testing for Rust (with shrinking).

[MIGRATED to https://codeberg.org/prjunnamed/prjunnamed] End-to-end synthesis and P&R toolchain

Simple refinement types for Rust; parse, don't validate!

n2 ("into"), a ninja compatible build system

Rust parser for KDL

Web Assembly Value Encoding

a tool for reinterpreting ELF executables and shared libraries

A WebAssembly-native Rust stdlib

The WebAssembly Pre-Initializer

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

A crate to help you go wide. By which I mean use SIMD stuff.

Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.

A State Machine Language DSL procedual macro for Rust

A scalable overlay networking tool with a focus on performance, simplicity and security

Instantiate, inspect, and invoke Wasm components from within a component.

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