GitHub topics: higher-kinded-types
tonivade/purefun
Functional Programming library for Java
Language: Java - Size: 5.34 MB - Last synced at: about 1 hour ago - Pushed at: about 2 hours ago - Stars: 132 - Forks: 4
louthy/language-ext
C# pure functional programming framework - come and get declarative!
Language: C# - Size: 22.2 MB - Last synced at: 1 day ago - Pushed at: 3 days ago - Stars: 6,761 - Forks: 432
Snowflyt/kind-adt
🪴 The kind of ADTs you can count on in TypeScript
Language: TypeScript - Size: 103 KB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 1 - Forks: 0
polytypic/f-omega-mu
Fωμ type checker and compiler
Language: OCaml - Size: 1.79 MB - Last synced at: 2 days ago - Pushed at: about 2 years ago - Stars: 54 - Forks: 1
Snowflyt/hkt-core
🍃 A micro HKT (higher-kinded type) implementation for TypeScript, with type safety elegantly guaranteed.
Language: TypeScript - Size: 854 KB - Last synced at: 3 days ago - Pushed at: about 1 month ago - Stars: 47 - Forks: 0
tgrospic/object-algebras
Experiments with higher-kinded types and object algebras in C#
Language: C# - Size: 58.6 KB - Last synced at: 11 days ago - Pushed at: almost 5 years ago - Stars: 38 - Forks: 2
arrow-kt/arrow-meta
Functional companion to Kotlin's Compiler
Language: Kotlin - Size: 21 MB - Last synced at: 7 days ago - Pushed at: 10 days ago - Stars: 403 - Forks: 43
fp4ts/fp4ts
Zero-dependency, purely functional library for effectful programming in Typescript
Language: TypeScript - Size: 8.96 MB - Last synced at: 2 days ago - Pushed at: almost 2 years ago - Stars: 27 - Forks: 1
thautwarm/FSTan
Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so long
Language: F# - Size: 76.2 KB - Last synced at: 21 days ago - Pushed at: almost 6 years ago - Stars: 43 - Forks: 4
geoffreytools/free-types
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.
Language: TypeScript - Size: 243 KB - Last synced at: 14 days ago - Pushed at: over 1 year ago - Stars: 158 - Forks: 1
baetheus/fun
Functional programming for deno and javascript. Monads, semigroups, optics, parsers, state management, yadda yadda yadda.
Language: TypeScript - Size: 1.55 MB - Last synced at: 3 days ago - Pushed at: 11 months ago - Stars: 105 - Forks: 7
kevin-lee/logger-f
logger-f, Logger for F[_]
Language: Scala - Size: 5.01 MB - Last synced at: about 24 hours ago - Pushed at: about 1 month ago - Stars: 10 - Forks: 0
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
Language: Rust - Size: 64.5 KB - Last synced at: 15 days ago - Pushed at: almost 3 years ago - Stars: 46 - Forks: 3
decorator-factory/ts-generic-rep
Highly experimental TypeScript project providing a type-level lambda.
Language: TypeScript - Size: 3.91 KB - Last synced at: 3 days ago - Pushed at: over 3 years ago - Stars: 4 - Forks: 0
pluggable-low-code/p-lc
A pluggable low-code library.
Language: TypeScript - Size: 2.09 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 9 - Forks: 1
i-am-tom/higgledy
Higher-kinded data via generics
Language: Haskell - Size: 112 KB - Last synced at: 16 days ago - Pushed at: 8 months ago - Stars: 170 - Forks: 21
lloydmeta/diesel
Boilerplate-free, zero-overhead Tagless Final / typed-final / Finally Tagless DSLs in Scala
Language: Scala - Size: 114 KB - Last synced at: 19 days ago - Pushed at: almost 8 years ago - Stars: 111 - Forks: 7
geoffreytools/type-lenses
Extract or modify pieces of arbitrarily nested types with type lenses
Language: TypeScript - Size: 211 KB - Last synced at: 15 days ago - Pushed at: about 1 year ago - Stars: 26 - Forks: 0
scalalandio/ocdquery
Over-Complicated Database Query using higher-kinded data
Language: Scala - Size: 304 KB - Last synced at: 18 days ago - Pushed at: over 4 years ago - Stars: 35 - Forks: 5
MateuszKubuszok/FromTypeToKindProjector
Presentation I gave on Krakow Scala User Group
Language: CSS - Size: 1.67 MB - Last synced at: about 1 month ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0
BrookShuihuaLee/mobo-ts
A pluggable typescript library
Language: TypeScript - Size: 81.1 KB - Last synced at: 19 days ago - Pushed at: 7 months ago - Stars: 2 - Forks: 0
LambdaAK/LambdaScript
An interpreter for a functional, programming language with support for polymorphic ADTs, higher-kinded types, and more!
Language: OCaml - Size: 35.1 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 4 - Forks: 0
Ereski/generic-std
Experimental HKT framework and generic traits for the standard library
Language: Rust - Size: 7.81 KB - Last synced at: 7 months ago - Pushed at: over 2 years ago - Stars: 20 - Forks: 0
arrow-kt/arrow-meta-examples 📦
Some examples for Λrrow Meta the functional companion to Kotlin's Compiler & IDE.
Language: Kotlin - Size: 153 KB - Last synced at: 6 months ago - Pushed at: over 2 years ago - Stars: 58 - Forks: 20
anticipasean/funcify
Explore functional DSLs and type systems in Java and Kotlin that facilitate easier-to-read, cleaner, more testable, and more fault tolerant code
Language: Java - Size: 622 KB - Last synced at: 11 months ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
mduerig/java-functional
Exploring ways to encode functional concepts like structural pattern matching, type classes and fixed points in Java.
Language: Java - Size: 20.5 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 3 - Forks: 0
thautwarm/HigherKindedPolymorphisms.jl
A refined implementation of Lightweighted Higher Kinded Types in Julia(via typeclasses/traits)
Language: Julia - Size: 9.77 KB - Last synced at: 21 days ago - Pushed at: over 3 years ago - Stars: 10 - Forks: 3
polytypic/rea-ml
Effectful OCaml with Objects and Variants
Language: OCaml - Size: 412 KB - Last synced at: 22 days ago - Pushed at: about 2 years ago - Stars: 29 - Forks: 0
wshager/abstractng
Abstract patterns in JS
Language: TypeScript - Size: 498 KB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
mtomassoli/TS-Experiments
Non trivial Type Programming in Typescript
Language: TypeScript - Size: 57.6 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0
DmytroMitin/test
Language: Scala - Size: 1.95 KB - Last synced at: about 2 months ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0
kklimexk/spark-playground
Repository for playing with spark
Language: Scala - Size: 778 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
mtomassoli/HKTs
Seamless Higher-Kinded Types in Rust
Language: Rust - Size: 8.79 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 63 - Forks: 0
smpoulsen/terp
A functional programming language with lisp syntax and ML semantics that runs on the BEAM
Language: Elixir - Size: 6.23 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 34 - Forks: 3
lambe-lang/specification
A statically typed functional programming inspired by Haskell, OCaml and Rust.
Language: TeX - Size: 1.01 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 8 - Forks: 0
williamareynolds/ts-cat
A static-land and fantasy-land compliant library containing interfaces for common type-classes and common instances of them.
Language: TypeScript - Size: 729 KB - Last synced at: 11 days ago - Pushed at: over 2 years ago - Stars: 7 - Forks: 0
lambe-lang/compiler 📦
Lambe compiler
Language: OCaml - Size: 281 KB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 5 - Forks: 0
lambduli/frea
A simple and lazy programming language with Damas-Hindley-Milner type inference and higher kinded types.
Language: Haskell - Size: 695 KB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 16 - Forks: 0
frontsideair/flow-playground
Some experiments using @flowtype
Language: JavaScript - Size: 44.9 KB - Last synced at: 12 days ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0
DarkDesire/scala-advanced
Scala Advanced
Language: Scala - Size: 71.3 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
DarkDesire/scala-speedrun
Scala Advanced
Language: Scala - Size: 1.95 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
GuiBrandt/higher-kt
Some experiments with annotation processors, code generation, higher kinded types (sort of) and typeclasses (sort of) in Kotlin
Language: Kotlin - Size: 73.2 KB - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
GrayJack/gat
Rust General Associated Types emulation together with functional style traits
Language: Rust - Size: 33.2 KB - Last synced at: 17 days ago - Pushed at: about 5 years ago - Stars: 4 - Forks: 0
AL333Z/pratical-fp
Pratical functional programming presentation and sample.
Language: Scala - Size: 6.84 KB - Last synced at: about 1 month ago - Pushed at: almost 8 years ago - Stars: 3 - Forks: 0
daviswahl/rats
Functional Programming and Higher Kinds in Rust
Language: Rust - Size: 171 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 9 - Forks: 1
Vincibean/FunHKT
Having fun with HKTs and a functional code base
Language: Scala - Size: 10.7 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
