Discover @denismazzucato Open Source projects

Denis (@denismazzucato)

denismazzucato

Stars
11
Global Rank 917,004 (Top 32 %)
Followers 25
Following 20
Registered almost 7 years ago
Most used languages

TeX
33.3 %

C
33.3 %

Haskell
16.7 %

Lean 16.7 %
Location 🇮🇹 Italy
Country Total Rank 7,320
Country Ranking

Lean 5

Haskell
43

TeX
196

C
1,275

while-interpreter

While Language Interpreter in Haskell

typetheory

workbook for Type Theory course Maietti Sambin at the University of Padua, 2019

Composing-Monads

Research Report on Composing Monads for University project

game-of-life

Conway's Game of Life in MPI, assignement fo Parallel Programming Pratical, Vrije Universiteit 2019/20

timesec

Timesec: a static analysis tool to sounldy prove timing side-channel freedom over a set of sensititve input variables for C functions

noninterference-lean

A Sound Type System for Secure Flow Analysis coded in Lean

ml-review