Alternatives and similar repositories for HaNS

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

• GaloisInc / halfs

  View on GitHub
  The Haskell File System: A file system implementation in Haskell
  ☆38May 9, 2015Updated 10 years ago
• GaloisInc / HaLVM

  View on GitHub
  The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
  ☆1,066Dec 6, 2018Updated 7 years ago
• well-typed / basic-sop

  View on GitHub
  Basic examples and functions for generics-sop
  ☆19Nov 8, 2023Updated 2 years ago
• taktoa / ghcjs-electron

  View on GitHub
  GHCJS FFI bindings to the Electron API (WIP).
  ☆10May 21, 2017Updated 8 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
• adnelson / nix-binary-cache

  View on GitHub
  Haskell implementation of a nix binary cache and client.
  ☆13Jan 4, 2018Updated 8 years ago
• GaloisInc / gidl

  View on GitHub
  Gidl: an Interface Description Language
  ☆10Aug 11, 2017Updated 8 years ago
• GaloisInc / cryfsm

  View on GitHub
  convert simple cryptol expressions into finite-state machines
  ☆22Sep 15, 2017Updated 8 years ago
• ku-fpg / sunroof-compiler

  View on GitHub
  Monadic Javascript Compiler
  ☆73May 21, 2016Updated 9 years ago
• tek / helic

  View on GitHub
  Clipboard synchronization tool
  ☆12Jan 30, 2026Updated 2 weeks ago
• hsyl20 / ghc-studio

  View on GitHub
  Web frontend for GHC
  ☆12Dec 10, 2019Updated 6 years ago
• conal / total-map

  View on GitHub
  Finitely represented /total/ maps
  ☆17Nov 23, 2019Updated 6 years ago
• limeburst / cadet

  View on GitHub
  Keyboard controller written in Ivory
  ☆10Mar 3, 2017Updated 8 years ago
• mkloczko / derive-storable-plugin

  View on GitHub
  ☆11May 7, 2023Updated 2 years ago
• GaloisInc / haskell-tor

  View on GitHub
  A Haskell implementation of the Tor protocol.
  ☆274Nov 3, 2017Updated 8 years ago
• kazu-yamamoto / iproute

  View on GitHub
  IP Routing Table in Haskell
  ☆46Dec 29, 2025Updated last month
• Vlix / safe-json

  View on GitHub
  Automatic versioning of JSON formats for Haskell data types (with backwards compatibility)
  ☆32Jan 11, 2026Updated last month
• basvandijk / monad-batcher

  View on GitHub
  An applicative monad that batches commands for later more efficient execution
  ☆28Jan 21, 2018Updated 8 years ago
• cocreature / lrucaching

  View on GitHub
  Haskell implementation of an LRU cache
  ☆25Dec 29, 2025Updated last month
• yav / simple-smt

  View on GitHub
  ☆22Oct 20, 2025Updated 3 months ago
• lambda-llama / bitset

  View on GitHub
  A compact functional set data structure
  ☆18Jun 1, 2021Updated 4 years ago
• glguy / ssh-hans

  View on GitHub
  ☆12Apr 3, 2020Updated 5 years ago
• lemmih / fvg

  View on GitHub
  Functional Vector Graphics
  ☆17Jun 19, 2017Updated 8 years ago
• nikita-volkov / list-t

  View on GitHub
  ListT done right
  ☆15Oct 11, 2023Updated 2 years ago
• pjones / playlists

  View on GitHub
  Library and executable for working with playlist files.
  ☆13Dec 15, 2025Updated 2 months ago
• travitch / haggle

  View on GitHub
  An efficient graph library for Haskell
  ☆41Aug 26, 2025Updated 5 months ago
• dhess / hpio

  View on GitHub
  Perform GPIO from Haskell
  ☆21Aug 28, 2019Updated 6 years ago
• patrickt / empathy

  View on GitHub
  a modern library for typed path manipulation in Haskell
  ☆36Jul 24, 2025Updated 6 months ago
• GaloisInc / dismantle

  View on GitHub
  A library of assemblers and disassemblers derived from LLVM TableGen data
  ☆26Aug 12, 2025Updated 6 months ago
• cleverca22 / cachecache

  View on GitHub
  ☆21Apr 14, 2023Updated 2 years ago
• mpickering / hs-speedscope

  View on GitHub
  ☆37Jan 6, 2026Updated last month
• GaloisInc / tower

  View on GitHub
  A concurrency framework for the Ivory language
  ☆45Oct 7, 2019Updated 6 years ago
• kowainik / membrain

  View on GitHub
  🧠 Type-safe memory units
  ☆61Nov 6, 2020Updated 5 years ago
• co-log / co-log-core

  View on GitHub
  🌽 Core types and functions that power the Haskell `co-log` implementation
  ☆18Jan 5, 2026Updated last month
• GaloisInc / hexdump

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

  View on GitHub
  A DSL for generating GR(1) problems
  ☆12Jul 27, 2021Updated 4 years ago
• schell / varying

  View on GitHub
  Continuously varying values, made easy :)
  ☆42Oct 21, 2019Updated 6 years ago
• bgamari / monoidal-containers

  View on GitHub
  Maps using values' monoidal structure during merging
  ☆42Jan 28, 2026Updated 2 weeks ago
• leepike / Copilot

  View on GitHub
  A (Haskell DSL) stream language for generating hard real-time C code.
  ☆152Mar 30, 2019Updated 6 years ago