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
  ☆77Updated 2 years ago
• rlite / rlite
  A light RINA implementation. Documentation is available in REAME.md (see below).
  ☆55Updated 2 years ago
• ProtoRINA / users
  ☆16Updated 11 years ago
• haskell-cryptography / cacophony
  A Haskell library implementing the Noise protocol.
  ☆102Updated 10 months ago
• project-everest / everest
  ☆203Updated last month
• NuxiNL / cloudabi-ports
  Packages for CloudABI
  ☆22Updated 5 years ago
• mitls / mitls-flex
  TLS implemented in f7
  ☆43Updated 9 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆47Updated 8 years ago
• meiersi / scyther-proof
  A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
  ☆17Updated 10 years ago
• kadena-io / masala
  Standalone Ethereum Virtual Machine
  ☆52Updated 3 years ago
• project-everest / vale
  Verified Assembly Language for Everest
  ☆297Updated last year
• mlswg / mls-architecture
  MLS architecture
  ☆74Updated 8 months ago
• au-ts / cogent
  Cogent Project
  ☆172Updated 8 months 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…
  ☆101Updated 2 months ago
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆123Updated 3 years ago
• vzaliva / helix
  Formally verified operator language and rewriting engine for high-performance computing
  ☆30Updated last year
• Soonad / Whitepaper
  Moonad: a Peer-to-Peer Operating System
  ☆101Updated 5 years ago
• gstew5 / snarkl
  ☆59Updated 3 years ago
• kframework / k-legacy
  The K tools (deprecated, see README)
  ☆147Updated 7 years ago
• microsoft / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆233Updated 4 years ago
• buildsome / buildsome
  Buildsome: The awesome build system
  ☆54Updated 3 years ago
• noether-lang / noether
  Noether programming language
  ☆129Updated 8 years ago
• GaloisInc / e2eviv
  Artifacts associated with the U.S. Vote Foundation's E2E-VIV Project (end-to-end verifiable internet voting).
  ☆19Updated 7 years ago
• mit-plv / bedrock
  Coq library for verified low-level programming
  ☆60Updated 8 years ago
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• GaloisInc / ICryptol
  IPython-style interaction for Cryptol
  ☆15Updated 8 years ago
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆57Updated 11 years ago
• verse-lab / toychain
  A minimalistic blockchain consensus implemented and verified in Coq
  ☆114Updated 5 years ago
• GaloisInc / saw-core
  The SAW core language.
  ☆54Updated 4 years ago
• Agoric / SwingSet
  MOVED TO MONOREPO. prototype Vat host, modeled after KeyKOS Domains
  ☆18Updated 5 years ago