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
• rems-project / netsem
  Network Semantics
  ☆90Updated 6 years ago
• project-everest / mitls-fstar
  Verified implementation of TLS 1.3 in F*
  ☆177Updated 6 months ago
• haskell-cryptography / cacophony
  A Haskell library implementing the Noise protocol.
  ☆100Updated 7 months ago
• meiersi / scyther-proof
  A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
  ☆17Updated 10 years ago
• NuxiNL / cloudabi-ports
  Packages for CloudABI
  ☆21Updated 4 years ago
• mit-plv / bedrock
  Coq library for verified low-level programming
  ☆60Updated 8 years ago
• au-ts / cogent
  Cogent Project
  ☆166Updated 4 months ago
• vzaliva / helix
  Formally verified operator language and rewriting engine for high-performance computing
  ☆29Updated last year
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• NuxiNL / argdata
  A binary serialisation format inspired by YAML, MessagePack and nvlists.
  ☆32Updated 4 years ago
• rod-chapman / SPARKNaCl
  SPARK 2014 re-implementation of the TweetNaCl crypto library
  ☆122Updated 4 months ago
• gstew5 / snarkl
  ☆59Updated 3 years ago
• mitls / mitls-flex
  TLS implemented in f7
  ☆43Updated 9 years ago
• NixIPFS / notes
  ideas and planning on how to use IPFS together with Nix/OS
  ☆17Updated 8 years ago
• edwinb / Protocols
  A DSL for describing and implementing communication protocols
  ☆83Updated 10 years ago
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• GaloisInc / ICryptol
  IPython-style interaction for Cryptol
  ☆15Updated 8 years ago
• DistributedComponents / disel
  Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
  ☆98Updated last year
• frenetic-lang / frenetic
  The Frenetic Programming Language and Runtime System
  ☆226Updated last year
• project-everest / everest
  ☆200Updated last week
• kframework / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆47Updated 7 years ago
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆122Updated 3 years ago
• NixOS / security
  ☆29Updated 8 years ago
• project-everest / vale
  Verified Assembly Language for Everest
  ☆294Updated last year
• google / capsicum-linux
  Linux kernel with Capsicum support
  ☆208Updated 5 years ago
• verse-lab / toychain
  A minimalistic blockchain consensus implemented and verified in Coq
  ☆113Updated 5 years ago
• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆47Updated 2 weeks ago