Pinned Loading

1. valerie-core valerie-core Public

   F* 3 1

2. valerie valerie Public

   Unified build system, compiler driver & multi-ISA verification toolchain for formally verified cryptographic assembly in Vale, Pulse, and F*.

   Rust 3 1

3. Causm Causm Public

   Causm is a domain-specific research language designed to address the inherent non-determinism in concurrent systems.

   Rust 3

4. ruri ruri Public

   A Lightweight Pure-Rust Wireless ADB Client and Engine

   Rust 3 1

5. isla isla Public

   An experimental, kernel-bypass TCP/IP stack written in Rust. Features a hybrid threading engine and zero-copy architecture.

   Rust 6

6. ship-pm ship-pm Public

   Agnostic shell package orchestrator for pre-built binaries across Linux (GNU, Musl) and Android (Termux) user-space environments.

   Python 3