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
  ☆78Updated 2 years ago
• rlite / rlite
  A light RINA implementation. Documentation is available in REAME.md (see below).
  ☆56Updated 2 years ago
• ProtoRINA / users
  ☆16Updated 12 years ago
• project-everest / mitls-fstar
  Verified implementation of TLS 1.3 in F*
  ☆179Updated 11 months ago
• meiersi / scyther-proof
  A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
  ☆18Updated 10 years ago
• project-everest / everest
  ☆205Updated 3 months ago
• vzaliva / helix
  Formally verified operator language and rewriting engine for high-performance computing
  ☆30Updated last year
• 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…
  ☆103Updated 2 weeks ago
• haskell-cryptography / cacophony
  A Haskell library implementing the Noise protocol.
  ☆104Updated last year
• NixIPFS / nixipfs-scripts
  Mirror a Hydra jobset using IPFS or plain rsync
  ☆44Updated 8 years ago
• mitls / mitls-flex
  TLS implemented in f7
  ☆44Updated 9 years ago
• mlswg / mls-architecture
  MLS architecture
  ☆75Updated 10 months ago
• verse-lab / toychain
  A minimalistic blockchain consensus implemented and verified in Coq
  ☆114Updated 5 years ago
• NuxiNL / cloudabi-ports
  Packages for CloudABI
  ☆22Updated 5 years ago
• mit-plv / bedrock
  Coq library for verified low-level programming
  ☆61Updated 8 years ago
• rod-chapman / SPARKNaCl
  SPARK 2014 re-implementation of the TweetNaCl crypto library
  ☆128Updated 10 months ago
• runtimeverification / wasm-semantics
  A Formal Semantics of WebAssembly in K
  ☆85Updated last week
• google / capsicum-linux
  Linux kernel with Capsicum support
  ☆211Updated 5 years ago
• hexhex / core
  DLVHEX solver: core system and plugin API
  ☆25Updated 6 years ago
• kframework / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆46Updated 7 years ago
• rems-project / lem
  Lem semantic definition language
  ☆150Updated 10 months ago
• project-everest / vale
  Verified Assembly Language for Everest
  ☆304Updated last year
• buildsome / buildsome
  Buildsome: The awesome build system
  ☆54Updated 3 years ago
• NuxiNL / argdata
  A binary serialisation format inspired by YAML, MessagePack and nvlists.
  ☆33Updated 5 years ago
• kframework / k-legacy
  The K tools (deprecated, see README)
  ☆147Updated 7 years ago
• seL4 / rumprun-sel4-demoapps
  Apps for running with the rumprun unikernel on seL4.
  ☆33Updated last week
• mmjb / T2
  T2 Temporal Prover
  ☆96Updated 7 years ago
• andrewcmyers / civs
  Condorcet Internet Voting System
  ☆97Updated 7 months ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆29Updated 7 years ago
• DistributedComponents / disel
  Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
  ☆100Updated last year