Alternatives and similar repositories for SimpleSimplex

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

• statebox / bcfwm
  Blockchain Technology for the Working Mathematician
  ☆24Updated 8 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
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• jgalenson / research.js
  Share your research online by compiling it to JavaScript!
  ☆23Updated 10 years ago
• frankmcsherry / explanation
  Infrastructure for explaining the outputs of differential dataflow computations
  ☆22Updated 8 years ago
• jcoglan / kanrens
  Various implementations of microKanren
  ☆20Updated 8 years ago
• graydon / stxt
  sketch of a secure async group communication system
  ☆101Updated 11 years ago
• tarcieri / paradox
  Experimental language for verifiable computation using zero-knowledge proofs
  ☆25Updated 7 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 11 years ago
• ColemanGariety / derivation-machine
  Propositional calculus in Haskell
  ☆11Updated 8 years ago
• davidrusu / bft-crdts
  Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms
  ☆62Updated 4 years ago
• mbrubeck / mnemonic.js
  Mnemonic encoding of binary data, based on Oren Tirosh's mnemonic.c
  ☆30Updated 3 years ago
• ruuda / transducers
  A transducer library for Rust
  ☆10Updated 9 years ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 6 years ago
• jeffkaufman / nomic
  Automated nomic
  ☆18Updated 6 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
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 13 years ago
• berneout / berneout-pledge
  a simple tool for hassle-free open-source contribution licensing
  ☆32Updated last week
• jbenet / data
  package manager for datasets
  ☆60Updated 10 years ago
• erjiang / foxscheme
  An R5RS Scheme in JavaScript.
  ☆17Updated 2 weeks ago
• dmishin / hyperbolic-ca-simulator
  Simulator of cellular automata on hyperbolic (Lobachevsky) plane, in browser.
  ☆38Updated 7 years ago
• trishume / ratewithscience
  Rate things on arbitrary scales using big data and science!
  ☆51Updated 5 years ago
• Sophia-Gold / power-series
  stream processing library for formal power series and generating functions
  ☆10Updated 4 years ago
• lokedhs / android-gnu-apl
  GNU APL port to Android
  ☆16Updated 10 years ago
• jasonhemann / microKanren-shen
  An implementation of microKanren in Shen
  ☆10Updated 10 years ago
• words / gunning-fog
  Formula to detect the ease of reading a text according to the Gunning fog index (1952)
  ☆19Updated 2 years ago
• jbclements / molis-hai
  Password Generation using Markov models, Huffman trees, and Charles Dickens
  ☆43Updated 6 years ago
• cleichner / haskell-ipfs
  Haskell implementation of the InterPlanetary File System
  ☆14Updated 10 years ago
• evoasm / evoasm.rb
  An AIMGP (Automatic Induction of Machine code by Genetic Programming) engine
  ☆92Updated 6 years ago