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.
  ☆98Updated 4 months ago
• rod-chapman / SPARKNaCl
  SPARK 2014 re-implementation of the TweetNaCl crypto library
  ☆118Updated last month
• maude-team / full-maude
  Automatically exported from code.google.com/p/full-maude
  ☆16Updated last year
• mitls / mitls-flex
  TLS implemented in f7
  ☆43Updated 8 years ago
• NixIPFS / notes
  ideas and planning on how to use IPFS together with Nix/OS
  ☆17Updated 8 years ago
• Agoric / SwingSet
  MOVED TO MONOREPO. prototype Vat host, modeled after KeyKOS Domains
  ☆18Updated 5 years ago
• buildsome / buildsome
  Buildsome: The awesome build system
  ☆53Updated 2 years ago
• vzaliva / helix
  Formally verified operator language and rewriting engine for high-performance computing
  ☆24Updated 10 months ago
• GaloisInc / tower
  A concurrency framework for the Ivory language
  ☆43Updated 5 years ago
• NuxiNL / cloudabi-ports
  Packages for CloudABI
  ☆21Updated 4 years ago
• kframework / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆46Updated 6 years ago
• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆46Updated this week
• hacspec / hacspec-python
  Please check out https://github.com/hacspec/hacspec for more information on hacspec
  ☆46Updated 4 years ago
• cesaro / cunf
  A model checker for safe Petri nets based on partial-order semantics
  ☆13Updated 4 years ago
• project-everest / mitls-fstar
  Verified implementation of TLS 1.3 in F*
  ☆176Updated 2 months ago
• multiformats / haskell-multihash
  Multihash Haskell implementation
  ☆27Updated 2 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 last month
• sdiehl / galois-field
  Finite field and algebraic extension field arithmetic
  ☆50Updated last year
• GaloisInc / ICryptol
  IPython-style interaction for Cryptol
  ☆15Updated 8 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆113Updated 6 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆56Updated 7 months ago
• hexhex / core
  DLVHEX solver: core system and plugin API
  ☆25Updated 5 years ago
• AdaCore / why3
  SPARK 2014 repository for the Why3 verification platform.
  ☆30Updated this week
• GaloisInc / saw-core
  The SAW core language.
  ☆54Updated 3 years ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago