Alternatives and similar repositories for ts-typelevel-computation

Users that are interested in ts-typelevel-computation are comparing it to the libraries listed below

• briancavalier / fx-ts
  Computational environments and effects for TypeScript
  ☆60Updated 2 years ago
• funfix / funland.js
  Type classes for interoperability of common algebraic structures in JavaScript, TypeScript and Flow
  ☆46Updated last year
• strax / tshkt
  Encoding higher-kinded types in TypeScript
  ☆41Updated 5 years ago
• briancavalier / ambient
  Astonishingly simple, disciplined, testable effects
  ☆23Updated this week
• briancavalier / forgefx
  Algebraic effects and handlers using generators
  ☆57Updated last week
• tusharmath / qio
  ☆74Updated 2 years ago
• algebraic-graphs / typescript
  Algebraic graphs implementation in TypeScript
  ☆133Updated 2 years ago
• rpominov / category-theory-notes
  ☆22Updated 7 years ago
• SimonMeskens / TypeProps
  Small library for describing HKTs in TypeScript
  ☆32Updated 7 years ago
• joshburgess / tagged-ts
  A tagged unions code generation library for discriminating tastes
  ☆43Updated 2 years ago
• briancavalier / most-behave
  Experimental continuous Behaviors for most.js
  ☆32Updated 5 years ago
• gcanti / fp-ts-laws
  fp-ts type class laws for property based testing
  ☆81Updated last year
• tsearch-io / tsearch
  WIP Search TypeScript functions and methods by types
  ☆86Updated 2 years ago
• yelouafi / algebraic-effects.js
  Implementation of Algebraic effects (https://bit.ly/2Mo7w3Q) based on Generators
  ☆57Updated 6 years ago
• gcanti / mtl-ts
  MTL-style in TypeScript
  ☆25Updated 7 years ago
• levjj / esverify
  ECMAScript verification with SMT solvers
  ☆124Updated last year
• gcanti / fp-ts-fluture
  fp-ts bindings for Fluture
  ☆50Updated 5 years ago
• jedahu / ts-refined
  Refined types for Typescript
  ☆24Updated 7 years ago
• josephjunker / static-land-recursion-schemes
  Javascript recursion schemes compatible with flow-static-land
  ☆22Updated 7 years ago
• SodiumFRP / sodium-typescript
  Typescript/Javascript implementation of Sodium FRP (Functional Reactive Programming) library
  ☆127Updated 3 weeks ago
• TylorS167 / 167
  A functional utility library for ES2015+ and TypeScript
  ☆21Updated 7 years ago
• briancavalier / arrow
  Push-pull Signal Function FRP
  ☆16Updated 8 years ago
• gabejohnson / fantasy-interfaces
  JavaScript "native" interfaces for Fantasy Land
  ☆19Updated 7 years ago
• joshburgess / fp-ts-most
  fp-ts bindings for @most/core
  ☆23Updated 2 years ago
• OliverJAsh / express-result-types
  Construct responses declaratively with the `Result` type, inspired by Play Framework.
  ☆9Updated 6 years ago
• TylorS / typed-test
  Testing that works for you.
  ☆18Updated 2 years ago
• TylorS / typed-prelude
  Reliable, standards-oriented software for browsers & Node.
  ☆49Updated last year
• mattiamanzati / typelevel-interpreter
  Language and working Interpreter using only TypeScript types (no JavaScript either written or emitted)
  ☆36Updated 7 years ago
• fantasyland / fantasy-laws
  Property-based tests for FL-compatible ADTs
  ☆33Updated 3 years ago
• pfgray / babel-plugin-monadic-do
  Monads, Do style
  ☆38Updated 6 years ago