keeganlow / SimpleSimplex

Related projects ⓘ

Alternatives and complementary repositories for SimpleSimplex

• jgalenson / research.js
  Share your research online by compiling it to JavaScript!
  ☆23Updated 9 years ago
• frankmcsherry / explanation
  Infrastructure for explaining the outputs of differential dataflow computations
  ☆22Updated 8 years ago
• ramadis / slang
  📟 Encoding/Decoding tool for Martin David's theoretical S language programs.
  ☆16Updated 8 years ago
• attresearch / yakker
  ☆22Updated 12 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 8 years ago
• pipcet / binutils-gdb
  GDB is the GNU debugger. Forked from bminor's mirror.
  ☆17Updated 2 years ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 13 years ago
• alltom / propagators
  JavaScript implementation of Radul and Sussman's Propagator model
  ☆15Updated 10 years ago
• erjiang / foxscheme
  An R5RS Scheme in JavaScript.
  ☆16Updated last year
• vmx / jslens
  Bidirectional transformation with lenses
  ☆28Updated 2 years ago
• Sleepyowl / jsprolog
  A simple Prolog interpreter written with javascript
  ☆16Updated 7 years ago
• kripken / cashew
  asm.js parser in C++
  ☆18Updated 9 years ago
• brownplt / strobe
  The Strobe Type Checker for JavaScript
  ☆15Updated 12 years ago
• ruuda / transducers
  A transducer library for Rust
  ☆10Updated 8 years ago
• cleichner / haskell-ipfs
  Haskell implementation of the InterPlanetary File System
  ☆14Updated 10 years ago
• billsix / bug
  Bill's Utilities for Gambit Scheme
  ☆17Updated 4 years ago
• polytypic / prettier-printer
  A pretty printing library
  ☆24Updated 5 years ago
• javert2 / JaVerT2.0
  JaVerT2.0 - Compositional Symbolic Execution for JavaScript
  ☆19Updated 4 years ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆27Updated 5 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…
  ☆30Updated 3 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆43Updated 9 years ago
• rsaarelm / nock-rs
  ☆14Updated 8 years ago
• seanjensengrey / picolisp
  Minimalist-lisp interpreter implementation for UNIX-like systems.
  ☆10Updated 9 years ago
• plaidgroup / plaid-lang
  The Plaid Programming Language Tools
  ☆11Updated 9 years ago
• JoshuaGrams / pep
  A Pint-sized Earley Parser
  ☆34Updated 2 months ago
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 9 years ago
• talex5 / irmin-js
  Javascript bindings for Irmin
  ☆31Updated 9 years ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 6 years ago