VELDT-getting-started
Where Lions Roam: Haskell & Hardware on VELDT (by standardsemiconductor)
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 | ICFP2020_Bluespec_Tutorial | |
|---|---|---|
| 2 | 1 | |
| 21 | 55 | |
| - | - | |
| 3.0 | 0.0 | |
| 4 months ago | over 1 year ago | |
| Haskell | HTML | |
| MIT License | Apache License 2.0 |
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.
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
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).
What are some alternatives?
When comparing VELDT-getting-started and ICFP2020_Bluespec_Tutorial you can also consider the following projects:
clash-spaceinvaders - Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH
clash-ghc - Haskell to VHDL/Verilog/SystemVerilog compiler
contranomy
lion - Where Lions Roam: RISC-V on the VELDT