matteobusi

incremental-mincaml

Incremental typing for a small subset of OCaml

alvie

The ALVIE tool, accompanying the paper: "Bridging the Gap: Automated Analysis of Sancus"

forcegame

Final project for human-computer interaction class

matteobusi.github.io

My personal website

min-caml

moved from https://sourceforge.net/p/min-caml/code/

minrt

raytracer

A simple raytracer

sOS

Another small experimental Kernel...

stv

Coq development for secure translation validation

assemblyscript

Definitely not a TypeScript to WebAssembly compiler 🚀

ciq_pface

Water-filling watch face for Garmin devices.

core_bench

Micro-benchmarking library for OCaml

fjava

Featherweight Java type checker

fscoda

Context-oriented programming extension for F#

FStar

Verification system for effectful programs

isabelle

git mirror of the Munich isabelle hg repository

jacobi

Implementation in C++11 of Jacobi iterative method

koika

A core language for rule-based hardware design 🦑

LIS22-materials

Some useful material for the LIS'22 seminars (at UniPI)

neuralnetworkssimulator

A simple neural network simulator written in Python using NumPy

oh-my-emacs

Provide an awesome, out-of-box, literate dotemacs for both newbies and nerds.

redox

Redox: A Rust Operating System

sancus-core-gap

Attacks on Sancus_V from our "Mind the Gap" paper.