Minimal implementations for dependent type checking and elaboration

Experimental implementation of Cubical Type Theory

A powerful but simple library for measuring the performance of Haskell code.

Dependent type checker using normalisation by evaluation

Haskell Tiny Game Jam

⚡️Efficient implementation of Map with types as keys

An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types

Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski

Advent of Code 2020 Haskell Solutions

These project are used to collect some basic example of Haskell program, it is only for myself.