Repositories list

• clash-compiler

  Public
  Haskell to VHDL/Verilog/SystemVerilog compiler

  asicfpgavhdl+ 4verilogsystemveriloghardware-description-languagehaskell

  Haskell

  •

  Other

  •154•1.4k•313•26•Updated Nov 12, 2024Nov 12, 2024

• clash-protocols

  Public
  a battery-included library for dataflow protocols

  Haskell

  •

  Other

  •7•19•20•18•Updated Nov 8, 2024Nov 8, 2024

• clash-cores

  Public
  Haskell

  •

  Other

  •2•3•4•7•Updated Nov 6, 2024Nov 6, 2024

• clash-vexriscv

  Public
  Verilog

  •

  Apache License 2.0

  •0•0•3•1•Updated Sep 18, 2024Sep 18, 2024

• sop-satisfier

  Public
  Check satisfiability of expressions on natural numbers

  Haskell

  •

  Other

  •1•0•0•1•Updated Sep 9, 2024Sep 9, 2024

• ghc-typelits-extra

  Public
  Extra type-level operations on GHC.TypeLits.Nat and a custom solver

  Haskell

  •

  Other

  •9•16•9•6•Updated Sep 1, 2024Sep 1, 2024

• ghc-typelits-natnormalise

  Public
  Normalise GHC.TypeLits.Nat equations

  Haskell

  •

  Other

  •15•43•12•3•Updated Jun 11, 2024Jun 11, 2024

• ghc-tcplugins-extra

  Public
  Utilities for writing GHC type-checker plugins

  Haskell

  •

  Other

  •9•10•1•1•Updated May 27, 2024May 27, 2024

• ghc-typelits-knownnat

  Public
  Derive KnownNat constraints from other KnownNat constraints

  Haskell

  •

  Other

  •10•14•5•2•Updated May 22, 2024May 22, 2024

• clash-starters

  Public
  Projects to get started with Clash

  Haskell

  •

  Creative Commons Zero v1.0 Universal

  •5•26•0•0•Updated Feb 12, 2024Feb 12, 2024

• stack-templates

  Public
  Templates for `stack new` command

  Haskell

  •

  Creative Commons Zero v1.0 Universal

  •1•3•2•0•Updated Feb 12, 2024Feb 12, 2024

• ghc-typelits-sopsat

  Public
  Haskell

  •

  Other

  •1•0•0•0•Updated Jan 26, 2024Jan 26, 2024

• clash-lang.org

  Public
  JavaScript

  •

  MIT License

  •4•1•3•9•Updated Aug 13, 2023Aug 13, 2023

• clash-lang.github.io

  Public archive
  The CLaSH website

  CSS

  •

  MIT License

  •4•2•4•0•Updated Aug 24, 2022Aug 24, 2022

• clash-simulation-benchmarks

  Public
  0•1•0•0•Updated Sep 16, 2021Sep 16, 2021

• clash-benchmark-results

  Public
  Repository for storing Clash benchmark results

  0•0•0•0•Updated Jul 13, 2020Jul 13, 2020

• ghc-typelits-appendsymbol

  Public
  Haskell

  •

  BSD 2-Clause "Simplified" License

  •0•1•0•0•Updated Jun 30, 2019Jun 30, 2019

• clash-cosim

  Public archive
  C

  •

  BSD 2-Clause "Simplified" License

  •2•2•0•0•Updated Jun 27, 2019Jun 27, 2019

• clash-prelude

  Public archive
  CLaSH prelude library containing datatypes and functions for circuit design

  Haskell

  •

  Other

  •27•31•23•3•Updated Sep 6, 2018Sep 6, 2018