hkt

There are 0 repository under hkt topic.

• JasonShin / fp-core.rs

  A library for functional programming in Rust

  functional-programmingrustmonadfunctorapplicativecategory-theorylambda-calculusmonoidhkthomomorphismmorphismcomonad
  Language:Rust 1298

• niltok / magic-in-ten-mins

  十分钟魔法练习

  adtformal-proofsformal-verificationfunctional-programminghktjavalambda-calculusmonadtutorial
  Language:HTML 723

• 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.

  higher-kinded-typeshkttype-level-programmingtypescript
  Language:TypeScript 138

• derive4j / hkt

  Higher Kinded Type machinery for Java

  annotation-processorfunctional-programminghk-encodinghktjava-8typechecker
  Language:Java 76

• 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-traitexistential-typesgeneric-associated-typeshigher-kinded-typeshktproc-macroproc-macro-attributes
  Language:Rust 45

• TylorS / hkt-ts

  A Higher-Kinded-Types encoding for TypeScript w/ Composable Typeclasses

  fphkttypescript
  Language:TypeScript 38

• rametta / srd

  :rocket: Simple Remote Data (SRD) is a fully static land compliant implementation of the Remote Data type in TypeScript

  functionalhkttypescriptremotedatastatic-land
  Language:TypeScript 28

• geoffreytools / type-lenses

  Extract or modify pieces of arbitrarily nested types with type lenses

  higher-kinded-typeshkttype-level-programmingtypescript
  Language:TypeScript 20

• danielhenrymantilla / higher-kinded-types.rs

  "Generic generics" / higher-kinded APIs in stable Rust.

  gathigher-kinded-typehktlending-iteratorrusttype-level-programming
  Language:Rust 5

• leslie255 / families

  Rust HKT playground powered with derive macro generated type families

  fpfunctional-programminghktrustrust-langcategory-theory
  Language:Rust 2

• BrookShuihuaLee / mobo-ts

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

  aophigher-kinded-typeshktmobopluggableplugintstypescript
  Language:TypeScript 0