The is the official implementation of "s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs"

GitHub Action to setup the protoc compiler for protocol buffers

Rust implementation of the Binary Canonical Serialization (BCS) format

S3-backed Nix binary cache with garbage collection

A nix type checker/lsp

Full typing for Nix based on TypeScript

a tiling window manager for macos

A verification toolchain for Rust programs

Nix Packages collection & NixOS

Lexe Sidecar SDK: Control a Lexe node by sending REST requests to `localhost:5393`

a multi-language bindings generator for rust

Data interchange with algebraic data types.

High quality, fast and easy to build cryptography for Rust

A luxurious package manager for Lua

OpenVault is a Bitcoin Custody platform for securely managing keys to Bitcoin wallets for Enterprises (self, clients) . It is a FOSS white-labelled Enterprise Custody Bitcoin Wallet Infra performin…

Bitcoin Lightning Improvement Proposals

BOLT: Basis of Lightning Technology (Lightning Network Specifications)

Open source observability platform for logs, metrics, traces, frontend monitoring, pipelines and LLM observability. A sophisticated, simple and highly performant alternative to Datadog, Splunk, and…

A simple, fast, and secure operating system for the cloud.

Support for Android NDK Tracing in Rust

A Java Module built to enable interfacing with the android keystore from rust.

Hex diff viewer using alignment algorithms from biology

A Certificate Transparency log implementation and monitoring API designed for scalability, ease of operation, and reduced cost.

A lock-free memory allocator

An agenix extension adding secret generation and automatic rekeying using a YubiKey or master-identity

🥙 Controlled static privilege escalation utility with baked-in authentication rules. The most restrictive and lightweight replacement for sudo, doas or please.