⚡ Dark powered Vim/Neovim plugin manager

Neovim plugin for GitHub Copilot

Check syntax in Vim/Neovim asynchronously and fix files, with Language Server Protocol (LSP) support

The AI coding agent built for the terminal.

Automated property based testing for Rust (with shrinking).

Direct File

🔥 ~6x faster, stricter, configurable, extensible, and beautiful drop-in replacement for golint

Access large language models from the command-line

Concatenate a directory full of files into a single prompt for use with LLMs

Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a formally verified and auditable firmware.

Fly.io macaroon implementation

Efficient, flexible and constant time Rust implementation of finite fields GF(p^2) where p = 3 mod 4

Stock options, RSUs, taxes — read the latest edition: www.holloway.com/ec

QCSuper is a tool communicating with Qualcomm-based phones and modems, allowing to capture raw 2G/3G/4G radio frames, among other things.

Reference implementation and performance tests of ChaCha20-Poly1305-PSIV

SpiderOak's cryptography libraries

Wycheproof for Rust

Hybrid PQ/T Key Encapsulation Mechanisms

Encoding algorithms for ML-KEM

Verifying the Rust standard library

a small, lightweight crate for numerical integration written in Rust.

FN-DSA (Falcon) signature scheme

A proof of concept for how you can turn a duplex-style AEAD scheme (e.g., AEGIS) into a memory-hard password-based KDF.

RFHunter is a device to find hidden Cameras at AirBNBs

aws-lc-rs is a cryptographic library using AWS-LC for its cryptographic operations. The library strives to be API-compatible with the popular Rust library named ring.

Aranya user library, daemon, and policy code

Core Aranya tech including policy compiler, parser, interface generator, VM, DAG

A microarchitectural leakage detection framework using dynamic instrumentation.