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

bidirectional type checking algorithms for higher-ranked polymorphism

Functional Quantum Programming

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

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

Type-level representations of retry policies in Haskell.

Homework to practice using and creating simple functions as well as data types