Alternatives and similar repositories for RINA

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

• IRATI / stack
  RINA implementation for OS/Linux
  ☆76Updated last year
• rlite / rlite
  A light RINA implementation. Documentation is available in REAME.md (see below).
  ☆51Updated last year
• ProtoRINA / users
  ☆16Updated 11 years ago
• meiersi / scyther-proof
  A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
  ☆16Updated 10 years ago
• mlswg / mls-architecture
  MLS architecture
  ☆71Updated 2 months ago
• NixOS / security
  ☆30Updated 8 years ago
• rems-project / netsem
  Network Semantics
  ☆88Updated 6 years ago
• monte-language / typhon
  A virtual machine for Monte.
  ☆69Updated last year
• NuxiNL / cloudabi-ports
  Packages for CloudABI
  ☆21Updated 4 years ago
• haskell-cryptography / cacophony
  A Haskell library implementing the Noise protocol.
  ☆100Updated 5 months ago
• NixIPFS / nixipfs-scripts
  Mirror a Hydra jobset using IPFS or plain rsync
  ☆44Updated 7 years ago
• project-everest / mitls-fstar
  Verified implementation of TLS 1.3 in F*
  ☆177Updated 4 months ago
• raaz-crypto / verse-coq
  VERified asSembler for cryptographic primitives
  ☆12Updated last year
• sdiehl / galois-field
  Finite field and algebraic extension field arithmetic
  ☆50Updated last year
• cleverca22 / fusenar
  A program that mounts a NAR (Nix Archive) archive as a filesystem using FUSE. This repo is written in C++; it has now been rewritten in H…
  ☆23Updated 9 years ago
• Agoric / SwingSet
  MOVED TO MONOREPO. prototype Vat host, modeled after KeyKOS Domains
  ☆18Updated 5 years ago
• kadena-io / masala
  Standalone Ethereum Virtual Machine
  ☆52Updated 3 years ago
• kframework / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆46Updated 7 years ago
• nicolabotta / SeqDecProbs
  ☆14Updated 8 years ago
• GaloisInc / tower
  A concurrency framework for the Ivory language
  ☆43Updated 5 years ago
• vignat / vignat
  [deprecated, see https://github.com/vigor-nf/vigor] VigNAT first repository. Includes VigNAT, libVig, Vigor Validator, and all the proofs…
  ☆75Updated 3 years ago
• project-everest / everest
  ☆198Updated this week
• verse-lab / toychain
  A minimalistic blockchain consensus implemented and verified in Coq
  ☆112Updated 5 years ago
• sdiehl / elliptic-curve
  A polymorphic interface for elliptic curve operations
  ☆42Updated 2 years ago
• GaloisInc / saw-core
  The SAW core language.
  ☆54Updated 4 years ago
• tomahawkins / improve
  An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…
  ☆57Updated 13 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• gstew5 / snarkl
  ☆59Updated 3 years ago
• netsec-ethz / scion
  This repository represents the current SCION version deployed at SCIONLab.
  ☆34Updated this week
• GaloisInc / lean-haskell-bindings
  Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/
  ☆21Updated 7 years ago