Alternatives and similar repositories for SimpleSimplex

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

• soney / interstate
  ☆53Updated 4 years ago
• smikes / femscripten
  A docker image for Fortran -> js compilation
  ☆22Updated 10 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 10 years ago
• datavis-tech / reactive-function
  A library for managing reactive data flows.
  ☆10Updated 8 years ago
• jcoglan / kanrens
  Various implementations of microKanren
  ☆20Updated 8 years ago
• frankmcsherry / explanation
  Infrastructure for explaining the outputs of differential dataflow computations
  ☆22Updated 8 years ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆28Updated 6 years ago
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆48Updated 10 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
• javert2 / JaVerT2.0
  JaVerT2.0 - Compositional Symbolic Execution for JavaScript
  ☆19Updated 5 years ago
• JoshuaGrams / pep
  A Pint-sized Earley Parser
  ☆33Updated 9 months ago
• pipcet / binutils-gdb
  GDB is the GNU debugger. Forked from bminor's mirror.
  ☆18Updated 3 years ago
• mbrubeck / mnemonic.js
  Mnemonic encoding of binary data, based on Oren Tirosh's mnemonic.c
  ☆30Updated 3 years ago
• rsaarelm / nock-rs
  ☆14Updated 9 years ago
• berneout / berneout-pledge
  a simple tool for hassle-free open-source contribution licensing
  ☆32Updated 4 years ago
• orlandohill / peg-left-recursion
  An idea to handle left-recursion in Parsing Expression Grammars (PEGs)
  ☆36Updated 14 years ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆27Updated 6 years ago
• talex5 / irmin-js
  Javascript bindings for Irmin
  ☆31Updated 9 years ago
• vmx / jslens
  Bidirectional transformation with lenses
  ☆28Updated 2 years ago
• tangentstorm / syndir
  a syntax directed editor
  ☆17Updated last year
• NVIDIA / remorac
  ☆38Updated 9 years ago
• damelang / mico
  Experimental Javascript Environment
  ☆22Updated 16 years ago
• jldupont / prolog.js
  prolog interpreter in javascript
  ☆82Updated 8 years ago
• rongarret / ratchet-js
  A Javascript implementation of the Signal double-ratchet
  ☆33Updated 8 years ago
• wyc / snippets
  ☆52Updated 8 years ago
• Qqwy / Jux
  ☆14Updated 4 years ago
• countcain / graphql-rust
  A reference implementation of GraphQL in Rust lang.
  ☆8Updated 8 years ago
• trishume / ratewithscience
  Rate things on arbitrary scales using big data and science!
  ☆51Updated 5 years ago
• c-cube / smbc
  Experimental model finder/SMT solver for functional programming.
  ☆23Updated 3 years ago
• statebox / bcfwm
  Blockchain Technology for the Working Mathematician
  ☆24Updated 8 years ago