(Experimental) Softfloats for WebAssembly

Rust crates with map and set with interval keys (ranges x..y).

Declare your digital independence

🌌 Open Source AI for large scale open ended feedback

AdNauseam: Fight back against advertising surveillance

A third-party, open-source ProtonMail CardDAV, IMAP and SMTP bridge

Postgres module for Zstandard compression/decompression with preset dictionary support

libc targeted for embedded systems usage. Reduced set of functionality (due to embedded nature). Chosen for portability and quick bringup.

Embedded Systems C++ Library Support (Currently wraps libcxx)

Steam In-Home Streaming Client Application

A flexible distributed key-value database that is optimized for caching and other realtime workloads.

The binary-layout library allows type-safe, inplace, zero-copy access to structured binary data. You define a custom data layout and give it a slice of binary data, and it will allow you to read an…

RetDec is a retargetable machine-code decompiler based on LLVM.

Steam Audio

Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀

Turn your software into a business.

Rust implementation of the Ethereum Virtual Machine.

An unofficial Box2D physics server for Godot Engine, implemented as a GDExtension

Implementation of Nougat Neural Optical Understanding for Academic Documents

A Rust zkVM with a Modular Proof System

derive(Error) for struct and enum error types

Build smaller, faster, and more secure desktop and mobile applications with a web frontend.

3D and 2D game engine written in Rust

Synapse BitTorrent Daemon

An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable Computation proof systems.

Circuit benchmarks (test cases) for formal verification of zk circuits

r1cs file format parser

LR(1) parser generator for Rust