Performant type-checking for python.

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction

Typechecking for message passing components

OCaml Project for my second year undergraduate programming course at Pisa University. I implemented an interpreter with a dynamic typechecker and a static typecheker.

This repository consists of various assignments given by Prof. Sanjiva in the COL226 course.

A refinement type checker for simply typed lamda calculus with inductive data-types and well-founded recursive functions