Alternatives and similar repositories for junify

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

• jldupont / prolog.js
  prolog interpreter in javascript
  ☆82Updated 8 years ago
• curiosity-driven / prolog-interpreter
  Simple prolog interpreter using ES6 generators
  ☆62Updated 10 years ago
• mattbierner / khepri
  ECMAScript derived programming language
  ☆68Updated 10 years ago
• disnet / contracts.js
  Contract library for JavaScript
  ☆148Updated 10 years ago
• crubier / Hexastore
  A fast, pure javascript triple store implementation, also useful as a graph database.
  ☆66Updated 4 years ago
• mattbierner / bennu
  Javascript Parser Combinator Library
  ☆147Updated 10 years ago
• awto / mfjs-logic
  Logical programming in JavaScript
  ☆15Updated 9 years ago
• mattbierner / hamt_plus
  Fork of HAMT with transactions and custom key types
  ☆52Updated 8 years ago
• codemix / contractual
  Unobtrusive, backwards compatible, syntactic sugar for Design by contract in JavaScript.
  ☆74Updated 10 years ago
• squiggle-lang / squiggle-lang
  NO LONGER IN DEVELOPMENT
  ☆27Updated 9 years ago
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆107Updated 2 years ago
• tommikaikkonen / zippa
  A generic zipper library for JavaScript
  ☆29Updated 9 years ago
• fwg / s-expression
  javascript s-expression parser with quote support
  ☆59Updated 4 years ago
• natefaubion / adt-simple
  Algebraic data types for JavaScript using Sweet.js macros
  ☆94Updated 11 years ago
• benji6 / imlazy
  😴 Functional programming with lazy immutable iterables
  ☆103Updated this week
• the-grid / finitedomain
  Finite Domain Constraint Solver
  ☆29Updated 8 years ago
• CRogers / pun
  A small library to enable pattern matching in javascript and coffeescript
  ☆345Updated 11 years ago
• oleiman / sweet-contracts
  A collection of sweet.js macros that provide contract support for JavaScript!
  ☆55Updated 12 years ago
• erikolson186 / relational.js
  Implementation of the relational algebra
  ☆37Updated 9 years ago
• dyoo / js-numbers
  Javascript implementation of Scheme's numeric tower
  ☆30Updated 12 years ago
• phadej / typify
  Runtime type checking for JavaScript
  ☆76Updated 6 years ago
• jostylr / literate-programming-lib
  The library component of literate-programming
  ☆36Updated 3 years ago
• nuprl / Stopify
  A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.
  ☆179Updated last year
• polytypic / fastener
  Functional Zipper for manipulating JSON
  ☆56Updated 6 years ago
• bodil / eulalie
  ES6 flavoured parser combinators
  ☆72Updated 7 years ago
• fantasyland / fantasy-lenses
  Composable, immutable getters and setters.
  ☆109Updated 9 years ago
• puffnfresh / brushtail
  JS AST rewriter for tail call elimination
  ☆135Updated 12 years ago
• meteor / logic-solver
  ☆147Updated 6 years ago
• SimonMeskens / TypeProps
  Small library for describing HKTs in TypeScript
  ☆32Updated 7 years ago
• fantasyland / fantasy-laws
  Property-based tests for FL-compatible ADTs
  ☆32Updated 3 years ago