vbgl
Follow
Stars
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
Fast and exact geometrical predicates in the Euclidean plane
[DEPRECATED] Stanford Javascript Crypto Library
Tuta is an email service with a strong focus on security and privacy that lets you encrypt emails, contacts and calendar entries on all your devices.
A first-order concurrent automated theorem prover
Compositional Verification of Security Protocols