C# pure functional programming framework - come and get declarative!

Functional companion to Kotlin's Compiler

Higher-kinded data via generics

A type-level library enabling the creation and the manipulation of type constructors which can be detached from their type parameters. Also referred to as higher kinded types.

Functional Programming library for Java

Functional programming for deno and javascript. Monads, semigroups, optics, parsers, state management, yadda yadda yadda.

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

Seamless Higher-Kinded Types in Rust

🍃 A micro HKT (higher-kinded type) implementation for TypeScript, with type safety elegantly guaranteed.

Higher-Kinded-J: Unifying Composable Effects and Advanced Optics for Java

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

Fωμ type checker and compiler

A functional programming language with lisp syntax and ML semantics that runs on the BEAM

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

Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so long

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

Over-Complicated Database Query using higher-kinded data

Effectful OCaml with Objects and Variants

Zero-dependency, purely functional library for effectful programming in Typescript

Extract or modify pieces of arbitrarily nested types with type lenses

Experimental HKT framework and generic traits for the standard library

Functional Programming and Higher Kinds in Rust

logger-f, Logger for F[_]

A refined implementation of Lightweighted Higher Kinded Types in Julia(via typeclasses/traits)

A pluggable low-code library.

A statically typed functional programming inspired by Haskell, OCaml and Rust.

A static-land and fantasy-land compliant library containing interfaces for common type-classes and common instances of them.

Lambe compiler

Rust General Associated Types emulation together with functional style traits

🪴 The kind of ADTs you can count on in TypeScript