higher-kinded-types topic

Fωμ type checker and compiler

polytypic

A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type erasure

4lDO2

Functional companion to Kotlin's Compiler

arrow-kt

C# functional language extensions - a base class library for functional programming

louthy

Higher-kinded data via generics

i-am-tom

Boilerplate-free, zero-overhead Tagless Final / typed-final / Finally Tagless DSLs in Scala

lloydmeta

Some examples for Λrrow Meta the functional companion to Kotlin's Compiler & IDE.

arrow-kt

Functional Programming library for Java

tonivade

A collection of algebraic data types, optics, and data structures based on a light weight higher kinded type implementation. Written for deno.

baetheus

Experiments with higher-kinded types and object algebras in C#

tgrospic