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
  ☆73Updated last year
• rlite / rlite
  A light RINA implementation. Documentation is available in REAME.md (see below).
  ☆46Updated last year
• ProtoRINA / users
  ☆16Updated 11 years ago
• project-everest / mitls-fstar
  Verified implementation of TLS 1.3 in F*
  ☆176Updated 7 months ago
• haskell-cryptography / cacophony
  A Haskell library implementing the Noise protocol.
  ☆97Updated last week
• rems-project / netsem
  Network Semantics
  ☆86Updated 6 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 2 years ago
• mitls / mitls-flex
  TLS implemented in f7
  ☆43Updated 8 years ago
• NixIPFS / nixipfs-scripts
  Mirror a Hydra jobset using IPFS or plain rsync
  ☆43Updated 7 years ago
• GaloisInc / ICryptol
  IPython-style interaction for Cryptol
  ☆15Updated 8 years ago
• meiersi / scyther-proof
  A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
  ☆15Updated 9 years ago
• vmware-archive / nerpa
  Network Programming with Relational and Procedural Abstractions (NERPA)
  ☆32Updated last year
• monte-language / typhon
  A virtual machine for Monte.
  ☆66Updated 9 months ago
• 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 8 years ago
• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆47Updated this week
• NuxiNL / cloudabi-ports
  Packages for CloudABI
  ☆22Updated 4 years ago
• NixOS / security
  ☆30Updated 7 years ago
• frenetic-lang / frenetic
  The Frenetic Programming Language and Runtime System
  ☆224Updated last year
• GaloisInc / saw-core
  The SAW core language.
  ☆54Updated 3 years ago
• mirage / mirage-qubes
  Mirage support for writing QubesOS AppVM unikernels
  ☆63Updated 4 months ago
• tls13tamarin / TLS13Tamarin
  This is a Tamarin model of TLS 1.3
  ☆31Updated last year
• NixIPFS / notes
  ideas and planning on how to use IPFS together with Nix/OS
  ☆17Updated 7 years ago
• vzaliva / helix
  Formally verified operator language and rewriting engine for high-performance computing
  ☆24Updated 7 months ago
• squirrel-prover / squirrel-prover
  The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.
  ☆52Updated 4 months ago
• felixlinker / tamarin-workshop
  A 2-4h workshop on the Tamarin protocol verifier.
  ☆12Updated 4 months ago
• urweb / upo
  The Ur/Web People Organizer
  ☆29Updated 8 months ago
• ietf-tapswg / api-drafts
  Architecture, interface, and implementation drafts for the definition of an abstract API for IETF TAPS
  ☆24Updated 10 months ago
• vigor-nf / vigor
  Main repository of the Vigor NF verification project.
  ☆47Updated 3 years ago
• robbertkrebbers / ch2o
  ☆88Updated 2 years ago
• google / capsicum-test
  Test suite for Capsicum
  ☆46Updated 3 months ago