clash-ghc
wokwi-features
clash-ghc | wokwi-features | |
---|---|---|
33 | 130 | |
1,375 | 65 | |
1.2% | - | |
9.1 | 0.0 | |
4 days ago | over 2 years ago | |
Haskell | ||
BSD 2-clause "Simplified" License | - |
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
- Clash (Haskell) for ASIC design
-
Building a Networked Key-Value-Store on an FPGA
> You'd be better off with a higher-level or more modern HDL that compiles to Verilog/VHDL. "Chisel" is one such.
As is Clash :) https://clash-lang.org/
-
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
- Ask HN: Choice of HDL for an FPGA Project
-
Baud rate 1.5% lower than expected, is this normal?
if you need inspiration there is a full UART core available in clash: https://github.com/clash-lang/clash-compiler/blob/master/clash-cores/src/Clash/Cores/UART.hs
-
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.
wokwi-features
-
Getting into Robotics as a Software Engineer
No, no - I have a half a dozen RPi's of varying revisions. Since they run Linux and the SDcards are less than robust, anytime you accidentially trip the power (which to me happens several times during hardware debugging sessions) you risk scrambling the rootfs and thus need to reflash a new SDcard. Some SDcards get damaged.
I recommend using Arduino and/or Wokwi (https://wokwi.com/) to get started.
- Wokwi – Simulate IoT Projects in the Browser
- Simulate IoT Projects in the Browser
-
Embedded Rust Education: 2023 Reflections & 2024 Visions
More Wokwi Integration: Wokwi is an amazing embedded simulator and is great for getting started quickly. For a learner, there's no need for toolchain setup or even the purchase of hardware. There are many features as well that make it quite a flexible tool supporting a lot of features right from the browser. Users can also vote for more features. Still maybe at some point, one might want to tinker with physical hardware. However, at that point, they would have gained some confidence first. Currently, only ESP boards are supported with Rust on Wokwi. I hope for the variety to expand soon.
-
Need advice on Arduino projects and programming
In addition to the other great suggestions here I wanted to point out that you can practice and learn a lot for free using an online simulator such as wokwi.com and tinkercad.com (among others)! And you don't have to buy an Arduino or any parts to get started!
-
Arduino calender clock project
And you can prototype all of this first to get it working for free using an online simulator at sites like wokwi.com or tinkercad.com!
-
How do I get better at Low level programming
If you don't have the budget for real hardware consider the simulator at https://wokwi.com/ It works with Rust (at least for ESP32, haven't tried other architectures). Bonus: you can't blow up the electronics by a wiring mistake.
-
Have many folks played around with Chatgpt and FastLED?
I spent a bit of time today with a few FastLED programs and uploaded them to wokwi.com on a simulated Arduino Nano and a WS2812 strip of 64 LED's (not in a 2D matrix). The chatgpt requests I made were:
-
Jumperless: Breadboard Without Jumper
https://tinyurl.com/yr34sym6
https://wokwi.com/ is great for simple, digital only stuff.
https://fritzing.org/ will kind of lay out the PCB for you, but it's kind of a pain in the ass.
Wokwi and Fritzing are more "Breadboard Simulators" than real circuit simulators, but they do have their place.
-
I built a working automated dry chamber with an Arduino and a thermoelectric wine cooler and want to make the project open source.
Another cool thing you may want to try is making a simulator https://wokwi.com/
What are some alternatives?
wiringPi - A Haskell binding to the wiringPi library, for using GPIO on the Raspberry Pi.
fritzing-app - Fritzing desktop application
clash-prelude
PlatformIO - Your Gateway to Embedded Software Development Excellence :alien:
mercury-api - Haskell binding to Mercury API for ThingMagic RFID readers
WS2812FX - WS2812 FX Library for Arduino and ESP8266
ICFP2020_Bluespec_Tutorial - Tutorial on hardware design using Bluespec BH (Bluespec Classic) for Haskell programmers at ACM ICFP 2020 conference
QEMU - Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.
riscv-cores-list - RISC-V Cores, SoC platforms and SoCs
BIPES - BIPES: Block based Integrated Platform for Embedded Systems allows text and block based programming for several types of embedded systems and Internet of Things modules using MicroPython, CircuitPython, Python or Snek. You can connect, program, debug and monitor several types of boards using network, USB or Bluetooth. No software install needed!
amaranth - A modern hardware definition language and toolchain based on Python
epaper_templates - Template-oriented driver for e-paper displays