Alternatives and similar repositories for users

Users that are interested in users are comparing it to the libraries listed below

• kvetak / RINA
  RINA Simulator
  ☆29Updated 4 years ago
• 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
• haskell-cryptography / cacophony
  A Haskell library implementing the Noise protocol.
  ☆100Updated 7 months ago
• githwxi / ATS-Postiats-contrib
  ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
  ☆49Updated 5 years ago
• edwinb / Protocols
  A DSL for describing and implementing communication protocols
  ☆83Updated 10 years ago
• NuxiNL / argdata
  A binary serialisation format inspired by YAML, MessagePack and nvlists.
  ☆32Updated 4 years ago
• TokTok / hs-toxcore
  Haskell Tox protocol implementation
  ☆42Updated 4 months ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• deech / ATSPresentation
  ☆21Updated 10 years ago
• np / ling
  LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
  ☆107Updated 2 years ago
• jonleivent / mindless-coding
  Mindless, verified (erasably) coding using dependent types
  ☆105Updated 9 years ago
• stokito / fortress-lang
  ☆57Updated 8 years ago
• GaloisInc / tower
  A concurrency framework for the Ivory language
  ☆44Updated 5 years ago
• enkiv2 / mycroft
  A prolog-like language with compound truth value logic
  ☆68Updated 7 years ago
• mirage / ocaml-9p
  An OCaml/Mirage-friendly implementation of the 9P protocol
  ☆67Updated last month
• GaloisInc / HaNS
  The haskell network stack
  ☆115Updated 7 years ago
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆96Updated 10 years ago
• GaloisInc / salty
  A DSL for generating GR(1) problems
  ☆11Updated 4 years ago
• fpiot / arduino-ats
  ATS programing on Arduino
  ☆57Updated 9 years ago
• GaloisInc / ICryptol
  IPython-style interaction for Cryptol
  ☆15Updated 8 years ago
• kliment / explicitcad
  A graphical user interface for implicitcad
  ☆25Updated 4 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• andyarvanitis / idris-cplusplus
  Experimental C++11 backend for Idris
  ☆14Updated 10 years ago
• bordaigorl / stargazer
  A simulator for visualising the evolution of π-calculus terms
  ☆42Updated 3 years ago
• jkff / timeplot
  Analyst's swiss army knife for visualizing data from ad-hoc log files
  ☆81Updated 4 months ago
• dmbarbour / awelon
  Awelon project is a new UI model with a new language.
  ☆107Updated 9 years ago
• NixOS / security
  ☆29Updated 8 years ago
• abooij / haskell-wayland
  DEPRECATED Haskell bindings for the Wayland library
  ☆32Updated 9 years ago
• tomahawkins / improve
  An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…
  ☆57Updated 13 years ago