Alternatives and similar repositories for SimpleSimplex

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

• dalek-cryptography / dalek-rangeproofs
  This was a pure-Rust implementation of a rangeproof scheme. It is now obsoleted by Bulletproofs.
  ☆16Updated 7 years ago
• amiller / lambda-auth
  authenticated data structures, generically
  ☆54Updated 9 years ago
• bcrypto / bee2
  ☆14Updated 8 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆47Updated 11 years ago
• GaloisInc / mistral
  An interpreter for the Mistral language.
  ☆19Updated 8 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• hanshuebner / secd
  SECD microprocessor reimplementation in VHDL
  ☆36Updated 6 years ago
• jancarlsson / snarkfront
  a C++ embedded domain specific language for zero knowledge proofs
  ☆59Updated 9 years ago
• rsaarelm / nock-rs
  ☆14Updated 9 years ago
• HACS-workshop / links
  Links to stuff arising from or related to the HACS workshop.
  ☆34Updated 7 years ago
• alltom / propagators
  JavaScript implementation of Radul and Sussman's Propagator model
  ☆15Updated 12 years ago
• mbrubeck / mnemonic.js
  Mnemonic encoding of binary data, based on Oren Tirosh's mnemonic.c
  ☆30Updated 3 years ago
• graydon / stxt
  sketch of a secure async group communication system
  ☆101Updated 11 years ago
• sergeybratus / HammerPrimer
  Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson
  ☆82Updated 8 years ago
• kframework / javascript-semantics
  KJS: A Complete Formal Semantics of JavaScript
  ☆103Updated 9 years ago
• void4 / rarvm
  Resource Aware, Recursive Virtual Machine
  ☆10Updated 3 years ago
• attresearch / yakker
  ☆24Updated 14 years ago
• MEM-AEAD / mem-aead
  Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction
  ☆28Updated 7 years ago
• 1984not-GmbH / molch
  An implementation of the axolotl ratchet based on libsodium.
  ☆23Updated 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
• evoasm / evoasm.rb
  An AIMGP (Automatic Induction of Machine code by Genetic Programming) engine
  ☆92Updated 7 years ago
• jldupont / prolog.js
  prolog interpreter in javascript
  ☆82Updated 8 years ago
• tekknolagi / distlisp
  Distributed Lisp interpreter in Erlang.
  ☆11Updated 9 years ago
• alpha123 / vio
  A concise programming language that is fun to use
  ☆16Updated 10 years ago
• marcsAtSkyhunter / Capper
  A web application server with built-in object capability security built on Node.js/Express
  ☆15Updated 5 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆47Updated 8 years ago
• jovanbulck / jsh
  A basic UNIX shell implementation in C
  ☆34Updated 6 years ago
• Yawning / sphincs256
  SPHINCS-256 practical stateless hash-based signature scheme
  ☆26Updated 9 years ago
• ruuda / transducers
  A transducer library for Rust
  ☆10Updated 9 years ago