Derives and generates mundane golang functions that you do not want to maintain yourself

Type-driven code generation for OCaml

A Yojson codec generator for OCaml.

A Protocol Buffers codec generator for OCaml

Generic data types in Haskell, utilities for GHC.Generics

Flexible deriving macro for new-type pattern.

Generate enums with matching variants, but without any of the associated data.

implementation deriving for idris2

hashing library that is generic on the hashing function, and a ppx deriving plugin for type-directer hashers

Very simple ppx deriver for command line parser

Newtype, Generic Interface Deriving

Type-driven Aeson instance deriving with the ability to strip fields from the output.

Example of usage antlr4 and shapeless

TicTacToe-React - for consulting, this project was made with Max Schwarzmüller in a react Course

Work on type class deriving with elaboration reflection