Martino D'Adda's starred repositories
MarkovJunior
Probabilistic language based on pattern matching and constraint propagation, 153 examples
scrapscript
A functional, content-addressable programming language.
click-and-collect
A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml
prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
sectorlisp
Bootstrapping LISP in a Boot Sector
Teoria-dei-Grafi
Spazio dedicato al corso di teoria dei grafi :globe_with_meridians:
formalising-mathematics-2024
Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
anytype-ts
Official Anytype client for MacOS, Linux, and Windows
lets-prove-leftpad
Proving leftpad correct two-dozen different ways
Teoria-dei-Linguaggi
Teoria dei linguaggi
swi-prolog-z3
Using Z3 as a constraint solver inside SWI Prolog
category-theory-resources
Resources for learning Category Theory for an enthusiast
prolog-analyzer
A static analyzer for Prolog