zkSnark circuit compiler

A Python interface for https://github.com/fplll/fplll

A GPU-based renderer for the web

A small and fast async runtime for Rust

Ghidra Wasm plugin with disassembly and decompilation support

A sage Toolkit for mounting/estimating attacks on LWE with Side Information

Fast lattice reduction

MIPI Display Serial Interface unified driver

Sampling profiler for Python programs

A stupid Rust memory allocator

An implementation of the Language Server Protocol for LaTeX

It's a New Kind of Wrapper for Exposing LLVM (Safely)

Efficient and minimal collaborative code editor, self-hosted, no database required

A python implementation of the signature scheme Falcon

A Binary Ninja plugin for demangling Rust symbols.

radius2 is a fast binary emulation and symbolic execution framework using radare2

Rust bindings for the Python interpreter

A Rust embedded-hal HAL for all MCUs in the STM32 F3 family

Toy garbled circuits

C library for prototyping and experimenting with quantum-resistant cryptography

Main repository of SageMath

The materials of "Hypervisor 101 in Rust", a one-day long course, to quickly learn hardware-assisted virtualization technology and its application for high-performance fuzzing on Intel/AMD processors.

A guide to how rustc works and how to contribute to it.

boxxy puts bad Linux applications in a box with only their files.

Lattice algorithms using floating-point arithmetic

An attempt at a new LWE estimator

Context utilities in Rust

Λ ⚬ λ: Functional Lattice Cryptography

tiniest x86-64-linux emulator