ICFP2020_Bluespec_Tutorial
Tutorial on hardware design using Bluespec BH (Bluespec Classic) for Haskell programmers at ACM ICFP 2020 conference (by rsnikhil)
VELDT-getting-started
Where Lions Roam: Haskell & Hardware on VELDT (by standardsemiconductor)
ICFP2020_Bluespec_Tutorial | VELDT-getting-started | |
---|---|---|
1 | 2 | |
55 | 21 | |
- | - | |
0.0 | 3.0 | |
over 1 year ago | 4 months ago | |
HTML | Haskell | |
Apache License 2.0 | MIT License |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
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.
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.
ICFP2020_Bluespec_Tutorial
Posts with mentions or reviews of ICFP2020_Bluespec_Tutorial.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-02-26.
-
Linear types for circuit design in Haskell/Clash
I watched recently another talk, on Bluespec Haskell ( https://www.youtube.com/watch?v=JCxE3JQAXY0 / https://github.com/rsnikhil/ICFP2020_Bluespec_Tutorial ), and it seems that BH takes a really different approach from Clash. I wonder what you make of it. I have no clue about circuits, but it seems that they impose way more higher-order organisation on the circuit. (I know this isn't linear types related, but still).
VELDT-getting-started
Posts with mentions or reviews of VELDT-getting-started.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-02-26.
-
Where Lions Roam: RISC-V on the VELDT
Absolutely! I have also written a guide to getting started with Clash and the VELDT. It starts with a basic counter and builds incrementally to a UART. Definitely check out the Clash website for examples, documentation, tutorials, and blog posts! The Clash website is my go-to resource.
-
Linear types for circuit design in Haskell/Clash
In terms of not just code, but also text, https://github.com/standardsemiconductor/VELDT-getting-started is a really great tutorial
What are some alternatives?
When comparing ICFP2020_Bluespec_Tutorial and VELDT-getting-started you can also consider the following projects:
clash-ghc - Haskell to VHDL/Verilog/SystemVerilog compiler
clash-spaceinvaders - Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH
contranomy
lion - Where Lions Roam: RISC-V on the VELDT