Reflection, Rewinding, and Coin-Toss in EasyCrypt -- accompanying EasyCrypt code

Computer science diagrams in Ti𝑘Z

Free, simple, fast interactive diagrams for any GitHub repository

An Implementation of the Number Theoretic Transform

Jasmin implementation of the eXtended Merkle Signature Scheme (XMSS) & proof of correctness in EasyCrypt

A complete computer science study plan to become a software engineer.

A collection of Beamer themes from the community

Source Code for 'Modern Arm Assembly Language Programming' by Daniel Kusswurm

A central hub for sharing and exploring seminar materials, resources, and innovations in the field of Automated Reasoning.

This repository is a curated collection of Category Theory resources, notes, and proofs formatted in LaTeX.

My lecture notes for moderen mathematics, including topics like set theory, advanced calculus, topology, linear algebra and abstract algebra, complex analysis etc.

Mastering the Art of EasyCrypt Programming

A foundational framework for modular cryptographic proofs in Coq

Cryptographic Primitive Code Generation by Fiat

An Haskell oriented introduction to Category Theory (with basket of cats!)

Resources for learning Category Theory for an enthusiast

Exploit Development and Reverse Engineering with GDB & LLDB Made Easy

Mastering the Art of Coq Programming

Formal verification tool for Rust: check 100% of execution cases of your programs to make safe applications for demanding domains.

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

The Z3 Theorem Prover

Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning"

OpenSSL bindings for Rust

Mastering the Art of Rust Programming

The purpose of the course is to teach students how to program in Cryptol, a domain specific language for cryptography.