Alternatives and similar repositories for SimpleSimplex

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

• jgalenson / research.js
  Share your research online by compiling it to JavaScript!
  ☆23Updated 10 years ago
• jldupont / prolog.js
  prolog interpreter in javascript
  ☆82Updated 8 years ago
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆48Updated 11 years ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆27Updated 6 years ago
• rsaarelm / nock-rs
  ☆14Updated 9 years ago
• mbrubeck / mnemonic.js
  Mnemonic encoding of binary data, based on Oren Tirosh's mnemonic.c
  ☆30Updated 3 years ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated last month
• ramadis / slang
  📟 Encoding/Decoding tool for Martin David's theoretical S language programs.
  ☆16Updated 9 years ago
• monte-language / monte
  A dynamic language inspired by Python and E.
  ☆79Updated 4 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• soney / interstate
  ☆53Updated 4 years ago
• polytypic / prettier-printer
  A pretty printing library
  ☆25Updated 6 years ago
• mthom / prolog_parser
  An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.
  ☆14Updated 4 years ago
• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆26Updated 8 years ago
• Sleepyowl / jsprolog
  A simple Prolog interpreter written with javascript
  ☆16Updated 8 years ago
• erjiang / foxscheme
  An R5RS Scheme in JavaScript.
  ☆17Updated 2 months ago
• smikes / femscripten
  A docker image for Fortran -> js compilation
  ☆22Updated 10 years ago
• suhr / wcpl
  ☆16Updated 7 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆60Updated 5 years ago
• hanshuebner / secd
  SECD microprocessor reimplementation in VHDL
  ☆35Updated 5 years ago
• alltom / propagators
  JavaScript implementation of Radul and Sussman's Propagator model
  ☆15Updated 11 years ago
• frankmcsherry / explanation
  Infrastructure for explaining the outputs of differential dataflow computations
  ☆22Updated 9 years ago
• attresearch / yakker
  ☆23Updated 13 years ago
• JoshuaGrams / pep
  A Pint-sized Earley Parser
  ☆33Updated last year
• srikumarks / FD.js
  Finite domain constraint programming library in JS
  ☆62Updated 3 years ago
• hawkw / mnemosyne
  A functional systems programming language with compile-time memory management
  ☆31Updated 3 years ago
• smarr / CSOM
  CSOM - C implementation of the Simple Object Machine Smalltalk
  ☆11Updated 4 years ago
• wms / petri-net
  A simple library for modelling and executing Petri Nets
  ☆15Updated 10 years ago
• jcoglan / kanrens
  Various implementations of microKanren
  ☆20Updated 8 years ago