Alternatives and similar repositories for typed-calc:

Users that are interested in typed-calc are comparing it to the libraries listed below

• jaredly / jerd
  ☆36Updated 3 years ago
• jaredly / j3
  Another attempt to realize my programming language
  ☆23Updated last month
• cdiggins / type-inference
  Type Inference Library written in TypeScript
  ☆93Updated last year
• robotlolita / tamago
  (superseded by: https://github.com/qteatime/crochet) A safe, extensible, layered programming language that runs on top of JavaScript
  ☆32Updated last year
• funfix / funland.js
  Type classes for interoperability of common algebraic structures in JavaScript, TypeScript and Flow
  ☆46Updated 9 months ago
• VictorTaelin / lambda-calculus
  A simple, clean and fast implementation of the λ-calculus on JavaScript.
  ☆45Updated 4 years ago
• dherman / es4
  Archive of the ES4 reference interpreter that was a work-in-progress when ES4 was cancelled.
  ☆25Updated 11 years ago
• scoville / re-optic
  An optic library for ReScript (OCaml and ReasonML)
  ☆18Updated last year
• gcanti / mtl-ts
  MTL-style in TypeScript
  ☆25Updated 7 years ago
• bsansouci / ludum-dare-41
  ☆28Updated 6 years ago
• keil / TreatJS
  Higher-Order Contracts for JavaScript
  ☆14Updated 7 years ago
• josephjunker / static-land-recursion-schemes
  Javascript recursion schemes compatible with flow-static-land
  ☆22Updated 7 years ago
• disnet / parser-lang
  A parser combinator library with declarative superpowers
  ☆27Updated 2 years ago
• functional-data-structure / finger-tree
  Finger tree data structure for JavaScript
  ☆26Updated last week
• strega-nil / stregaml
  Experimenting with a language implementation in ocaml
  ☆32Updated 5 years ago
• Artris / algorithms
  Algorithms and Data Structures in ReasonML
  ☆40Updated 6 years ago
• jaredly / reason-bucklescript-example
  Very bare bones starter pack for reason and bucklescript
  ☆10Updated 7 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• staltz / jace
  just another compiler experiment
  ☆14Updated 8 years ago
• nythrox / effects.js
  Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effec…
  ☆102Updated 2 years ago
• caotic123 / Kei
  A small and expressive dependently typed language
  ☆129Updated 4 years ago
• asolove / explore-concurrent-ml
  Exploring Concurrent ML in Reason
  ☆18Updated 7 years ago
• lexi-lambda / higher-rank
  A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
  ☆101Updated 7 years ago
• atennapel / bidirectional.js
  Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"
  ☆75Updated 7 months ago
• justinwoo / purescript-bismuth
  A library for generating flow type signatures for direct interop between PureScript and Flow. Similar to OhYes
  ☆19Updated 7 years ago
• danieljharvey / horses
  small programming language. pls be gentle.
  ☆39Updated 2 months ago
• briancavalier / forgefx
  Algebraic effects and handlers using generators
  ☆57Updated this week
• fantasyland / fantasy-laws
  Property-based tests for FL-compatible ADTs
  ☆33Updated 3 years ago
• qiao / immutable-sequence.js
  High performance implementation of Immutable Sequence in JavaScript, based on Finger Tree.
  ☆16Updated 9 years ago
• meafmira / bs-batteries
  Batteries Included project for js
  ☆13Updated 7 years ago