Diesel ORM backend for libSQL (Turso) — local, remote, replicas, async, OpenTelemetry

Turso is an in-process SQL database, compatible with SQLite.

Completion-based I/O for Rust. No runtime, no hidden tasks.

a portable and fast pairing-based cryptography library

A curated list of resources about post-quantum cryptography.

An execution engine for Wireshark-like filters

Proof-of-concept code for beating Google's ZK proof of quantum cryptanalysis

Minimal zkVM, targeting aggregation of hash-based signatures.

Rust implementation of the current leanSig proposal.

Cross-platform GUI written in Rust using ADB to debloat non-rooted Android devices. Improve your privacy, the security and battery life of your device.

AI coding assistant skill (Claude Code, Codex, OpenCode, Cursor, Gemini CLI, GitHub Copilot CLI, OpenClaw, Factory Droid, Trae, Google Antigravity). Turn any folder of code, docs, papers, images, o…

“Zero setup” cross compilation and “cross testing” of Rust crates

simple, fast and efficient s3 client for bucket operations

An Operating System for Z80 computers, written in assembly

relational database stored 100% in a discord guild built with go

A stack based VM with a Prolog-compiled s-expression language featuring static types, effect inference (det/semidet/nondet), and a Forth layer on top

Zig INferenCe Engine — Local LLM inference on AMD GPUs and Apple Silicon

SIMD Vectorized implementation of X25519, Ed25519, X448 and Ed448

Deep ghidra decompiler and sleigh disassembler integration for rizin

The LLVM-based D Compiler.

BullshitBench measures whether AI models challenge nonsensical prompts instead of confidently answering them, created by Peter Gostev.

Oko is an open-source embedded wallet stack that provides passwordless crypto experience via multi-party computation

A golang formatter that fixes long lines

L. L. Odette's Prolog Virtual Machine (PVM) implemented in Forth. Upgraded to 32 Bit ANSI Forth. Tested on ForthWin.

Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy