Alternatives and similar repositories for clash-riscv

Users that are interested in clash-riscv 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
• 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
• jeremyjh / distributed-process-zookeeper

  View on GitHub
  A Zookeeper backend for Cloud Haskell.
  ☆13Sep 9, 2017Updated 8 years ago
• tuura / plato

  View on GitHub
  A DSL for asynchronous circuits specification
  ☆13Oct 1, 2020Updated 5 years ago
• wereHamster / nauva

  View on GitHub
  ☆14Sep 24, 2017Updated 8 years ago
• mikeizbicki / homoiconic

  View on GitHub
  Constructs FAlgebras from typeclasses, making Haskell functions homoiconic
  ☆18May 15, 2019Updated 6 years ago
• yav / simple-smt

  View on GitHub
  ☆22Oct 20, 2025Updated 3 months 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
• jwiegley / z3cat

  View on GitHub
  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  ☆38Jul 12, 2017Updated 8 years ago
• geisha-lang / Geisha

  View on GitHub
  A naive θ..θ programming language
  ☆27Oct 23, 2018Updated 7 years ago
• simonmar / toy-haxl

  View on GitHub
  A toy implementation of Haxl to illustrate the internals
  ☆22Jun 29, 2017Updated 8 years ago
• ndmitchell / hexml

  View on GitHub
  A bad XML parser
  ☆22Sep 2, 2024Updated last year
• tolysz / c-mosquitto

  View on GitHub
  Simple Amazon IoT compatible client
  ☆13Oct 24, 2019Updated 6 years ago
• Softsapiens / mini-complete-servant

  View on GitHub
  A mini but complete example of API construction with persistence plus authorisation features with servant framework.
  ☆11Jan 14, 2016Updated 10 years ago
• psibi / sysinfo

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

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

  View on GitHub
  A simple ML dialect
  ☆11Jan 2, 2017Updated 9 years ago
• hsyl20 / ghc-studio

  View on GitHub
  Web frontend for GHC
  ☆12Dec 10, 2019Updated 6 years ago
• limeburst / cadet

  View on GitHub
  Keyboard controller written in Ivory
  ☆10Mar 3, 2017Updated 8 years ago
• DanielG / rts-loader

  View on GitHub
  Haskell dynamic RTS loader
  ☆13Jun 24, 2016Updated 9 years ago
• tweag / network-transport-zeromq

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

  View on GitHub
  PostgreSQL support for the drifter schema migration tool
  ☆12Dec 25, 2017Updated 8 years ago
• mfourne / eccrypto

  View on GitHub
  ☆12Feb 12, 2025Updated last year
• DAHeath / optic-graph

  View on GitHub
  Haskell graph library
  ☆10Dec 18, 2017Updated 8 years ago
• bgamari / play-type-search

  View on GitHub
  A hack to find types in Haskell codebases
  ☆10Aug 15, 2015Updated 10 years ago
• glutamate / datasets

  View on GitHub
  UCI Datasets for Haskell
  ☆11Mar 17, 2017Updated 8 years ago
• laurmcarter / type-combinators

  View on GitHub
  Type level lists, pairs, sums, their operations, and their properties.
  ☆24Oct 16, 2018Updated 7 years ago
• hailstorm-hs / hailstorm

  View on GitHub
  Haskell distributed stream processing with exactly-once semantics
  ☆92Jun 11, 2014Updated 11 years ago
• gatlin / psilo

  View on GitHub
  a parallel, safe, iterative list operation language for systems programming
  ☆16Jul 9, 2020Updated 5 years ago
• quchen / stackalone

  View on GitHub
  Building self-contained (offline-only) Haskell program tarballs; only Stack+GHC needed
  ☆10Jun 8, 2017Updated 8 years ago
• barrucadu / minifu

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

  View on GitHub
  half-precision floating-point
  ☆17Oct 11, 2025Updated 4 months ago
• lemmih / fvg

  View on GitHub
  Functional Vector Graphics
  ☆17Jun 19, 2017Updated 8 years ago
• lthms / chain

  View on GitHub
  Extensible, Type Safe Error Handling in Haskell
  ☆13Dec 22, 2020Updated 5 years ago
• SamProtas / hs-triplesec

  View on GitHub
  TripleSec is a simple, triple-paranoid, symmetric encryption library
  ☆13Dec 26, 2023Updated 2 years ago
• travitch / haggle

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

  View on GitHub
  An experiment in functional interface design
  ☆24Oct 29, 2016Updated 9 years ago
• haskell-github-trust / crypto-api

  View on GitHub
  Haskell generic interface (type classes) for cryptographic algorithms
  ☆29Jun 16, 2017Updated 8 years ago
• haskell-distributed / distributed-process-client-server

  View on GitHub
  Cloud Haskell - gen_server implementation
  ☆13Sep 3, 2024Updated last year