Alternatives and similar repositories for distributed-process-zookeeper

Users that are interested in distributed-process-zookeeper are comparing it to the libraries listed below

• haskell-distributed / distributed-process-supervisor

  View on GitHub
  Cloud Haskell Supervision Trees
  ☆11Sep 3, 2024Updated last year
• tweag / network-transport-zeromq

  View on GitHub
  ZeroMQ transport for distributed-process (aka Cloud Haskell)
  ☆23Jun 7, 2016Updated 9 years ago
• emc2 / clash-riscv

  View on GitHub
  A library of components for RISC-V implementations in Haskell CLaSH
  ☆13Mar 24, 2017Updated 8 years ago
• pepeiborra / term

  View on GitHub
  Term Rewriting Systems
  ☆17Nov 7, 2015Updated 10 years ago
• eugmes / imp

  View on GitHub
  Compiler for IMP programming language implemented in Haskell
  ☆16Jun 16, 2020Updated 5 years ago
• def- / ghc-datasize

  View on GitHub
  ghc-datasize is a tool to determine the size of Haskell data structures in GHC's memory
  ☆17Aug 22, 2024Updated last year
• yobson / jhc-components

  View on GitHub
  JHC Haskell compiler split into reusable components
  ☆18Jan 10, 2026Updated last month
• crypto-agda / crypto-agda

  View on GitHub
  Cryptographic Constructions in the Type Theory of Agda
  ☆52Aug 8, 2015Updated 10 years ago
• drdo / logic-translation

  View on GitHub
  Translation from FOL to LTL+Past and LTL, via separation of LTL+Past
  ☆10May 22, 2024Updated last year
• gelisam / linear-examples

  View on GitHub
  Example uses of linear types
  ☆42Jun 25, 2020Updated 5 years ago
• GaloisInc / alex-tools

  View on GitHub
  A Haskell library making it easier to write Alex lexers.
  ☆12Sep 15, 2025Updated 4 months ago
• psibi / sysinfo

  View on GitHub
  Haskell Interface for getting overall system statistics
  ☆16Feb 8, 2019Updated 7 years ago
• GaloisInc / LIMA

  View on GitHub
  LIMA: Language for Integrated Modeling and Analysis
  ☆12Sep 8, 2018Updated 7 years ago
• hsyl20 / ghc-studio

  View on GitHub
  Web frontend for GHC
  ☆12Dec 10, 2019Updated 6 years ago
• DanielG / rts-loader

  View on GitHub
  Haskell dynamic RTS loader
  ☆13Jun 24, 2016Updated 9 years ago
• DianaPajon / tiger

  View on GitHub
  A Haskell implementation of the tiger compiler
  ☆10May 2, 2020Updated 5 years ago
• kseo / poly

  View on GitHub
  A simple ML dialect
  ☆11Jan 2, 2017Updated 9 years ago
• barrucadu / minifu

  View on GitHub
  A tutorial on writing a concurrency testing tool in Haskell
  ☆12Nov 5, 2017Updated 8 years ago
• davidsd / hyperion

  View on GitHub
  A Haskell framework for running concurrent computations on an HPC cluster.
  ☆13Oct 10, 2025Updated 4 months ago
• freckle / closed

  View on GitHub
  Integers bounded by a closed interval
  ☆14Dec 15, 2025Updated last month
• gergoerdi / hm-compo

  View on GitHub
  Compositional type checking for a Hindley-Milner type system
  ☆11Mar 28, 2017Updated 8 years ago
• lthms / chain

  View on GitHub
  Extensible, Type Safe Error Handling in Haskell
  ☆13Dec 22, 2020Updated 5 years ago
• mbudde / jana

  View on GitHub
  An interpreter for Janus, the reversible programming language.
  ☆14Jun 7, 2020Updated 5 years ago
• alexbiehl / ignite

  View on GitHub
  Typesafe Off-Heap data structures for GHC Haskell
  ☆14Nov 10, 2017Updated 8 years ago
• GaloisInc / hexdump

  View on GitHub
  A human readable style for binary data.
  ☆12Dec 4, 2019Updated 6 years ago
• thoughtpolice / claap

  View on GitHub
  "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)
  ☆13Mar 31, 2017Updated 8 years ago
• ezyang / deepseq-magic

  View on GitHub
  Deep evaluation of data structures without NFData
  ☆10Jan 20, 2015Updated 11 years ago
• jwiegley / haskell-to-c

  View on GitHub
  Sample code to build a C library from a Haskell module, then call it from C
  ☆16Jun 22, 2017Updated 8 years ago
• paf31 / partial

  View on GitHub
  A nullary type class for partial functions
  ☆15Nov 28, 2017Updated 8 years ago
• jship / tao

  View on GitHub
  Type-level assertion operators
  ☆16Mar 20, 2018Updated 7 years ago
• csabahruska / jhc-grin

  View on GitHub
  GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)
  ☆16Dec 13, 2018Updated 7 years ago
• LeastAuthority / haskell-spake2

  View on GitHub
  SPAKE2 key exchange protocol for Haskell
  ☆14May 24, 2023Updated 2 years ago
• benjaminselfridge / propcheck

  View on GitHub
  Proof checker for propositional logic
  ☆16Jul 7, 2017Updated 8 years ago
• Neuromancer42 / ministgwasm

  View on GitHub
  A compiler from mini-STG to Wasm (**far from complete**)
  ☆14Jun 13, 2017Updated 8 years ago
• sheyll / newtype-zoo

  View on GitHub
  A Zoo of Haskell Newtype Wrappers
  ☆15Nov 30, 2020Updated 5 years ago
• msprotz / proof-search-monad

  View on GitHub
  Tentative write-up of a neat trick used in the Mezzo type-checker
  ☆15Nov 27, 2015Updated 10 years ago
• haskell-foundation / foundation-edge

  View on GitHub
  types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...
  ☆19Apr 25, 2017Updated 8 years ago
• dorchard / effectful-explanations-talk

  View on GitHub
  "Programs that explain their effects" talk material
  ☆17Jun 22, 2018Updated 7 years ago
• wereHamster / nauva

  View on GitHub
  ☆14Sep 24, 2017Updated 8 years ago