Where Lions Roam: Haskell & Hardware on VELDT
☆22Dec 15, 2025Updated 2 months ago
Alternatives and similar repositories for VELDT-getting-started
Users that are interested in VELDT-getting-started are comparing it to the libraries listed below
Sorting:
- generate contextually sensible fuzz tests for servant apps☆26Oct 7, 2025Updated 4 months ago
- BabbleSim base/common components. Any BabbleSim user will want some of these.☆17Updated this week
- ☆17Jan 6, 2024Updated 2 years ago
- A networked FPGA key-value store written in Clash☆30Apr 1, 2024Updated last year
- Verilog FPGA code : including experimental DSP audio processor☆13Dec 1, 2020Updated 5 years ago
- stupid lil program to parse GHC/cabal output and tell you how long stuff takes☆10Mar 2, 2022Updated 3 years ago
- Haskel bindings to React☆11Dec 11, 2019Updated 6 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Jan 23, 2026Updated last month
- Phase vocoder in Haskell☆18Mar 1, 2021Updated 5 years ago
- Generative Art Experiments using Haskell, GHCJS, and Reflex (FRP)☆18Mar 16, 2019Updated 6 years ago
- A structured concurrency library☆87Mar 2, 2025Updated last year
- type classes and deriving via for encoding☆22Feb 4, 2020Updated 6 years ago
- Prune unused Haskell dependencies.☆46Feb 7, 2023Updated 3 years ago
- C++ foreign export implementations for the standard library☆22Jun 10, 2019Updated 6 years ago
- Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH☆50Dec 4, 2022Updated 3 years ago
- Call and consume GraphQL APIs with type safe queries and responses☆24Jun 17, 2025Updated 8 months ago
- Programmable multichannel ADPCM decoder for FPGA☆25Dec 28, 2020Updated 5 years ago
- Ultimate interactive COVID-19 data plotter☆22Jan 7, 2023Updated 3 years ago
- Framework for artificial life and other evolutionary algorithms.☆31Sep 5, 2022Updated 3 years ago
- ARM Cortex-M IO library C++☆26Jan 31, 2021Updated 5 years ago
- ☆30Mar 2, 2021Updated 5 years ago
- Demonstrating comonad transformers.☆36Oct 9, 2016Updated 9 years ago
- Software Defined Radio implementation of a Two Way Satellite Time and Frequency Transfer signal☆31Feb 22, 2026Updated last week
- Software for Amungo's nut4nt board RF front-end IC with NTLab NT1065 four-channel multiband navigation☆30Aug 18, 2022Updated 3 years ago
- Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.☆29Feb 11, 2026Updated 2 weeks ago
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆28Updated this week
- Projects to get started with Clash☆32Jan 14, 2026Updated last month
- Override instances used by Haskell's generic derivation☆31Jul 28, 2022Updated 3 years ago
- DAG-based blockchain☆10Apr 20, 2019Updated 6 years ago
- A modern testing framework for Haskell with good defaults and advanced testing features.☆129Jan 26, 2026Updated last month
- Web application to help tenants keep track of documentss related to their rental unit☆11Jan 7, 2023Updated 3 years ago
- This is a hanabi AI bot that can play on http://keldon.net/hanabi/☆11May 29, 2017Updated 8 years ago
- A tool to make solving type errors in Haskell simple and fun.☆38Sep 23, 2022Updated 3 years ago
- Generate TypeScript typings from a Stack☆11Feb 16, 2026Updated 2 weeks ago
- Dawn Phase 1 proto-language☆37Apr 23, 2021Updated 4 years ago
- SDR DSP utilities embedded in Haskell☆41Oct 23, 2024Updated last year
- A library for disassembling x86-64 binaries.☆44Apr 24, 2025Updated 10 months ago
- Create string patterns and derive things from them, such as regexes☆10Sep 19, 2024Updated last year
- DEPRECATED in favour of https://github.com/BabbleSim/ext_NRF_hw_models☆10Oct 21, 2024Updated last year