10 results found Sort:

louthy
language-ext louthy
424
6.6k
mit
183
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,686 commits to main branch, last one 2 days ago
arrow-kt
arrow-meta arrow-kt
43
397
apache-2.0
21
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 8 months ago
i-am-tom
higgledy i-am-tom
20
170
mit
10
Higher-kinded data via generics
ghc generics higher-kinded-types
Created 2019-04-07
95 commits to master branch, last one 4 months ago
geoffreytools
free-types geoffreytools
1
154
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
127
mit
8
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,762 commits to master branch, last one a day ago
baetheus
fun baetheus
7
103
mit
10
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 7 months ago
mtomassoli
HKTs mtomassoli
0
75
mit
3
Seamless Higher-Kinded Types in Rust
rust higher-kinded-types
Created 2023-01-14
4 commits to master branch, last one about a year ago
arrow-kt
arrow-meta-examples arrow-kt
20
58
apache-2.0
8
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
51
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 about a year 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