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 156

  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-compiler Public

    Haskell to VHDL/Verilog/SystemVerilog compiler

    Haskell 1,480 156 329 19 Updated Mar 23, 2025
  • clash-lang.org Public
    JavaScript 1 MIT 4 4 2 Updated Mar 19, 2025
  • clash-cores Public
    Haskell 5 3 5 10 Updated Mar 10, 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 1 Updated Mar 4, 2025
  • ghc-typelits-natnormalise Public

    Normalise GHC.TypeLits.Nat equations

    Haskell 43 15 14 2 Updated Mar 4, 2025
  • ghc-tcplugins-extra Public

    Utilities for writing GHC type-checker plugins

    Haskell 10 9 1 0 Updated Mar 4, 2025
  • clash-protocols Public

    a battery-included library for dataflow protocols

    Haskell 21 8 24 15 Updated Feb 25, 2025
  • clash-formal.org Public

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

    CSS 0 0 1 0 Updated Feb 21, 2025
View all repositories

Most used topics

Loading…