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 9 years ago
• haskell-cryptography / cacophony
  A Haskell library implementing the Noise protocol.
  ☆99Updated 4 months ago
• project-everest / mitls-fstar
  Verified implementation of TLS 1.3 in F*
  ☆177Updated 3 months ago
• NuxiNL / cloudabi-ports
  Packages for CloudABI
  ☆21Updated 4 years ago
• vzaliva / helix
  Formally verified operator language and rewriting engine for high-performance computing
  ☆26Updated 11 months ago
• NixOS / security
  ☆30Updated 8 years ago
• rems-project / netsem
  Network Semantics
  ☆88Updated 6 years ago
• frenetic-lang / frenetic
  The Frenetic Programming Language and Runtime System
  ☆224Updated last year
• rod-chapman / SPARKNaCl
  SPARK 2014 re-implementation of the TweetNaCl crypto library
  ☆119Updated 2 months ago
• mlswg / mls-architecture
  MLS architecture
  ☆71Updated 2 months ago
• mirage / mirage-qubes
  Mirage support for writing QubesOS AppVM unikernels
  ☆63Updated 3 months ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago
• project-oak / silveroak
  Formal specification and verification of hardware, especially for security and privacy.
  ☆126Updated 3 years ago
• vmware-archive / nerpa
  Network Programming with Relational and Procedural Abstractions (NERPA)
  ☆32Updated 2 years ago
• mitls / mitls-flex
  TLS implemented in f7
  ☆43Updated 8 years ago
• avsm / melange
  Fast, statically type-safe OCaml network applications (e.g. DNS/SSH)
  ☆56Updated 9 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
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• GaloisInc / saw-core
  The SAW core language.
  ☆54Updated 3 years ago
• edwinb / Protocols
  A DSL for describing and implementing communication protocols
  ☆83Updated 10 years ago
• GaloisInc / tower
  A concurrency framework for the Ivory language
  ☆43Updated 5 years ago
• GaloisInc / ICryptol
  IPython-style interaction for Cryptol
  ☆15Updated 8 years ago
• kenmcmil / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆91Updated this week
• ku-fpg / kansas-lava
  Kansas Lava
  ☆47Updated 5 years ago
• raaz-crypto / verse-coq
  VERified asSembler for cryptographic primitives
  ☆12Updated last year
• NixIPFS / notes
  ideas and planning on how to use IPFS together with Nix/OS
  ☆17Updated 8 years ago
• hallambaker / Mathematical-Mesh
  The Mesh is an infrastructure that makes the Internet easier to use by making it more secure.
  ☆41Updated last week