Generic Programming using True Sums of Products

A Haskell library for open records and variants using closed type families and type literals

First-class type families

Template for Hindley-Milner based languages

LambdaBuffers toolkit for sharing types and their semantics between different languages

Well-typed paths

Functional Quantum Programming

bidirectional type checking algorithms for higher-ranked polymorphism

Examples shown in my talk "Why types matter". See also https://github.com/gvolpe/par-dual

Two interpreters for the lambda calculus: one simple and one with typing of ints, bools, and pairs.

The SILI synthesiser - synthesis of linear functional programs

fcf-containers add tools that can be used with first-class-families

⌨️ Solutions to the exercises of "Thinking With Types" in various programming languages!

Compiler written on haskell based on the course Compiler Construction (UCSD CSE 131). Lisp with types

A calculator/programming language

Type Theory Course, ITMO University, 2019.

Typed XML Encoding / Decoding in Haskell

Type-level representations of retry policies in Haskell.

Haskell package providing means of manipulating heterogenous lists using type system.

ChaiSQL - a prototype optional type checker for raw SQL ☕️ 🫖 @ TU/e Database Research Group