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

Derive Covariant (Functor) instances and base functors for algebraic data types (ADTs)

Example of usage antlr4 and shapeless

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

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

Work on type class deriving with elaboration reflection