clash-ghc
clash-prelude-quickcheck
Our great sponsors
clash-ghc | clash-prelude-quickcheck | |
---|---|---|
33 | 0 | |
1,359 | 6 | |
1.6% | - | |
9.2 | 0.0 | |
4 days ago | almost 9 years ago | |
Haskell | Haskell | |
GNU General Public License v3.0 or later | LicenseRef-OtherLicense |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
clash-ghc
- Clash: A Functional Hardware Description Language
-
Need project idea
You can take a look at https://clash-lang.org/. There is also a book for it. https://gergo.erdi.hu/retroclash/
-
5 layered CNN implementation on arduino/FPGAs [P]
I don't know much about FPGAs, but Clash lang compiles to VHDL, and might do the trick: https://clash-lang.org
- An addressable little explored language gap: HDL - Hardware Description Languages, any language used for electronic circuit design, description, and specs
- Pedagogical Downsides of Haskell
-
A circuit simulator that doesn't look like it was made in 2003
Perhaps peripheral (the original site has been hugged to death).
Both clashlang: https://clash-lang.org/
And Hardcaml: https://github.com/janestreet/hardcaml
have personally fueled my interest in hardware.
Dan Luu speaks eloquently and at length about how better options are needed for logic design. I would recommend both of the above to the enthusiastic novice.
-
Functional programming language for embedded devices?
I haven’t used it yet, but I just came across this a few days ago https://clash-lang.org/
-
Haskell is the one of the most hardest code
Here's one very practical use case for Haskell: https://clash-lang.org/
-
Is “x' = f(x)” a programming paradigm?
In a previous project we used Haskell that compiled down to Verilog to design hardware. Think along the lines of BlueSpec or Clash. Haskell would force you to spell out the new state as a function of the old state of the system. This would let us do gate-level simulations of the hardware we designed. Coupled with Haskell's penchant for using primes to mean "the new value of", stuff like x' = f x was very common.
- Evolutie limbaje in industrie
clash-prelude-quickcheck
We haven't tracked posts mentioning clash-prelude-quickcheck yet.
Tracking mentions began in Dec 2020.
What are some alternatives?
wiringPi - A Haskell binding to the wiringPi library, for using GPIO on the Raspberry Pi.
clash-prelude
mercury-api - Haskell binding to Mercury API for ThingMagic RFID readers
ICFP2020_Bluespec_Tutorial - Tutorial on hardware design using Bluespec BH (Bluespec Classic) for Haskell programmers at ACM ICFP 2020 conference
verismith - Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.
riscv-cores-list - RISC-V Cores, SoC platforms and SoCs
amaranth - A modern hardware definition language and toolchain based on Python
hidapi - Haskell HIDAPI bindings
serialport - Cross platform haskell library for using the serial port
retroclash-lib - Library code for upcoming RetroClash book