Alternatives and similar repositories for SimpleSimplex

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

• smikes / femscripten
  A docker image for Fortran -> js compilation
  ☆22Updated 11 years ago
• mindbeam / unbase
  ☆40Updated 5 years ago
• jldupont / prolog.js
  prolog interpreter in javascript
  ☆82Updated 8 years ago
• wms / petri-net
  A simple library for modelling and executing Petri Nets
  ☆15Updated 10 years ago
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆47Updated 11 years ago
• rsaarelm / nock-rs
  ☆14Updated 9 years ago
• graydon / stxt
  sketch of a secure async group communication system
  ☆101Updated 11 years ago
• jcoglan / kanrens
  Various implementations of microKanren
  ☆20Updated 8 years ago
• ramadis / slang
  📟 Encoding/Decoding tool for Martin David's theoretical S language programs.
  ☆16Updated 9 years ago
• soney / interstate
  ☆53Updated 5 years ago
• hugomg / hexiom
  SAT-based solver for the Hexiom logic puzzle
  ☆33Updated 13 years ago
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆60Updated 5 years ago
• frankmcsherry / explanation
  Infrastructure for explaining the outputs of differential dataflow computations
  ☆23Updated 9 years ago
• lps-js / lps.js
  Logic Production System (LPS) programming language interpreter implemented in JavaScript for Node.js and browsers.
  ☆52Updated 6 years ago
• polytypic / prettier-printer
  A pretty printing library
  ☆25Updated 6 years ago
• jgalenson / research.js
  Share your research online by compiling it to JavaScript!
  ☆23Updated 11 years ago
• mbrubeck / mnemonic.js
  Mnemonic encoding of binary data, based on Oren Tirosh's mnemonic.c
  ☆30Updated 3 years ago
• tekknolagi / distlisp
  Distributed Lisp interpreter in Erlang.
  ☆11Updated 9 years ago
• srikumarks / FD.js
  Finite domain constraint programming library in JS
  ☆62Updated 3 years ago
• amarty66 / lambdaway
  The {lambda way} project is a wiki, {lambda tank}, built as a thin overlay on top of any modern web browser, and devoted to writing, comp…
  ☆29Updated 4 years ago
• indutny / bulk-gcd
  Bulk GCD in Rust
  ☆21Updated 8 months ago
• rongarret / ratchet-js
  A Javascript implementation of the Signal double-ratchet
  ☆33Updated 8 years ago
• sentient-lang / sentient-lang
  The Sentient Programming Language.
  ☆82Updated 6 years ago
• danluu / Fuzz.jl
  World's dumbest fuzzer
  ☆52Updated last year
• brendanzab / algebra
  Abstract algebra for Rust (still very much a WIP!)
  ☆62Updated 3 years ago
• trishume / ratewithscience
  Rate things on arbitrary scales using big data and science!
  ☆52Updated 6 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• raptorjit / raptorbook
  RaptorJIT: a dynamic system programming language (manuscript)
  ☆16Updated 6 years ago
• pipcet / binutils-gdb
  GDB is the GNU debugger. Forked from bminor's mirror.
  ☆18Updated 3 years ago
• gandro / cargo-rumpbake
  Baking rumprun images with cargo
  ☆12Updated 10 years ago