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 27 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

    clash-lang/clash-compiler’s past year of commit activity
    Haskell 1,479 156 324 20 Updated Mar 9, 2025
  • clash-lang.org Public
    clash-lang/clash-lang.org’s past year of commit activity
    JavaScript 1 MIT 4 4 2 Updated Mar 7, 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).

    clash-lang/ghc-typelits-proof-assist’s past year of commit activity
    Haskell 0 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

    clash-lang/ghc-typelits-extra’s past year of commit activity
    Haskell 17 9 9 5 Updated Mar 4, 2025
  • ghc-typelits-knownnat Public

    Derive KnownNat constraints from other KnownNat constraints

    clash-lang/ghc-typelits-knownnat’s past year of commit activity
    Haskell 14 10 6 1 Updated Mar 4, 2025
  • ghc-typelits-natnormalise Public

    Normalise GHC.TypeLits.Nat equations

    clash-lang/ghc-typelits-natnormalise’s past year of commit activity
    Haskell 43 15 14 2 Updated Mar 4, 2025
  • ghc-tcplugins-extra Public

    Utilities for writing GHC type-checker plugins

    clash-lang/ghc-tcplugins-extra’s past year of commit activity
    Haskell 10 9 1 0 Updated Mar 4, 2025
  • clash-cores Public
    clash-lang/clash-cores’s past year of commit activity
    Haskell 5 3 5 10 Updated Mar 3, 2025
  • clash-protocols Public

    a battery-included library for dataflow protocols

    clash-lang/clash-protocols’s past year of commit activity
    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).

    clash-lang/clash-formal.org’s past year of commit activity
    CSS 0 0 1 0 Updated Feb 21, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…