Alternatives and similar repositories for TreatJS

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

• mcneissue / purescript-snap
  An approach to user interfaces based in denotational design.
  ☆27Updated 2 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 8 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• masaeedu / adt
  A simple library for defining ADTs
  ☆15Updated last year
• justinwoo / purescript-cycle-run
  A Purescript interface to Cycle.js using xstream
  ☆10Updated 6 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
• jonsterling / agda-zipper-machine
  An abstract machine using indexed containers and their zippers
  ☆14Updated 8 years ago
• andreypopp / purescript-node-thunk
  Node callbacks as thunks
  ☆20Updated 10 years ago
• joelburget / haskell-loader
  A webpack loader for Haskell (!)
  ☆15Updated 10 years ago
• paf31 / purescript-rest
  A toolkit for creating REST services with Node and PureScript
  ☆32Updated 8 years ago
• Ucombinator / parsing-with-zippers
  A clean implementation of Parsing with Zippers.
  ☆38Updated 6 years ago
• sectore / program-imperatively-using-purescript
  Program imperatively using PureScript, State monad and lenses
  ☆25Updated 6 years ago
• mzp / bs-lwt
  BuckleScript bindings for Lwt
  ☆26Updated 8 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
• kellino / microML
  a simple functional language for learners
  ☆30Updated 8 years ago
• joshcox / kanren
  Port of microKanren to JavaScript.
  ☆25Updated 3 years ago
• gergoerdi / universe-of-syntax
  A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with al…
  ☆16Updated 7 years ago
• david-christiansen / pudding-old
  A language-integrated proof assistant, for and in Racket
  ☆39Updated 8 years ago
• bodil / purescript-observable
  ES7 Observables for PureScript
  ☆29Updated 8 years ago
• isovector / dynahaskell
  the dynabook but for haskell
  ☆23Updated 5 years ago
• stefankoegel / clickyEvaluation
  Visual tool for stepwise evaluation of simple Haskell expressions
  ☆20Updated 5 years ago
• staltz / jace
  just another compiler experiment
  ☆14Updated 8 years ago
• fxfactorial / ocaml-javascriptcore
  Create, Control, Execute JavaScript in OCaml. Think of the possibilities.
  ☆30Updated 8 years ago
• paf31 / purescript-drawing
  A data structure for drawings
  ☆46Updated 6 years ago
• pnwamk / stop2015-redex
  PLT Redex model of basic Dependently Typed Racket calculus
  ☆18Updated 10 years ago
• andreasabel / strong-normalization
  Formalizations of strong normalization proofs
  ☆35Updated 5 years ago
• purescript-contrib / purescript-colors
  Convert, manipulate, analyze, blend, color scales, color schemes
  ☆44Updated 3 years ago
• bodil / graham
  Parser combinators for JS
  ☆13Updated 9 years ago
• idris-hackers / iQuery
  Idris Lib to interact with the DOM and Browser API for the JavaScript backend
  ☆40Updated 7 years ago
• fantasyland / sweet-fantasies
  sweet.js macros for Fantasy Land compatible structures.
  ☆35Updated 11 years ago