Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Higher Kinded Types Open Source Projects

Open source projects categorized as Higher Kinded Types
Categories > Higher Kinded Types
Language Ext ⭐ 6,022
C# functional language extensions - a base class library for functional programming
dependent packages 203total releases 454most recent commit 3 months agonuget LanguageExt.Core} Downloads
Arrow Meta ⭐ 381
Functional companion to Kotlin's Compiler
dependent packages 2total releases 30most recent commit 3 months ago
Higgledy ⭐ 167
Higher-kinded data via generics
total releases 13most recent commit a year ago
Free Types ⭐ 127
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.
dependent packages 3total releases 29most recent commit 8 months agonpm free-types} Downloads
Diesel ⭐ 107
Boilerplate-free, zero-overhead Tagless Final / typed-final / Finally Tagless DSLs in Scala
dependent packages 2total releases 22most recent commit 7 years ago
Purefun ⭐ 98
Functional Programming library for Java
dependent packages 16total releases 17most recent commit 3 months ago
Fun ⭐ 91
A collection of algebraic data types, lenses, and schemables based on a light weight higher kinded type implementation. Written for deno.
total releases 1most recent commit 5 months ago
Arrow Meta Examples ⭐ 54
Some examples for Λrrow Meta the functional companion to Kotlin's Compiler & IDE.
most recent commit 2 years ago
Hkts ⭐ 47
Seamless Higher-Kinded Types in Rust
most recent commit a year ago
F Omega Mu ⭐ 45
Fωμ type checker and compiler
most recent commit a year ago
Ocdquery ⭐ 32
Over-Complicated Database Query using higher-kinded data
most recent commit 3 years ago
Real Async Trait Rs ⭐ 30
A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type erasure
total releases 1most recent commit 2 years ago
Fstan ⭐ 29
Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so long
most recent commit 5 years ago
Fp4ts ⭐ 23
Zero-dependency, purely functional library for effectful programming in Typescript
dependent packages 64total releases 367most recent commit a year agonpm @fp4ts/core} Downloads
Terp ⭐ 20
A functional programming language with lisp syntax and ML semantics that runs on the BEAM
most recent commit 3 years ago
Rea Ml ⭐ 18
Effectful OCaml with Objects and Variants
most recent commit a year ago
Type Lenses ⭐ 12
Extract or modify pieces of arbitrarily nested types with type lenses
dependent packages 1total releases 22most recent commit 8 months agonpm type-lenses} Downloads
Rats ⭐ 9
Functional Programming and Higher Kinds in Rust
most recent commit 6 years ago
Logger F ⭐ 9
logger-f, Logger for F[_]
dependent packages 9total releases 49most recent commit 3 months ago
Specification ⭐ 8
A statically typed functional programming inspired by Haskell, OCaml and Rust.
most recent commit a year ago
Frea ⭐ 7
A simple and lazy programming language with Damas-Hindley-Milner type inference and higher kinded polymorphism.
most recent commit 3 years ago
Ts Cat ⭐ 7
A static-land and fantasy-land compliant library containing interfaces for common type-classes and common instances of them.
dependent packages 1total releases 10most recent commit a year agonpm ts-cat} Downloads
Higherkindedpolymorphisms.jl ⭐ 6
A refined implementation of Lightweighted Higher Kinded Types in Julia(via typeclasses/traits)
most recent commit 2 years ago
The 9 Most Depended On Higher Kinded Types Open Source Projects
Language Ext ⭐ 6,022
C# functional language extensions - a base class library for functional programming
dependent packages 203total releases 454latest release October 21, 2023most recent commit 3 months agonuget LanguageExt.Core} Downloads
Fp4ts ⭐ 23
Zero-dependency, purely functional library for effectful programming in Typescript
dependent packages 64total releases 367latest release October 04, 2023most recent commit a year agonpm @fp4ts/core} Downloads
Purefun ⭐ 98
Functional Programming library for Java
dependent packages 16total releases 17latest release November 22, 2023most recent commit 3 months ago
Logger F ⭐ 9
logger-f, Logger for F[_]
dependent packages 9total releases 49latest release November 07, 2023most recent commit 3 months ago
Arrow Meta ⭐ 381
Functional companion to Kotlin's Compiler
dependent packages 2total releases 30latest release April 29, 2023most recent commit 3 months ago
Diesel ⭐ 107
Boilerplate-free, zero-overhead Tagless Final / typed-final / Finally Tagless DSLs in Scala
dependent packages 2total releases 22latest release May 21, 2017most recent commit 7 years ago
Ts Cat ⭐ 7
A static-land and fantasy-land compliant library containing interfaces for common type-classes and common instances of them.
dependent packages 1total releases 10latest release January 06, 2020most recent commit a year agonpm ts-cat} Downloads
Type Lenses ⭐ 12
Extract or modify pieces of arbitrarily nested types with type lenses
dependent packages 1total releases 22latest release August 24, 2023most recent commit 8 months agonpm type-lenses} Downloads
The 10 Latest Releases In Higher Kinded Types Open Source Projects
Purefun ⭐ 98
Functional Programming library for Java
dependent packages 16total releases 17latest release November 22, 2023most recent commit 3 months ago
Logger F ⭐ 9
logger-f, Logger for F[_]
dependent packages 9total releases 49latest release November 07, 2023most recent commit 3 months ago
Language Ext ⭐ 6,022
C# functional language extensions - a base class library for functional programming
dependent packages 203total releases 454latest release October 21, 2023most recent commit 3 months agonuget LanguageExt.Core} Downloads
Fp4ts ⭐ 23
Zero-dependency, purely functional library for effectful programming in Typescript
dependent packages 64total releases 367latest release October 04, 2023most recent commit a year agonpm @fp4ts/core} Downloads
Type Lenses ⭐ 12
Extract or modify pieces of arbitrarily nested types with type lenses
dependent packages 1total releases 22latest release August 24, 2023most recent commit 8 months agonpm type-lenses} Downloads
Arrow Meta ⭐ 381
Functional companion to Kotlin's Compiler
dependent packages 2total releases 30latest release April 29, 2023most recent commit 3 months ago
Higgledy ⭐ 167
Higher-kinded data via generics
total releases 13latest release March 09, 2023most recent commit a year ago
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.