MarcFontaine / stm32hs
STM32 microcontroller hacking in Haskell / ST-Link USB driver
☆20Updated 9 months ago
Alternatives and similar repositories for stm32hs:
Users that are interested in stm32hs are comparing it to the libraries listed below
- ☆27Updated 3 years ago
- Generate interface between Clash and Verilator☆22Updated 9 months ago
- A Clash playground/starter kit, using Nix☆35Updated 5 years ago
- Where Lions Roam: Haskell & Hardware on VELDT☆20Updated 8 months ago
- Intel 8080 CPU core: software emulator and CLaSH hardware description☆25Updated 2 years ago
- ☆19Updated this week
- a battery-included library for dataflow protocols☆20Updated this week
- Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH☆48Updated 2 years ago
- ☆23Updated 3 years ago
- A RiscV processor implementing the RV32I instruction set written in Clash☆52Updated 6 years ago
- Haskell library for hardware description☆101Updated 2 months ago
- ☆15Updated last year
- A library for parsing Gerbers☆20Updated 11 months ago
- Kansas Lava☆46Updated 5 years ago
- SDR DSP utilities embedded in Haskell☆36Updated 3 months ago
- Projects to get started with Clash☆26Updated 3 weeks ago
- Our Arduino experiments☆73Updated 6 years ago
- aarch64 and armv7 cross-compilers☆8Updated 4 years ago
- Cap'n Proto for Haskell☆94Updated last year
- ☆11Updated 3 years ago
- Software defined radio library in Haskell☆94Updated last year
- (DEPRECATED) Front-end of Copilot defining the user language.☆15Updated 3 years ago
- A new, open source mission control system in Haskell☆56Updated 5 months ago
- Create your model for Proteus VSM CAD (7/8) in Lua!☆26Updated 11 months ago
- Haskell User's Operating System and Environment -- with Lightweight Concurrency. (I, Ericson2314 did not write this at all)☆29Updated 11 years ago
- Demo Ajhc application on Cortex-M3 arch.☆39Updated 11 years ago
- ☆25Updated 4 years ago
- Deploying Haskell to Lattice iCE40 using fully open source toolchain☆13Updated 8 years ago
- CLaSH prelude library containing datatypes and functions for circuit design☆31Updated 6 years ago
- A virtual machine for microcontrollers.☆15Updated 2 years ago