Communication layer for the software challenge germany 2025
Rust bindings for the Listen Notes Podcast API
SIP protocol implementation for the rvoip stack
Embeddable ACME server with programmable challenges and storage
Isla is a symbolic execution engine for Sail instruction set architecture specifications.
Isla is a symbolic execution engine for Sail instruction set architecture specifications. This crate implements utilities for handling axiomatic memory models.
Isla is a symbolic execution engine for Sail instruction set architecture specifications. This crate implements the core symbolic execution engine as a library.
Linkable sandbox explorer
Lightweight, fast and secure chat application powered by WHY2 encryption.
Minecraft beta 1.7.3 base data structures and logic for running a world
Minecraft beta 1.7.3 protocol and server implementation compatible with Notchian client
Salted Challenge Response Authentication Mechanism (SCRAM) SASL mechanism, a library which implements SCRAM logic for Rust and C languages.