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
• triton / triton
  Triton Operating System
  ☆67Updated 3 years ago
• haskell-cryptography / cacophony
  A Haskell library implementing the Noise protocol.
  ☆104Updated last year
• TokTok / hs-toxcore
  Haskell Tox protocol implementation
  ☆42Updated 2 weeks 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
• np / ling
  LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
  ☆108Updated 2 years ago
• edwinb / Protocols
  A DSL for describing and implementing communication protocols
  ☆84Updated 11 years ago
• abooij / haskell-wayland
  DEPRECATED Haskell bindings for the Wayland library
  ☆32Updated 10 years ago
• zalora / deployix
  zalora nix expressions library
  ☆18Updated 10 years ago
• kliment / explicitcad
  A graphical user interface for implicitcad
  ☆25Updated 5 years ago
• cleverca22 / fusenar
  A program that mounts a NAR (Nix Archive) archive as a filesystem using FUSE. This repo is written in C++; it has now been rewritten in H…
  ☆23Updated 9 years ago
• techhazard / nixos-iso
  Build a custom nixos installation iso from any os with the help of vagrant
  ☆16Updated 4 years ago
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆31Updated 6 years ago
• NixIPFS / nixipfs-scripts
  Mirror a Hydra jobset using IPFS or plain rsync
  ☆44Updated 8 years ago
• fpiot / arduino-ats
  ATS programing on Arduino
  ☆57Updated 10 years ago
• GaloisInc / tower
  A concurrency framework for the Ivory language
  ☆45Updated 6 years ago
• bazqux / bazqux-urweb
  Ur/Web part of BazQux Reader sources
  ☆84Updated 4 years ago
• NixOS / security
  ☆28Updated 8 years ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 9 years ago
• Gabriella439 / Haskell-Annah-Library
  Distributed programming language that desugars to Morte
  ☆92Updated 3 years ago
• dmbarbour / awelon
  Awelon project is a new UI model with a new language.
  ☆106Updated 10 years ago
• NixIPFS / notes
  ideas and planning on how to use IPFS together with Nix/OS
  ☆17Updated 9 years ago
• buildsome / buildsome
  Buildsome: The awesome build system
  ☆54Updated 3 years ago
• IRATI / stack
  RINA implementation for OS/Linux
  ☆78Updated 2 years ago
• jameysharp / autobake
  Create build recipes through automated trial and error
  ☆52Updated 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
• snabblab / snabblab-nixos
  NixOS configuration for the Snabb Lab
  ☆59Updated last year
• jonleivent / mindless-coding
  Mindless, verified (erasably) coding using dependent types
  ☆104Updated 10 years ago
• NuxiNL / argdata
  A binary serialisation format inspired by YAML, MessagePack and nvlists.
  ☆33Updated 5 years ago
• fmthoma / ascii-art-to-unicode
  Small program to convert ASCII box art to Unicode box drawings.
  ☆60Updated 8 years ago