Alternatives and similar repositories for TreatJS

Users that are interested in TreatJS are comparing it to the libraries listed below

• staltz / jace
  just another compiler experiment
  ☆14Updated 8 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 8 years ago
• bodil / graham
  Parser combinators for JS
  ☆13Updated 9 years ago
• mcneissue / purescript-snap
  An approach to user interfaces based in denotational design.
  ☆27Updated 2 years ago
• jonsterling / agda-zipper-machine
  An abstract machine using indexed containers and their zippers
  ☆14Updated 8 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• effectfully / STLC
  Dependently typed Algorithm M and friends
  ☆25Updated 6 years ago
• ichistmeinname / free-proving
  Resources for "One Monad to Prove Them All"
  ☆29Updated 6 years ago
• Ucombinator / parsing-with-zippers
  A clean implementation of Parsing with Zippers.
  ☆38Updated 6 years ago
• Icelandjack / Capabilities
  A Haskell library providing separation of effects on the type level, effectively splitting up the monolithic IO-monad into more limited c…
  ☆27Updated 7 years ago
• mstone / soutei
  a logic-based trust-management system
  ☆19Updated 12 years ago
• pnwamk / datatype
  (Somewhat) Algebraic Data Types for Racket
  ☆34Updated 2 years ago
• Barry-Jay / Intensional-computation
  translations of a lambda abstraction to combinations of operators
  ☆18Updated 5 years ago
• mzp / bs-lwt
  BuckleScript bindings for Lwt
  ☆26Updated 8 years ago
• jaredly / j3
  Another attempt to realize my programming language
  ☆23Updated 3 months ago
• fxfactorial / ocaml-javascriptcore
  Create, Control, Execute JavaScript in OCaml. Think of the possibilities.
  ☆30Updated 8 years 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
• justinwoo / purescript-cycle-run
  A Purescript interface to Cycle.js using xstream
  ☆10Updated 6 years ago
• avsm / ocaml-lens
  Private extraction of astrada's lens library
  ☆66Updated 4 years ago
• justinwoo / purescript-bundaegi
  because nobody really wants to eat boiled silkworms
  ☆13Updated 7 years ago
• bobatkey / foveran
  A Dependently Typed Programming Language
  ☆27Updated 4 years ago
• ravichugh / djs
  Dependent JavaScript: A Typed Dialect
  ☆87Updated 12 years ago
• joelburget / haskell-loader
  A webpack loader for Haskell (!)
  ☆15Updated 10 years ago
• spire / spire
  The Spire Programming Language
  ☆59Updated 10 years ago
• masaeedu / adt
  A simple library for defining ADTs
  ☆15Updated last year
• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆20Updated 7 years ago
• ocamllabs / ocaml-effects
  *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers
  ☆27Updated 9 years ago
• Risto-Stevcev / bs-effects
  Bucklescript data structures for effectful sync and async programming
  ☆37Updated 5 years ago
• andreypopp / ppx_let_promise
  Like async/await syntax for Promises in JS but for OCaml
  ☆17Updated 6 years ago
• tel / ocaml-transducers
  Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.
  ☆17Updated 10 years ago