A rust crate that provides extremely fast and space efficient encoding and decoding of variable-length and structured data using varint and deduplication schemes

Clean, portable, tested implementations of post-quantum cryptography

A curated list of resources about post-quantum cryptography.

Code examples, data structures, and links from my book, Rust Atomics and Locks.

Expander, an open-source GKR prover designed for scaling large-scale parallel computing.

This is an online course where you can learn and master the skill of low-level performance analysis and tuning.

Coz: Causal Profiling

SIMD-accelerated distances, dot products, matrix ops, geospatial & geometric kernels for 16 numeric types — from 6-bit floats to 64-bit complex — across x86, Arm, RISC-V, and WASM, with bindings fo…

Intel PMU profiling tools

A curated list of research, articles, tools, and resources focused on attacks against Fully Homomorphic Encryption (FHE)

SecLists is the security tester's companion. It's a collection of multiple types of lists used during security assessments, collected in one place. List types include usernames, passwords, URLs, se…

Source code for "Building Cryptographic Proofs from Hash Functions"

STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain …

A markup-based typesetting system that is powerful and easy to learn.

Automatic tiling window manager for macOS à la xmonad.

Framework for building computational graphs that process any real time data source.

Invidious is an alternative front-end to YouTube

Sha256 Algorithm Explained

JSON output from a shell

Tutorial: Writing a "bare metal" operating system for Raspberry Pi 4

Specification for interoperability of common algebraic structures in JavaScript

Julia functional programming infrastructures and metaprogramming facilities

Official Implementation for "ReStyle: A Residual-Based StyleGAN Encoder via Iterative Refinement" (ICCV 2021) https://arxiv.org/abs/2104.02699

A repository for storing models that have been inter-converted between various frameworks. Supported frameworks are TensorFlow, PyTorch, ONNX, OpenVINO, TFJS, TFTRT, TensorFlowLite (Float32/16/INT8…

A library and language for building parsers, interpreters, compilers, etc.

Real-Time SLAM for Monocular, Stereo and RGB-D Cameras, with Loop Detection and Relocalization Capabilities

A CUDA implementation of SIFT for NVidia GPUs (1.2 ms on a GTX 1060)

Ethereum peer-to-peer networking specifications