#算法刷题#Runnable code for solving Project Euler problems in Java, Python, Mathematica, Haskell.
KaRaMeL is a tool for extracting low-level F* programs to readable C code
Authenticated multi-version database: sparse binary merkle tree with compact partial-tree proofs
A verification toolchain for Rust programs
Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)
Solutions to Susanna Epp's Discrete Mathematics book, 5th Edition
#区块链#An example of how generate zero-knowledge proofs and verify using an Ethereum smart contract.
[Informatica - Basi di Dati 1] Forum di scambio e confronto di soluzioni a esercizi e prove d'esame passate
Fully proved small C functions (examples for verification course).
My portfolio contains a lexer generator, a parser generator, my own λProlog interpreter, and several meta-theorems for the propositional logic with their proofs written in Coq.
Agda Library to Study the Expressive Power of Languages for Static Variability
My master thesis on Whitebox cryptography & AES Whitebox schemes.