C# functional language extensions - a base class library for functional ...
Functional companion to Kotlin's Compiler
Higher-kinded data via generics
Functional Programming library for Java
A collection of algebraic data types, optics, and data structures based ...
Seamless Higher-Kinded Types in Rust
Some examples for Λrrow Meta the functional companion to Kotlin's Compil...
A proc macro for real async traits, using nightly-only existential types...
Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypecla...
Over-Complicated Database Query using higher-kinded data