Stars
The AREION public crypto permutation, implemented in Zig.
because research belongs to _everybody_
FaCiLe a constraint programming library on integer and integer set finite domains written in OCaml
A FPGA friendly 32 bit RISC-V CPU implementation
Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of development.
Lean 4 programming language and theorem prover
A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi,@lweqx,@MysaaJava]
An algebraic spin on grammar-of-graphics data visualization in Julia. Powered by the Makie.jl plotting ecosystem.
Length-preserving, format-preserving UTF-8 encryption. Experimental, super dangerous, you've been warned.
FlippyRAM is an automated framework for testing and analyzing Rowhammer vulnerabilities in DRAM. It combines rowhammer tools and supports both Docker and ISO-based execution, making it a powerful r…
ML-KEM implementation in libjade with high assurance
ElectionGuard is a set of open source software components that can be used to create and publish end to end verifiable elections as well create a publishable artifact for ballot comparison audits.
Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser
Chatmail Rust Core library, used by Android/iOS/desktop chatmail apps, bindings and bots 📧
A graph of the programming languages
Expose the contents of .docx files without leaving your terminal. Fast, safe, and smart — no Office required!
Gestion des collections d'échantillon - management of samples collections