Skip to content
@clash-lang

clash-lang

Popular repositories Loading

  1. clash-compiler clash-compiler Public

    Haskell to VHDL/Verilog/SystemVerilog compiler

    Haskell 1.5k 159

  2. ghc-typelits-natnormalise ghc-typelits-natnormalise Public

    Normalise GHC.TypeLits.Nat equations

    Haskell 43 15

  3. clash-prelude clash-prelude Public archive

    CLaSH prelude library containing datatypes and functions for circuit design

    Haskell 31 27

  4. clash-starters clash-starters Public

    Projects to get started with Clash

    Haskell 28 5

  5. clash-protocols clash-protocols Public

    a battery-included library for dataflow protocols

    Haskell 21 8

  6. ghc-typelits-extra ghc-typelits-extra Public

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

    Haskell 17 9

Repositories

Showing 10 of 22 repositories
  • clash-vexriscv Public
    Verilog 1 Apache-2.0 0 5 (1 issue needs help) 3 Updated Apr 30, 2025
  • clash-cores Public
    Haskell 5 3 6 9 Updated Apr 30, 2025
  • clash-protocols Public

    a battery-included library for dataflow protocols

    Haskell 21 8 25 14 Updated Apr 29, 2025
  • clash-compiler Public

    Haskell to VHDL/Verilog/SystemVerilog compiler

    Haskell 1,498 159 340 23 Updated Apr 28, 2025
  • ghc-typelits-natnormalise Public

    Normalise GHC.TypeLits.Nat equations

    Haskell 43 15 14 4 Updated Apr 26, 2025
  • clash-lang.org Public
    JavaScript 1 MIT 4 4 4 Updated Apr 8, 2025
  • ghc-typelits-proof-assist Public

    This work has been supported in part by funding from the Agentur für Innovation in der Cybersicherheit GmbH (Cyberagentur).

    Haskell 1 Apache-2.0 0 2 0 Updated Mar 5, 2025
  • ghc-typelits-extra Public

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

    Haskell 17 9 10 5 Updated Mar 4, 2025
  • ghc-typelits-knownnat Public

    Derive KnownNat constraints from other KnownNat constraints

    Haskell 14 10 6 2 Updated Mar 4, 2025
  • ghc-tcplugins-extra Public

    Utilities for writing GHC type-checker plugins

    Haskell 10 9 1 1 Updated Mar 4, 2025
View all repositories

Most used topics

Loading…