Alternatives and similar repositories for paradox:

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

• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• ruuda / transducers
  A transducer library for Rust
  ☆10Updated 8 years ago
• sile / plumtree
  A Rust implementation of Plumtree algorithm
  ☆29Updated 2 months ago
• gandro / cargo-rumpbake
  Baking rumprun images with cargo
  ☆12Updated 9 years ago
• cryptouri / cryptouri.rs
  Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding
  ☆36Updated last year
• 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 last month
• nanotech / dhall-rs
  cargo +nightly build
  ☆34Updated 5 years ago
• krohrer / caml-inspect
  Inspection of internal value representations and the object graph
  ☆33Updated 8 years ago
• serokell / time-warp
  Distributed systems execution emulation
  ☆18Updated 6 years ago
• ziman / idris-bytes
  FFI-based byte buffers for Idris
  ☆10Updated 5 years ago
• fsestini / tt-in-cubical
  Type Theory in Type Theory using Cubical Agda
  ☆12Updated 6 years ago
• savant2212 / solo5-rs
  Rust wrapper around Solo5 (https://github.com/solo5/solo5) unikernel base layer
  ☆11Updated 6 years ago
• janestreet / ppx_hash
  A ppx rewriter that generates hash functions from type expressions and definitions
  ☆16Updated 4 months ago
• GaloisInc / rustwall
  Rust firewall for seL4
  ☆10Updated 6 years ago
• savonet / ocaml-duppy
  OCaml asynchronous scheduler and monad for server-oriented programming.
  ☆16Updated last week
• richardanaya / pig
  A simple PostgreSQL data migration tool
  ☆19Updated 6 years ago
• contain-rs / blist
  A deque implemented as a hybrid linked-list-of-arrays
  ☆10Updated 9 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 7 years ago
• rot256 / ninn
  An experimental implementation of nQUIC in Rust
  ☆31Updated 6 years ago
• cmeiklejohn / ensemble
  Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.
  ☆13Updated 9 years ago
• nixpulvis / lambash
  A λ-calculus shell (because I love writing shells).
  ☆11Updated 5 years ago
• rsaarelm / nock-rs
  ☆14Updated 8 years ago
• graydon / z3-rs
  ☆23Updated 6 years ago
• statebox / bcfwm
  Blockchain Technology for the Working Mathematician
  ☆24Updated 7 years ago
• processone / jamler
  ☆14Updated last year
• janestreet / async_parallel
  Distributed computing library
  ☆35Updated 6 years ago
• hacspec / hacspec-python
  Please check out https://github.com/hacspec/hacspec for more information on hacspec
  ☆46Updated 4 years ago
• mariaschett / ppltr
  A PoPuLaToR for a PeePhoLe opTimizeR
  ☆12Updated 3 years ago
• LeastAuthority / haskell-magic-wormhole
  Magic Wormhole for Haskell
  ☆11Updated 11 months 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 5 years ago