Skip to content

@clash-lang clash-lang

Change the repository type filter

All

    Repositories list

    23 repositories

    • clash-compiler

      Public
      Haskell to VHDL/Verilog/SystemVerilog compiler
      asicfpgavhdlverilogsystemveriloghardware-description-languagehaskell
      Haskell
      •
      Other
      •162•1.5k•354•20•Updated Jul 17, 2025Jul 17, 2025

    • docs.clash-lang.org

      Public
      CSS
      •0•0•0•0•Updated Jul 17, 2025Jul 17, 2025

    • clash-protocols

      Public
      a battery-included library for dataflow protocols
      Haskell
      •
      Other
      •10•22•28•12•Updated Jul 17, 2025Jul 17, 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
      •
      Apache License 2.0
      •0•1•1•0•Updated Jul 17, 2025Jul 17, 2025

    • clash-cores

      Public
      Haskell
      •
      Other
      •3•6•9•6•Updated Jul 13, 2025Jul 13, 2025

    • ghc-typelits-natnormalise

      Public
      Normalise GHC.TypeLits.Nat equations
      Haskell
      •
      Other
      •15•43•15•4•Updated Jul 9, 2025Jul 9, 2025

    • clash-lang.org

      Public
      JavaScript
      •
      MIT License
      •4•1•4•2•Updated Jul 9, 2025Jul 9, 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 Jun 10, 2025Jun 10, 2025

    • ghc-typelits-sopsat

      Public
      Haskell
      •
      Other
      •2•1•0•2•Updated Jun 8, 2025Jun 8, 2025

    • sop-satisfier

      Public
      Check satisfiability of expressions on natural numbers
      Haskell
      •
      BSD 2-Clause "Simplified" License
      •1•0•1•0•Updated Jun 7, 2025Jun 7, 2025

    • clash-vexriscv

      Public
      Verilog
      •
      Apache License 2.0
      •0•1•5•2•Updated May 1, 2025May 1, 2025

    • ghc-typelits-extra

      Public
      Extra type-level operations on GHC.TypeLits.Nat and a custom solver
      Haskell
      •
      Other
      •9•18•11•5•Updated Mar 4, 2025Mar 4, 2025

    • ghc-typelits-knownnat

      Public
      Derive KnownNat constraints from other KnownNat constraints
      Haskell
      •
      Other
      •12•14•7•3•Updated Mar 4, 2025Mar 4, 2025

    • ghc-tcplugins-extra

      Public
      Utilities for writing GHC type-checker plugins
      Haskell
      •
      Other
      •9•10•1•1•Updated Mar 4, 2025Mar 4, 2025

    • FloPoCoFloat

      Public
      1•0•0•1•Updated Jan 17, 2025Jan 17, 2025

    • clash-starters

      Public
      Projects to get started with Clash
      Haskell
      •
      Creative Commons Zero v1.0 Universal
      •5•30•0•0•Updated Jan 4, 2025Jan 4, 2025

    • stack-templates

      Public
      Templates for `stack new` command
      Haskell
      •
      Creative Commons Zero v1.0 Universal
      •1•4•3•0•Updated Jan 4, 2025Jan 4, 2025

    • 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