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 5 years ago
• edwinb / Protocols
  A DSL for describing and implementing communication protocols
  ☆83Updated 10 years ago
• haskell-cryptography / cacophony
  A Haskell library implementing the Noise protocol.
  ☆100Updated 8 months ago
• GaloisInc / tower
  A concurrency framework for the Ivory language
  ☆44Updated 5 years ago
• IRATI / stack
  RINA implementation for OS/Linux
  ☆77Updated last year
• fpiot / arduino-ats
  ATS programing on Arduino
  ☆57Updated 9 years ago
• buildsome / buildsome
  Buildsome: The awesome build system
  ☆54Updated 2 years ago
• np / ling
  LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
  ☆107Updated 2 years ago
• Ericson2314 / lighthouse
  Haskell User's Operating System and Environment -- with Lightweight Concurrency. (I, Ericson2314 did not write this at all)
  ☆30Updated 12 years ago
• rlite / rlite
  A light RINA implementation. Documentation is available in REAME.md (see below).
  ☆52Updated last year
• deech / ATSPresentation
  ☆21Updated 10 years ago
• tomahawkins / improve
  An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…
  ☆57Updated 14 years ago
• GaloisInc / ivory
  The Ivory EDSL
  ☆402Updated 5 years ago
• abooij / haskell-wayland
  DEPRECATED Haskell bindings for the Wayland library
  ☆32Updated 9 years ago
• GaloisInc / ICryptol
  IPython-style interaction for Cryptol
  ☆15Updated 8 years ago
• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆57Updated 7 years ago
• bazqux / bazqux-urweb
  Ur/Web part of BazQux Reader sources
  ☆84Updated 4 years ago
• jonleivent / mindless-coding
  Mindless, verified (erasably) coding using dependent types
  ☆105Updated 9 years ago
• Gabriella439 / Haskell-Annah-Library
  Distributed programming language that desugars to Morte
  ☆92Updated 3 years ago
• githwxi / ATS-Postiats-contrib
  ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
  ☆49Updated 5 years ago
• au-ts / cogent
  Cogent Project
  ☆169Updated 6 months ago
• andyarvanitis / idris-cplusplus
  Experimental C++11 backend for Idris
  ☆14Updated 10 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆52Updated 6 years ago
• GaloisInc / HaNS
  The haskell network stack
  ☆116Updated 7 years ago
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆30Updated 6 years ago
• triton / triton
  Triton Operating System
  ☆67Updated 3 years ago
• noether-lang / noether
  Noether programming language
  ☆127Updated 8 years ago
• nominolo / lambdachine
  VM and tracing JIT for Haskell (work in progress)
  ☆79Updated 10 years ago
• techhazard / nixos-iso
  Build a custom nixos installation iso from any os with the help of vagrant
  ☆15Updated 4 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago