Runnable code for solving Project Euler problems in Java, Python, Mathematica, Haskell.
-
Updated
May 26, 2024 - Java
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)
GAPT: General Architecture for Proof Theory
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.
Type level algebraic "proofs" using lens combinators
Fully proved small C functions (examples for verification course).
Theorems, Definitions, Papers, Research
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.
F-omega with interval kinds mechanized in Agda
Agda Library to Study the Expressive Power of Languages for Static Variability
My master thesis on Whitebox cryptography & AES Whitebox schemes.
[Informatica - Basi di Dati 1] Forum di scambio e confronto di soluzioni a esercizi e prove d'esame passate
Template-based proofs of concurrent search structures.
Add a description, image, and links to the proofs topic page so that developers can more easily learn about it.
To associate your repository with the proofs topic, visit your repo's landing page and select "manage topics."