advent-of-coq-2018

Advent of Code 2018, in Coq! (https://adventofcode.com/2018)

first-class-families

First-class type families

generic-random

Generic random generators

profunctor-monad

Bidirectional programming in Haskell with monadic profunctors

generic-data

Generic data types in Haskell, utilities for GHC.Generics

advent-of-coq-2021

metamorph

Monomorphize polymorphic functions for testing

system-F

Formalization of the polymorphic lambda calculus and its parametricity theorem

coq-simple-io

IO for Gallina

generic-recursion-schemes

Folds for recursive types with GHC Generics

generic-data-surgery

Surgery for generic data types

coq-ceres

Coq library for serialization to S-expressions