Alternatives and similar repositories for tofu

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

• nuprl / Stopify
  A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.
  ☆179Updated last year
• levjj / esverify
  ECMAScript verification with SMT solvers
  ☆124Updated last year
• joshcox / kanren
  Port of microKanren to JavaScript.
  ☆25Updated 3 years ago
• futureofcoding / futureofcoding.org
  An archive of Steve Krouse's Future of Coding research notes
  ☆147Updated 2 weeks ago
• mattbierner / hamt_plus
  Fork of HAMT with transactions and custom key types
  ☆52Updated 8 years ago
• harc / moonchild
  A toolkit for experimenting with new kinds of programming interfaces.
  ☆198Updated 8 years ago
• bijection / nearley-playground
  ⛹ Write Grammars for the Nearley Parser!
  ☆84Updated 2 years ago
• soney / interstate
  ☆53Updated 4 years ago
• sentient-lang / sentient-lang
  The Sentient Programming Language.
  ☆82Updated 5 years ago
• ajnsit / concur-js
  Concur UI Library for Javascript
  ☆76Updated 5 years ago
• jaked / programmable-matter
  A dynamic data-driven document development environment (DDDDDE)
  ☆85Updated 2 years ago
• lynaghk / subform-layout
  Embeddable layout engine. Like flexbox, but with fewer concepts, applied uniformly.
  ☆194Updated 7 years ago
• harc / seymour
  A live programming environment that lets you see the inner workings of programs
  ☆81Updated 3 years ago
• brundonsmith / bagel
  A reactive and strongly-typed, but also pragmatic, new programming language. Compiles to JavaScript, designed to be comfy for people used…
  ☆90Updated 2 years ago
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆212Updated 10 months ago
• curiosity-driven / prolog-interpreter
  Simple prolog interpreter using ES6 generators
  ☆62Updated 10 years ago
• mattbierner / bennu
  Javascript Parser Combinator Library
  ☆147Updated 10 years ago
• disnet / parser-lang
  A parser combinator library with declarative superpowers
  ☆28Updated 3 years ago
• geoffreylitt / mini-adapton
  Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)
  ☆24Updated 3 years ago
• xodio / hm-parser
  A parser for Hidnley Milner notations
  ☆23Updated 2 years ago
• Glench / REPLugger
  Research prototype of a REPL/debugger
  ☆30Updated 6 years ago
• lmatteis / react-behavioral
  #BehavioralProgramming for React
  ☆56Updated 5 years ago
• nythrox / effects.js
  Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effec…
  ☆108Updated 2 years ago
• robotlolita / tamago
  (superseded by: https://github.com/qteatime/crochet) A safe, extensible, layered programming language that runs on top of JavaScript
  ☆32Updated 2 years ago
• marijnh / moduleserve
  Development shim for serving up CommonJS modules
  ☆68Updated 2 years ago
• ohmjs / ohm-editor
  An IDE for the Ohm language (JavaScript edition)
  ☆101Updated 11 months ago
• hojberg / sums-up
  SumTypes in TypeScript
  ☆30Updated 2 years ago
• ion-lang / ion
  יון no BS JS
  ☆80Updated 8 years ago
• SimonMeskens / TypeProps
  Small library for describing HKTs in TypeScript
  ☆32Updated 7 years ago
• calmm-js / karet
  Karet is a library that allows you to embed Kefir observables into React VDOM
  ☆86Updated 4 years ago