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
• rlite / rlite
  A light RINA implementation. Documentation is available in REAME.md (see below).
  ☆51Updated last year
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 5 years ago
• haskell-cryptography / cacophony
  A Haskell library implementing the Noise protocol.
  ☆99Updated 4 months ago
• edwinb / Protocols
  A DSL for describing and implementing communication protocols
  ☆83Updated 10 years ago
• meiersi / scyther-proof
  A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
  ☆16Updated 9 years ago
• project-everest / mitls-fstar
  Verified implementation of TLS 1.3 in F*
  ☆177Updated 3 months ago
• techhazard / nixos-iso
  Build a custom nixos installation iso from any os with the help of vagrant
  ☆15Updated 3 years ago
• NixOS / security
  ☆30Updated 8 years ago
• avsm / melange
  Fast, statically type-safe OCaml network applications (e.g. DNS/SSH)
  ☆56Updated 9 years ago
• GaloisInc / tower
  A concurrency framework for the Ivory language
  ☆43Updated 5 years ago
• np / ling
  LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
  ☆107Updated 2 years ago
• SimonJF / IdrisNet2
  A proper network library for Idris, now that I know what I'm doing.
  ☆58Updated 8 years ago
• buildsome / buildsome
  Buildsome: The awesome build system
  ☆53Updated 2 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
• Ericson2314 / lighthouse
  Haskell User's Operating System and Environment -- with Lightweight Concurrency. (I, Ericson2314 did not write this at all)
  ☆29Updated 11 years ago
• urweb / upo
  The Ur/Web People Organizer
  ☆30Updated last year
• fpiot / arduino-ats
  ATS programing on Arduino
  ☆57Updated 9 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆52Updated 6 years ago
• githwxi / ATS-Postiats-contrib
  ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
  ☆48Updated 4 years ago
• fizruk / lxc
  High level Haskell bindings to LXC (Linux containers).
  ☆47Updated 9 years ago
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆30Updated 5 years ago
• jonleivent / mindless-coding
  Mindless, verified (erasably) coding using dependent types
  ☆104Updated 9 years ago
• parapluu / encore
  The Encore compiler.
  ☆44Updated 5 years ago
• triton / triton
  Triton Operating System
  ☆67Updated 2 years ago
• patrickdoc / hash-graph
  A hashing-based graph implementation in Haskell
  ☆33Updated 6 years ago
• nponeccop / HNC
  HN Compiler
  ☆62Updated 6 years ago
• NuxiNL / cloudabi-ports
  Packages for CloudABI
  ☆21Updated 4 years ago
• jacobstanley / idris-vba
  Visual Basic for Applications (VBA) backend for Idris
  ☆24Updated 8 years ago
• deech / ATSPresentation
  ☆21Updated 9 years ago