Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with higher-kinded-types
A curated list of projects in awesome lists tagged with higher-kinded-types .
https://github.com/louthy/language-ext
C# functional language extensions - a base class library for functional programming
ad-hoc-polymorphism applicative bcl c-sharp f-sharp functional-languages functional-programming functor higher-kinded-types immutable-collections immutable-types language-ext lenses monad monad-transformers monads monoid records semigroup structural-equality
Last synced: 30 Sep 2024
https://github.com/arrow-kt/arrow-meta
Functional companion to Kotlin's Compiler
code codegeneration compiler-plugin generics higher-kinded-types ide intellij-plugin kotlin kotlin-compiler kotlin-multiplatform linter macros meta metaprogramming quasiquote template-metaprogramming tree-structure typeclasses typesystem union-type
Last synced: 01 Aug 2024
https://github.com/i-am-tom/higgledy
Higher-kinded data via generics
generics ghc higher-kinded-types
Last synced: 02 Aug 2024
https://github.com/polytypic/f-omega-mu
Fωμ type checker and compiler
equirecursive-types higher-kinded-types hobby-project impredicative-types structural-types type-system wip
Last synced: 04 Aug 2024
https://github.com/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
async-trait existential-types generic-associated-types higher-kinded-types hkt proc-macro proc-macro-attributes
Last synced: 04 Aug 2024
https://github.com/fp4ts/fp4ts
Zero-dependency, purely functional library for effectful programming in Typescript
algebraic-effects category-theory functional-programming higher-kinded-types typelevel typescript
Last synced: 01 Aug 2024
https://github.com/kevin-lee/logger-f
logger-f, Logger for F[_]
finally-tagless fp functional-programming higher-kinded-types logger scala tagless tagless-final type-class typeclass
Last synced: 30 Sep 2024