Alternatives and similar repositories for kansas-lava

Users that are interested in kansas-lava are comparing it to the libraries listed below

• haskell / entropy

  View on GitHub
  Easy entropy source for Haskell users.
  ☆28Feb 8, 2026Updated last week
• gergoerdi / mos6502-kansas-lava

  View on GitHub
  Kansas Lava implementation of MOS 6502 microprocessor
  ☆16Sep 19, 2018Updated 7 years ago
• MichelBoucey / cayley-client

  View on GitHub
  A Haskell client library for Cayley database graph
  ☆14Jan 6, 2026Updated last month
• mikeizbicki / simd

  View on GitHub
  simple interface to ghc's simd vector support
  ☆23Jun 25, 2015Updated 10 years ago
• rsnikhil / Bluespec_BSV_Formal_Semantics

  View on GitHub
  Formal semantics of BSV (Bluespec SystemVerilog), given as a Haskell Program and accompanying document
  ☆18Jul 17, 2016Updated 9 years ago
• ekmett / rounded

  View on GitHub
  MPFR bindings for Haskell
  ☆34Oct 2, 2023Updated 2 years ago
• WillSewell / pusher-http-haskell

  View on GitHub
  Pusher Channels Haskell HTTP Library
  ☆28Aug 9, 2025Updated 6 months ago
• tomahawkins / verilog

  View on GitHub
  A Verilog parser for Haskell.
  ☆36Jul 6, 2021Updated 4 years ago
• nebuta / d3js-haskell

  View on GitHub
  Haskell to D3.js binding by deep EDSL approach.
  ☆23Sep 20, 2014Updated 11 years ago
• Bodigrim / fast-digits

  View on GitHub
  Split integers into digits, blazingly fast
  ☆14Dec 28, 2025Updated last month
• joelburget / easytest

  View on GitHub
  Simple testing toolkit
  ☆10May 28, 2021Updated 4 years ago
• harendra-kumar / monad-recorder

  View on GitHub
  Record and play the results of monadic actions
  ☆13Mar 18, 2018Updated 7 years ago
• acowley / vinyl-gl

  View on GitHub
  Utilities for working with OpenGL's GLSL shading language and vinyl records.
  ☆30Sep 11, 2018Updated 7 years ago
• gerard / uforth

  View on GitHub
  A Forth interpreter in ARM assembly
  ☆16May 11, 2009Updated 16 years ago
• lspitzner / iridium

  View on GitHub
  Automated Testing and Package Uploading
  ☆12Oct 3, 2018Updated 7 years ago
• expipiplus1 / clash-wavedrom

  View on GitHub
  ☆17Jan 6, 2024Updated 2 years ago
• pheaver / netlist-verilog

  View on GitHub
  Netlist and Verilog Haskell Package
  ☆18Nov 21, 2010Updated 15 years ago
• lkuper / lvar-examples

  View on GitHub
  Programming with LVars, by example
  ☆36Jul 20, 2015Updated 10 years ago
• blarney-lang / blarney

  View on GitHub
  Haskell library for hardware description
  ☆106Aug 18, 2025Updated 5 months ago
• sordina / Haskell-Techniques

  View on GitHub
  A collection of techniques used in Haskell that are worth remembering.
  ☆17Aug 30, 2010Updated 15 years ago
• adamwalker / clash-riscv

  View on GitHub
  A RiscV processor implementing the RV32I instruction set written in Clash
  ☆56Apr 11, 2018Updated 7 years ago
• freckle / stackctl

  View on GitHub
  Manage CloudFormation Stacks through specifications
  ☆13Dec 15, 2025Updated 2 months ago
• micahcantor / comp-to-assembly-from-scratch-hs

  View on GitHub
  A toy JS to ARM assembly compiler, in Haskell
  ☆17May 30, 2022Updated 3 years ago
• fosskers / microlens-aeson

  View on GitHub
  Lenses and Traversals for Aeson, based on Microlens.
  ☆15Dec 12, 2025Updated 2 months ago
• amosr / limp

  View on GitHub
  ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming
  ☆16Nov 12, 2018Updated 7 years ago
• lthms / chain

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

  View on GitHub
  An efficient graph library for Haskell
  ☆41Aug 26, 2025Updated 5 months ago
• dorchard / type-level-sets

  View on GitHub
  Type-level sets for Haskell (with value-level counterparts and various operations)
  ☆66Oct 21, 2025Updated 3 months ago
• Soostone / cassy

  View on GitHub
  High level Cassandra bindings for Haskell
  ☆45Mar 23, 2016Updated 9 years ago
• litex-hub / litehyperbus

  View on GitHub
  Small footprint and configurable HyperBus core
  ☆14Jul 6, 2022Updated 3 years ago
• fosskers / streaming-osm

  View on GitHub
  A hand-written streaming byte parser for OpenStreetMap Protobuf data.
  ☆12Dec 8, 2021Updated 4 years ago
• jsermeno / amby

  View on GitHub
  Statistical data visualization
  ☆11Nov 26, 2016Updated 9 years ago
• nikita-volkov / deque

  View on GitHub
  Double-ended queues
  ☆14Feb 3, 2025Updated last year
• David-Durst / aetherling

  View on GitHub
  Create auto-scheduled data-parallel pipelines in hardware with user-friendly Python
  ☆13Mar 29, 2021Updated 4 years ago
• oherrala / haskell-stun

  View on GitHub
  Haskell STUN (Session Traversal Utilities for NAT) implementation
  ☆14Dec 19, 2021Updated 4 years ago
• jakubfijalkowski / haskell-and-cpp

  View on GitHub
  Example on how to integrate Haskell and C++ library.
  ☆13Apr 18, 2015Updated 10 years ago
• FailWhaleBrigade / water-wars

  View on GitHub
  Game in Haskell
  ☆14Jul 12, 2024Updated last year
• haskell-distributed / distributed-process-demos

  View on GitHub
  Cloud Haskell Demonstration
  ☆18Sep 5, 2015Updated 10 years ago
• AccelerateHS / accelerate-examples

  View on GitHub
  Examples for the Accelerate language
  ☆70Aug 28, 2020Updated 5 years ago