10 results found Sort:

louthy
language-ext louthy
415
6.3k
mit
180
C# functional language extensions - a base class library for functional programming
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,397 commits to main branch, last one 3 days ago
arrow-kt
arrow-meta arrow-kt
41
392
apache-2.0
22
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 3 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
94 commits to master branch, last one about a year ago
geoffreytools
free-types geoffreytools
1
147
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 10 months ago
tonivade
purefun tonivade
4
111
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,659 commits to master branch, last one a day ago
baetheus
fun baetheus
6
99
mit
10
A collection of algebraic data types, optics, and data structures based on a light weight higher kinded type implementation. Written for deno.
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 about a month ago
mtomassoli
HKTs mtomassoli
0
71
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
9
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 about a year 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