Alternatives and similar repositories for paradox:

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

• ruuda / transducers
  A transducer library for Rust
  ☆10Updated 8 years ago
• frankmcsherry / explanation
  Infrastructure for explaining the outputs of differential dataflow computations
  ☆22Updated 8 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• Michael-F-Bryan / tinyvm-rs
  An incremental port of jakogut/tinyvm to Rust
  ☆13Updated 5 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 6 years ago
• ycrypto / nisty
  NIST P-256 signatures for Cortex-M4 microcontrollers
  ☆14Updated 3 years ago
• janestreet / ppx_hash
  A ppx rewriter that generates hash functions from type expressions and definitions
  ☆15Updated last month
• rsaarelm / nock-rs
  ☆14Updated 8 years ago
• gendx / haraka-rs
  A Rust implementation of the Haraka hash function
  ☆10Updated 2 years ago
• trailofbits / indurative
  Easily create authenticated data structures
  ☆43Updated last year
• janestreet / async_parallel
  Distributed computing library
  ☆35Updated 6 years ago
• savonet / ocaml-duppy
  OCaml asynchronous scheduler and monad for server-oriented programming.
  ☆16Updated 3 months ago
• GaloisInc / rustwall
  Rust firewall for seL4
  ☆10Updated 6 years ago
• ConsenSysMesh / Fae
  A functional smart contract system
  ☆6Updated 5 years ago
• hacspec / hacspec-python
  Please check out https://github.com/hacspec/hacspec for more information on hacspec
  ☆46Updated 4 years ago
• ChorusOne / dynalock
  A lease based distributed locking library
  ☆10Updated 6 years ago
• hannesm / conex
  establish trust in community repositories, cryptographically signed by library authors
  ☆33Updated 2 months ago
• graydon / z3-rs
  ☆23Updated 6 years ago
• ziman / idris-bytes
  FFI-based byte buffers for Idris
  ☆10Updated 5 years ago
• cmeiklejohn / ensemble
  Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.
  ☆13Updated 8 years ago
• gandro / cargo-rumpbake
  Baking rumprun images with cargo
  ☆12Updated 9 years ago
• losfair / hexagon-e
  The HexagonE VM
  ☆25Updated 2 years ago
• cryptouri / cryptouri.rs
  Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding
  ☆35Updated last year
• cwgoes / tm-proposer-idris
  Formalization of Tendermint proposer election properties
  ☆15Updated 6 years ago
• sile / plumtree
  A Rust implementation of Plumtree algorithm
  ☆28Updated last month
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  ☆0Updated 5 years ago
• robur-coop / dns-letsencrypt-secondary
  A MirageOS unikernel acting as secondary DNS server, provisioning certificate signing requests to valid certificates using let's encrypt
  ☆12Updated 2 months ago
• endoli / burst.rs
  A disassembler framework
  ☆18Updated 2 years ago
• janestreet / noise-wireguard-ocaml
  An implementation of the Noise Protocol, intended to be used as the base for a Wireguard implementation in OCaml.
  ☆26Updated 4 years ago