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
  ☆73Updated last year
• githwxi / ATS-Postiats-contrib
  ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
  ☆48Updated 4 years ago
• haskell-cryptography / cacophony
  A Haskell library implementing the Noise protocol.
  ☆97Updated last week
• tomahawkins / improve
  An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…
  ☆57Updated 13 years ago
• buildsome / buildsome
  Buildsome: The awesome build system
  ☆53Updated 2 years ago
• mirage / ocaml-9p
  An OCaml/Mirage-friendly implementation of the 9P protocol
  ☆64Updated 2 years ago
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆30Updated 5 years ago
• avsm / melange
  Fast, statically type-safe OCaml network applications (e.g. DNS/SSH)
  ☆56Updated 9 years ago
• fpiot / arduino-ats
  ATS programing on Arduino
  ☆57Updated 9 years ago
• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆47Updated this week
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 8 years ago
• FStarLang / fstar-layer
  Spacemacs layer for fstar (wrapper for fstar-mode.el)
  ☆11Updated 4 years ago
• GaloisInc / saw-core
  The SAW core language.
  ☆54Updated 3 years ago
• TokTok / hs-toxcore
  Haskell Tox protocol implementation
  ☆41Updated this week
• deech / ATSPresentation
  ☆21Updated 9 years ago
• gian / urtutorial
  A Tutorial for Ur/Web
  ☆30Updated 9 years ago
• jeapostrophe / zeromq
  FFI to zeromq
  ☆12Updated 2 months ago
• ericfinster / orchard
  Orchard Opetopic Proof Assistant
  ☆27Updated 8 years ago
• odipar / spread
  SPREAD
  ☆19Updated 3 years ago
• GaloisInc / HaNS
  The haskell network stack
  ☆115Updated 7 years ago
• NixIPFS / nixipfs-scripts
  Mirror a Hydra jobset using IPFS or plain rsync
  ☆43Updated 7 years ago
• jonleivent / mindless-coding
  Mindless, verified (erasably) coding using dependent types
  ☆104Updated 9 years ago
• dmatveev / libinotify-kqueue
  NetBSD Google Summer of Code 2011 project (#2)
  ☆35Updated 6 years ago
• GaloisInc / tower
  A concurrency framework for the Ivory language
  ☆43Updated 5 years ago
• purcell / darcs-to-git
  Convert/mirror darcs repos into git repos
  ☆97Updated 2 months ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆108Updated 7 years ago
• kyagrd / tiper
  Type Inference Prototyping Engine from Relational specifications of type systems
  ☆11Updated 4 years ago
• cransom / surface-pro-3-nixos
  basics to get nixos running on a surface pro 3
  ☆16Updated 5 years ago
• project-everest / mitls-fstar
  Verified implementation of TLS 1.3 in F*
  ☆176Updated 7 months ago