Alternatives and similar repositories for users

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

• kvetak / RINA
  RINA Simulator
  ☆30Updated 5 years ago
• haskell-cryptography / cacophony
  A Haskell library implementing the Noise protocol.
  ☆104Updated last year
• rlite / rlite
  A light RINA implementation. Documentation is available in REAME.md (see below).
  ☆56Updated 2 years ago
• edwinb / Protocols
  A DSL for describing and implementing communication protocols
  ☆84Updated 11 years ago
• np / ling
  LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
  ☆108Updated 2 years ago
• TokTok / hs-toxcore
  Haskell Tox protocol implementation
  ☆42Updated last week
• buildsome / buildsome
  Buildsome: The awesome build system
  ☆54Updated 3 years ago
• fpiot / arduino-ats
  ATS programing on Arduino
  ☆57Updated 10 years ago
• kliment / explicitcad
  A graphical user interface for implicitcad
  ☆25Updated 5 years ago
• Ericson2314 / lighthouse
  Haskell User's Operating System and Environment -- with Lightweight Concurrency. (I, Ericson2314 did not write this at all)
  ☆32Updated 12 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 6 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
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆31Updated 6 years ago
• GaloisInc / tower
  A concurrency framework for the Ivory language
  ☆45Updated 6 years ago
• deech / ATSPresentation
  ☆21Updated 10 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• urv / fixhs
  FIX (co)parser in haskell
  ☆52Updated 12 years ago
• jkff / timeplot
  Analyst's swiss army knife for visualizing data from ad-hoc log files
  ☆81Updated 10 months ago
• puffnfresh / atsboot
  A tiny 32 bit kernel written in ATS
  ☆26Updated 11 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆110Updated 8 years ago
• project-everest / mitls-fstar
  Verified implementation of TLS 1.3 in F*
  ☆179Updated 11 months ago
• bazqux / bazqux-urweb
  Ur/Web part of BazQux Reader sources
  ☆84Updated 4 years ago
• jkff / splot
  Visualizing the activity of many concurrent processes
  ☆59Updated 5 years ago
• tomahawkins / atom
  A DSL for embedded hard realtime applications.
  ☆275Updated 8 years ago
• froozen / kademlia
  A haskell library implementing the Kademlia DHT
  ☆43Updated 7 years ago
• Gabriella439 / Haskell-Annah-Library
  Distributed programming language that desugars to Morte
  ☆92Updated 3 years ago
• mythryl / mythryl
  The Mythryl programming language
  ☆116Updated 10 years ago
• archhaskell / cblrepo
  Tool to simplify managing a consistent set of Haskell packages for distributions.
  ☆39Updated 7 years ago
• tomahawkins / mecha
  A solid modeling language in Haskell.
  ☆29Updated 13 years ago
• enkiv2 / mycroft
  A prolog-like language with compound truth value logic
  ☆70Updated 7 years ago