Alternatives and similar repositories for junify

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

• curiosity-driven / prolog-interpreter
  Simple prolog interpreter using ES6 generators
  ☆62Updated 10 years ago
• jldupont / prolog.js
  prolog interpreter in javascript
  ☆82Updated 8 years ago
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆105Updated last year
• mattbierner / khepri
  ECMAScript derived programming language
  ☆68Updated 10 years ago
• levjj / esverify
  ECMAScript verification with SMT solvers
  ☆124Updated last year
• squiggle-lang / squiggle-lang
  NO LONGER IN DEVELOPMENT
  ☆27Updated 9 years ago
• mattbierner / bennu
  Javascript Parser Combinator Library
  ☆148Updated 10 years ago
• disnet / contracts.js
  Contract library for JavaScript
  ☆147Updated 9 years ago
• the-grid / finitedomain
  Finite Domain Constraint Solver
  ☆29Updated 7 years ago
• codemix / contractual
  Unobtrusive, backwards compatible, syntactic sugar for Design by contract in JavaScript.
  ☆74Updated 9 years ago
• mattbierner / hamt_plus
  Fork of HAMT with transactions and custom key types
  ☆51Updated 8 years ago
• ckknight / gorillascript
  GorillaScript is a compile-to-JavaScript language designed to empower the user while attempting to prevent some common errors.
  ☆298Updated 11 years ago
• polytypic / fastener
  Functional Zipper for manipulating JSON
  ☆55Updated 6 years ago
• crubier / Hexastore
  A fast, pure javascript triple store implementation, also useful as a graph database.
  ☆65Updated 4 years ago
• luciotato / LiteScript
  Compile-to-js and compile-to-c language, highly readable, keep it simple philosophy
  ☆148Updated 4 years ago
• nuprl / Stopify
  A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.
  ☆177Updated 11 months ago
• SimonMeskens / TypeProps
  Small library for describing HKTs in TypeScript
  ☆32Updated 7 years ago
• VictorTaelin / optlam
  An optimal function evaluator written in JavaScript.
  ☆137Updated 7 years ago
• benji6 / imlazy
  😴 Functional programming with lazy immutable iterables
  ☆102Updated last week
• awto / mfjs-logic
  Logical programming in JavaScript
  ☆15Updated 9 years ago
• mattbierner / hamt
  Javascript Hash Array Mapped Trie
  ☆251Updated 3 years ago
• sentient-lang / sentient-lang
  The Sentient Programming Language.
  ☆82Updated 5 years ago
• paolocaminiti / jsonml2idom
  JSONML to Incremental DOM interpreter
  ☆16Updated 4 years ago
• LivelyKernel / lively4-projectional-editor
  The Lively Projectional Editor is an implementation of a projectional editor for Lively 4. It offers a dual editing workflow: A text proj…
  ☆16Updated 8 years ago
• jostylr / literate-programming-lib
  The library component of literate-programming
  ☆36Updated 3 years ago
• brownplt / flapjax
  functional reactive programming for JavaScript
  ☆234Updated 5 years ago
• masala / masala-parser
  Javascript Generalized Parser Combinators
  ☆148Updated last week
• davidchambers / nucleotides
  The building blocks of JavaScript programs
  ☆32Updated 7 years ago
• VictorTaelin / lambda-calculus
  A simple, clean and fast implementation of the λ-calculus on JavaScript.
  ☆45Updated 5 years ago
• oleiman / sweet-contracts
  A collection of sweet.js macros that provide contract support for JavaScript!
  ☆55Updated 12 years ago