Skip to content

@clash-lang clash-lang

Change the repository type filter

All

    Repositories list

    22 repositories

    • clash-cores

      Public
      Haskell
      •
      Other
      •3•5•5•11•Updated Apr 29, 2025Apr 29, 2025

    • clash-protocols

      Public
      a battery-included library for dataflow protocols
      Haskell
      •
      Other
      •8•21•25•14•Updated Apr 29, 2025Apr 29, 2025

    • clash-compiler

      Public
      Haskell to VHDL/Verilog/SystemVerilog compiler
      asicfpgavhdlverilogsystemveriloghardware-description-languagehaskell
      Haskell
      •
      Other
      •159•1.5k•340•23•Updated Apr 28, 2025Apr 28, 2025

    • ghc-typelits-natnormalise

      Public
      Normalise GHC.TypeLits.Nat equations
      Haskell
      •
      Other
      •15•43•14•4•Updated Apr 26, 2025Apr 26, 2025

    • clash-lang.org

      Public
      JavaScript
      •
      MIT License
      •4•1•4•4•Updated Apr 8, 2025Apr 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
      •
      Apache License 2.0
      •0•1•2•0•Updated Mar 5, 2025Mar 5, 2025

    • ghc-typelits-extra

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

    • ghc-typelits-knownnat

      Public
      Derive KnownNat constraints from other KnownNat constraints
      Haskell
      •
      Other
      •10•14•6•2•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

    • 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, 2025Feb 21, 2025

    • clash-vexriscv

      Public
      Verilog
      •
      Apache License 2.0
      •0•1•5•2•Updated Feb 19, 2025Feb 19, 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•28•0•0•Updated Jan 4, 2025Jan 4, 2025

    • stack-templates

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

    • sop-satisfier

      Public
      Check satisfiability of expressions on natural numbers
      Haskell
      •
      Other
      •1•0•0•0•Updated Dec 30, 2024Dec 30, 2024

    • ghc-typelits-sopsat

      Public
      Haskell
      •
      Other
      •2•1•0•1•Updated Jan 26, 2024Jan 26, 2024

    • 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