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
• GaloisInc / mistral
  An interpreter for the Mistral language.
  ☆19Updated 7 years ago
• lf94 / blots
  A simple paper-based storage format
  ☆16Updated 2 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆23Updated 9 years ago
• gvx / deja
  The Déjà Vu programming language
  ☆15Updated 10 years ago
• jldupont / prolog.js
  prolog interpreter in javascript
  ☆82Updated 8 years ago
• datavis-tech / reactive-function
  A library for managing reactive data flows.
  ☆10Updated 8 years ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆14Updated 5 years ago
• frankmcsherry / explanation
  Infrastructure for explaining the outputs of differential dataflow computations
  ☆22Updated 8 years ago
• statebox / bcfwm
  Blockchain Technology for the Working Mathematician
  ☆24Updated 7 years ago
• nushio3 / physics-inhaskell
  Knowledge of classical mechanics, written in haskell.
  ☆14Updated 12 years ago
• tarcieri / paradox
  Experimental language for verifiable computation using zero-knowledge proofs
  ☆25Updated 6 years ago
• Sleepyowl / jsprolog
  A simple Prolog interpreter written with javascript
  ☆16Updated 7 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 6 years ago
• liamoc / hilbert
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆29Updated 10 years ago
• mattbierner / atum
  Javascript Interpreter in Functional-Style Javascript
  ☆19Updated 7 years ago
• talex5 / tla
  A Dockerfile for building the TLA+ tools
  ☆13Updated 6 years ago
• philipcmonk / phlisped
  Graphical programming editor
  ☆33Updated 8 years ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆27Updated 6 years ago
• smikes / femscripten
  A docker image for Fortran -> js compilation
  ☆22Updated 10 years ago
• Soonad / Formality-Net-Animator
  Animations for Elementary-Affine-Net interactions
  ☆11Updated 5 years ago
• alehander92 / hatlog
  custom type systems for python in prolog: http://alehander42.me/prolog_type_systems
  ☆24Updated 8 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆43Updated 9 years ago
• selfsame / ipfs-desk
  web app for ipfs
  ☆12Updated 8 years ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆28Updated 6 years ago
• soney / interstate
  ☆53Updated 4 years ago
• isle-project / isle-editor
  Editor for ISLE (Integrated Statistics Learning Environment) lessons.
  ☆16Updated last year
• gandro / cargo-rumpbake
  Baking rumprun images with cargo
  ☆12Updated 9 years ago
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 4 years ago