higher-kinded-types
There are 41 repositories under higher-kinded-types topic.
louthy/language-ext
C# pure functional programming framework - come and get declarative!
arrow-kt/arrow-meta
Functional companion to Kotlin's Compiler
i-am-tom/higgledy
Higher-kinded data via generics
geoffreytools/free-types
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.
tonivade/purefun
Functional Programming library for Java
lloydmeta/diesel
Boilerplate-free, zero-overhead Tagless Final / typed-final / Finally Tagless DSLs in Scala
baetheus/fun
Functional programming for deno and javascript. Monads, semigroups, optics, parsers, state management, yadda yadda yadda.
mtomassoli/HKTs
Seamless Higher-Kinded Types in Rust
arrow-kt/arrow-meta-examples
Some examples for Λrrow Meta the functional companion to Kotlin's Compiler & IDE.
polytypic/f-omega-mu
Fωμ type checker and compiler
smpoulsen/terp
A functional programming language with lisp syntax and ML semantics that runs on the BEAM
4lDO2/real-async-trait-rs
A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type erasure
thautwarm/FSTan
Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so long
scalalandio/ocdquery
Over-Complicated Database Query using higher-kinded data
tgrospic/object-algebras
Experiments with higher-kinded types and object algebras in C#
polytypic/rea-ml
Effectful OCaml with Objects and Variants
fp4ts/fp4ts
Zero-dependency, purely functional library for effectful programming in Typescript
geoffreytools/type-lenses
Extract or modify pieces of arbitrarily nested types with type lenses
Ereski/generic-std
Experimental HKT framework and generic traits for the standard library
daviswahl/rats
Functional Programming and Higher Kinds in Rust
kevin-lee/logger-f
logger-f, Logger for F[_]
thautwarm/HigherKindedPolymorphisms.jl
A refined implementation of Lightweighted Higher Kinded Types in Julia(via typeclasses/traits)
pluggable-low-code/p-lc
A pluggable low-code library.
lambe-lang/specification
A statically typed functional programming inspired by Haskell, OCaml and Rust.
williamareynolds/ts-cat
A static-land and fantasy-land compliant library containing interfaces for common type-classes and common instances of them.
lambe-lang/compiler
Lambe compiler
GrayJack/gat
Rust General Associated Types emulation together with functional style traits
LambdaAK/LambdaScript
An interpreter for a functional, programming language with support for polymorphic ADTs, higher-kinded types, and more!
AL333Z/pratical-fp
Pratical functional programming presentation and sample.
decorator-factory/ts-generic-rep
Highly experimental TypeScript project providing a type-level lambda.
mduerig/java-functional
Exploring ways to encode functional concepts like structural pattern matching, type classes and fixed points in Java.
BrookShuihuaLee/mobo-ts
A pluggable typescript library
frontsideair/flow-playground
Some experiments using @flowtype
MateuszKubuszok/FromTypeToKindProjector
Presentation I gave on Krakow Scala User Group
mtomassoli/TS-Experiments
Non trivial Type Programming in Typescript
wshager/abstractng
Abstract patterns in JS