Alternatives and similar repositories for TreatJS:

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

• fxfactorial / ocaml-javascriptcore
  Create, Control, Execute JavaScript in OCaml. Think of the possibilities.
  ☆30Updated 8 years ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆27Updated 4 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 8 years ago
• hazelgrove / HZ
  Simple reference implementation of Hazelnut using js_of_ocaml and OCaml React. (frozen -- ongoing development in the hazel repo)
  ☆29Updated 7 years ago
• mcneissue / purescript-snap
  An approach to user interfaces based in denotational design.
  ☆27Updated 2 years ago
• Ucombinator / parsing-with-zippers
  A clean implementation of Parsing with Zippers.
  ☆37Updated 6 years ago
• asolove / explore-concurrent-ml
  Exploring Concurrent ML in Reason
  ☆18Updated 8 years ago
• jonsterling / agda-zipper-machine
  An abstract machine using indexed containers and their zippers
  ☆14Updated 8 years ago
• dannywillems / RML
  ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.
  ☆37Updated 2 years ago
• staltz / jace
  just another compiler experiment
  ☆14Updated 8 years ago
• garrigue / certint
  A Certified Interpreter for ML with Structural Polymorphism
  ☆43Updated last week
• deech / LeftPad
  ☆23Updated 7 years ago
• avsm / ocaml-lens
  Private extraction of astrada's lens library
  ☆66Updated 3 years ago
• ravichugh / djs
  Dependent JavaScript: A Typed Dialect
  ☆87Updated 11 years ago
• jordwalke / CommonML
  Simple OCaml Development Workflow on CommonJS
  ☆96Updated 6 years ago
• bodil / graham
  Parser combinators for JS
  ☆13Updated 9 years ago
• mjambon / atdgen
  Now part of the atd repo
  ☆44Updated 7 years ago
• effectfully / STLC
  Dependently typed Algorithm M and friends
  ☆25Updated 6 years ago
• let-def / merlin-extend
  SDK to extend Merlin
  ☆28Updated 5 months ago
• andreasabel / strong-normalization
  Formalizations of strong normalization proofs
  ☆35Updated 5 years ago
• tel / ocaml-transducers
  Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.
  ☆17Updated 10 years ago
• idris-hackers / iQuery
  Idris Lib to interact with the DOM and Browser API for the JavaScript backend
  ☆40Updated 7 years ago
• andreas / ocaml-graphql-tutorial
  GraphQL in OCaml tutorial (CUFP 2017)
  ☆29Updated 7 years ago
• david-christiansen / pudding-old
  A language-integrated proof assistant, for and in Racket
  ☆39Updated 8 years ago
• plum-umd / adapton.ocaml
  (Nominal) Adapton in OCaml
  ☆53Updated 8 years ago
• UCSD-PL / kraken
  ☆29Updated 10 years ago
• neel-krishnaswami / linearml
  A simple implementation of linear type theory
  ☆38Updated 7 years ago
• pnwamk / stop2015-redex
  PLT Redex model of basic Dependently Typed Racket calculus
  ☆18Updated 10 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
• spire / spire
  The Spire Programming Language
  ☆59Updated 10 years ago