11 results found Sort:

louthy
language-ext louthy
431
6.7k
mit
184
C# pure functional programming framework - come and get declarative!
bcl monad lenses monads monoid c-sharp f-sharp functor records semigroup applicative language-ext immutable-types monad-transformers ad-hoc-polymorphism higher-kinded-types structural-equality functional-languages immutable-collections functional-programming
Created 2014-11-16
3,779 commits to main branch, last one 5 days ago
arrow-kt
arrow-meta arrow-kt
43
403
apache-2.0
20
Functional companion to Kotlin's Compiler
ide code meta kotlin linter macros generics quasiquote typesystem union-type typeclasses codegeneration tree-structure compiler-plugin intellij-plugin kotlin-compiler metaprogramming higher-kinded-types kotlin-multiplatform template-metaprogramming
Created 2019-10-24
668 commits to main branch, last one about a year ago
i-am-tom
higgledy i-am-tom
21
170
mit
9
Higher-kinded data via generics
ghc generics higher-kinded-types
Created 2019-04-07
95 commits to master branch, last one 7 months ago
geoffreytools
free-types geoffreytools
1
158
isc
3
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.
hkt typescript higher-kinded-types type-level-programming
Created 2022-10-23
117 commits to public branch, last one about a year ago
tonivade
purefun tonivade
4
132
mit
7
Functional Programming library for Java
mtl java monad monads stream tuples effects io-monad free-monad memoization typeclasses experimental tagless-final monad-transformers higher-kinded-types immutable-collections functional-programming
Created 2018-07-24
1,818 commits to master branch, last one 6 days ago
baetheus
fun baetheus
7
105
mit
8
Functional programming for deno and javascript. Monads, semigroups, optics, parsers, state management, yadda yadda yadda.
deno task monad either option effects functor typescript higher-kinded-types algebraic-data-types functional-programming
Created 2021-04-12
140 commits to main branch, last one 10 months ago
mtomassoli
HKTs mtomassoli
0
80
mit
3
Seamless Higher-Kinded Types in Rust
rust higher-kinded-types
Created 2023-01-14
4 commits to master branch, last one 2 years ago
arrow-kt
arrow-meta-examples arrow-kt
20
58
apache-2.0
7
Some examples for Λrrow Meta the functional companion to Kotlin's Compiler & IDE.
ide code meta kotlin linter macros generics quasiquote typesystem union-type typeclasses codegeneration tree-structure compiler-plugin intellij-plugin kotlin-compiler metaprogramming higher-kinded-types kotlin-multiplatform template-metaprogramming
This repository has been archived (exclude archived)
Created 2019-11-07
66 commits to main branch, last one 2 years ago
polytypic
f-omega-mu polytypic
1
53
mit
2
Fωμ type checker and compiler
wip type-system hobby-project structural-types equirecursive-types higher-kinded-types impredicative-types
Created 2020-12-26
952 commits to main branch, last one 2 years ago
Snowflyt
hkt-core Snowflyt
0
46
mit
1
🍃 A micro HKT (higher-kinded type) implementation for TypeScript, with type safety elegantly guaranteed.
hkt typescript higher-kinded-types type-level-programming
Created 2025-02-03
46 commits to main branch, last one 25 days ago
4lDO2
real-async-trait-rs 4lDO2
3
45
apache-2.0
3
A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type erasure
hkt proc-macro async-trait existential-types higher-kinded-types proc-macro-attributes generic-associated-types
Created 2020-07-14
34 commits to master branch, last one 2 years ago