Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: higher-kinded-types

Repositories

louthy/language-ext

C# functional language extensions - a base class library for functional programming

Language: C# - Size: 20.9 MB - Last synced: about 7 hours ago - Pushed: 1 day ago - Stars: 6,199 - Forks: 411

baetheus/fun

A collection of algebraic data types, optics, and data structures based on a light weight higher kinded type implementation. Written for deno.

Language: TypeScript - Size: 1.54 MB - Last synced: 1 day ago - Pushed: 1 day ago - Stars: 97 - Forks: 6

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: 1 day ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

BrookShuihuaLee/mobo-ts

A pluggable typescript library / 一个可插件化的 TS 库

Language: TypeScript - Size: 77.1 KB - Last synced: 2 days ago - Pushed: 2 days ago - Stars: 0 - Forks: 0

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: 2 days ago - Pushed: 9 months ago - Stars: 145 - Forks: 1

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: 3 days ago - Pushed: 4 days ago - Stars: 3 - Forks: 0

tonivade/purefun

Functional Programming library for Java

Language: Java - Size: 5.39 MB - Last synced: 3 days ago - Pushed: 4 days ago - Stars: 106 - Forks: 4

arrow-kt/arrow-meta

Functional companion to Kotlin's Compiler

Language: Kotlin - Size: 20.9 MB - Last synced: 11 days ago - Pushed: 11 days ago - Stars: 389 - Forks: 42

geoffreytools/type-lenses

Extract or modify pieces of arbitrarily nested types with type lenses

Language: TypeScript - Size: 211 KB - Last synced: 11 days ago - Pushed: about 2 months ago - Stars: 24 - Forks: 0

GrayJack/gat

Rust General Associated Types emulation together with functional style traits

Language: Rust - Size: 33.2 KB - Last synced: 18 days ago - Pushed: about 4 years ago - Stars: 4 - Forks: 0

kevin-lee/logger-f

logger-f, Logger for F[_]

Language: Scala - Size: 6.08 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 10 - Forks: 1

lloydmeta/diesel

Boilerplate-free, zero-overhead Tagless Final / typed-final / Finally Tagless DSLs in Scala

Language: Scala - Size: 114 KB - Last synced: about 1 month ago - Pushed: almost 7 years ago - Stars: 109 - Forks: 7

wshager/abstractng

Abstract patterns in JS

Language: TypeScript - Size: 498 KB - Last synced: about 1 month ago - Pushed: 11 months ago - Stars: 0 - Forks: 0

i-am-tom/higgledy

Higher-kinded data via generics

Language: Haskell - Size: 111 KB - Last synced: 3 days ago - Pushed: about 1 year ago - Stars: 170 - Forks: 20

polytypic/f-omega-mu

Fωμ type checker and compiler

Language: OCaml - Size: 1.79 MB - Last synced: 3 months ago - Pushed: over 1 year ago - Stars: 51 - Forks: 1

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: about 11 hours ago - Pushed: almost 2 years ago - Stars: 45 - Forks: 3

mtomassoli/TS-Experiments

Non trivial Type Programming in Typescript

Language: TypeScript - Size: 57.6 KB - Last synced: 8 months ago - Pushed: over 2 years ago - Stars: 1 - Forks: 0

tgrospic/object-algebras

Experiments with higher-kinded types and object algebras in C#

Language: C# - Size: 58.6 KB - Last synced: 9 months ago - Pushed: almost 4 years ago - Stars: 30 - Forks: 2

kklimexk/spark-playground

Repository for playing with spark

Language: Scala - Size: 778 KB - Last synced: 10 months ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

fp4ts/fp4ts

Zero-dependency, purely functional library for effectful programming in Typescript

Language: TypeScript - Size: 8.96 MB - Last synced: 16 days ago - Pushed: 12 months ago - Stars: 24 - Forks: 1

mtomassoli/HKTs

Seamless Higher-Kinded Types in Rust

Language: Rust - Size: 8.79 KB - Last synced: 8 months ago - Pushed: over 1 year ago - Stars: 63 - Forks: 0

polytypic/rea-ml

Effectful OCaml with Objects and Variants

Language: OCaml - Size: 412 KB - Last synced: 9 months ago - Pushed: over 1 year ago - Stars: 27 - 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: 8 months ago - Pushed: over 2 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: about 1 year ago - Pushed: about 1 year ago - Stars: 8 - Forks: 0

Ereski/generic-std

Experimental HKT framework and generic traits for the standard library

Language: Rust - Size: 7.81 KB - Last synced: 5 months ago - Pushed: over 1 year ago - Stars: 21 - 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: 15 days ago - Pushed: over 1 year ago - Stars: 7 - 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: 4 months ago - Pushed: over 2 years ago - Stars: 9 - Forks: 3

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: about 1 year ago - Pushed: almost 5 years ago - Stars: 43 - Forks: 5

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: about 1 year ago - Pushed: almost 2 years ago - Stars: 56 - Forks: 20

lambe-lang/compiler 📦

Lambe compiler

Language: OCaml - Size: 281 KB - Last synced: 4 months ago - Pushed: almost 3 years ago - Stars: 5 - Forks: 0

Related Keywords

higher-kinded-types 41 functional-programming 16 typescript 9 scala 9 typeclasses 6 monad 6 tagless-final 5 java 4 kotlin 4 generics 4 effects 4 hkt 4 monads 4 rust 4 fp 4 functor 4 type-level-programming 3 cats 3 category-theory 3 macros 3 higher-order-functions 2 finally-tagless 2 union-type 2 experimental 2 typesystem 2 pattern-matching 2 programming-language 2 abstract-data-types 2 static-typed 2 traits 2 tree-structure 2 applicative 2 template-metaprogramming 2 quasiquote 2 metaprogramming 2 meta 2 immutable-collections 2 linter 2 kotlin-multiplatform 2 monad-transformers 2 kotlin-compiler 2 type-system 2 intellij-plugin 2 algebraic-data-types 2 hobby-project 2 ide 2 compiler-plugin 2 codegeneration 2 code 2 hindley-milner 2 big-data 1 cats-free 1 delta-io 1 etl 1 etl-framework 1 etl-jobs 1 etl-pipeline 1 spark 1 algebraic-effects 1 typelevel 1 applicatives 1 asynchronous 1 checked-exceptions 1 functors 1 ocaml 1 interpreter 1 lisp 1 ml 1 standard-library 1 inference 1 lazy-evaluation 1 repl 1 type-inference 1 crud 1 database 1 doobie 1 flow 1 javascript 1 concurrency 1 implicits 1 threads 1 variance 1 annotation-processor 1 code-generation 1 polymorphism 1 sbt 1 fantasy-land 1 fantasy-land-spec 1 maybe 1 maybe-monad 1 static-land 1 static-land-spec 1 type-classes 1 typescript-library 1 julia 1 monoids 1 subtypeclassing 1 compiler 1 trait 1 interop 1