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).
  ☆52Updated 2 years ago
• ProtoRINA / users
  ☆16Updated 11 years ago
• meiersi / scyther-proof
  A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
  ☆17Updated 10 years ago
• haskell-cryptography / cacophony
  A Haskell library implementing the Noise protocol.
  ☆100Updated 9 months ago
• project-everest / everest
  ☆202Updated this week
• project-everest / mitls-fstar
  Verified implementation of TLS 1.3 in F*
  ☆177Updated 8 months ago
• au-ts / cogent
  Cogent Project
  ☆169Updated 6 months ago
• gstew5 / snarkl
  ☆59Updated 3 years ago
• google / capsicum-linux
  Linux kernel with Capsicum support
  ☆209Updated 5 years ago
• mit-plv / bedrock
  Coq library for verified low-level programming
  ☆60Updated 8 years ago
• rod-chapman / SPARKNaCl
  SPARK 2014 re-implementation of the TweetNaCl crypto library
  ☆122Updated 6 months ago
• vzaliva / helix
  Formally verified operator language and rewriting engine for high-performance computing
  ☆29Updated last year
• NixIPFS / nixipfs-scripts
  Mirror a Hydra jobset using IPFS or plain rsync
  ☆44Updated 7 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…
  ☆96Updated 3 weeks ago
• verse-lab / toychain
  A minimalistic blockchain consensus implemented and verified in Coq
  ☆113Updated 5 years ago
• noether-lang / noether
  Noether programming language
  ☆127Updated 8 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 8 years ago
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆123Updated 3 years ago
• GaloisInc / saw-core
  The SAW core language.
  ☆54Updated 4 years ago
• NuxiNL / argdata
  A binary serialisation format inspired by YAML, MessagePack and nvlists.
  ☆32Updated 5 years ago
• project-everest / vale
  Verified Assembly Language for Everest
  ☆295Updated last year
• wyager / CPU
  CPU Building Tutorial
  ☆51Updated 8 years ago
• mAarnos / Serkr
  An automated theorem prover for first order logic.
  ☆30Updated 8 years ago
• kadena-io / masala
  Standalone Ethereum Virtual Machine
  ☆52Updated 3 years ago
• GaloisInc / saw-script
  The SAW scripting language.
  ☆478Updated this week
• 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 9 years ago
• sdiehl / elliptic-curve
  A polymorphic interface for elliptic curve operations
  ☆42Updated 2 years ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago