clash-spaceinvaders
Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH (by gergoerdi)
ICFP2020_Bluespec_Tutorial
Tutorial on hardware design using Bluespec BH (Bluespec Classic) for Haskell programmers at ACM ICFP 2020 conference (by rsnikhil)
| clash-spaceinvaders | ICFP2020_Bluespec_Tutorial | |
|---|---|---|
| 1 | 1 | |
| 46 | 55 | |
| - | - | |
| 0.0 | 0.0 | |
| over 1 year ago | over 1 year ago | |
| Tcl | 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.
clash-spaceinvaders
Posts with mentions or reviews of clash-spaceinvaders.
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
The largest repo of public Clash code is probably https://github.com/gergoerdi/clash-spaceinvaders What’s nice about it in my view is that it takes a really Haskell-centric approach (as apposed to a write-verilog-in-Haskell approach)
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 clash-spaceinvaders and ICFP2020_Bluespec_Tutorial you can also consider the following projects:
pin-uart - FPGA board-level debugging and reverse-engineering tool
clash-ghc - Haskell to VHDL/Verilog/SystemVerilog compiler
VELDT-getting-started - Where Lions Roam: Haskell & Hardware on VELDT
contranomy
kansas-lava-cores - IP Cores written in Kansas Lava