A networked FPGA key-value store written in Clash
☆30Apr 1, 2024Updated last year
Alternatives and similar repositories for fpga-kvs
Users that are interested in fpga-kvs are comparing it to the libraries listed below
Sorting:
- Where Lions Roam: Haskell & Hardware on VELDT☆22Dec 15, 2025Updated 2 months ago
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 11 years ago
- Arty FPGA board starter project☆12Sep 13, 2022Updated 3 years ago
- Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH☆50Dec 4, 2022Updated 3 years ago
- Projects to get started with Clash☆32Jan 14, 2026Updated last month
- Haskell RSA Library☆21Apr 18, 2021Updated 4 years ago
- A collection of reusable Clash designs/examples☆54Jan 28, 2024Updated 2 years ago
- ☆19Feb 27, 2023Updated 3 years ago
- Decision Trees Inference☆14Apr 25, 2018Updated 7 years ago
- A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators☆17Jan 7, 2023Updated 3 years ago
- Caribou: Distributed Smart Storage built with FPGAs☆68Jul 25, 2018Updated 7 years ago
- Notes and stuff related to the study group☆15Feb 26, 2017Updated 9 years ago
- ☆27Jun 30, 2014Updated 11 years ago
- Intel 8080 CPU core: software emulator and CLaSH hardware description☆28Dec 4, 2022Updated 3 years ago
- Programmable multichannel ADPCM decoder for FPGA☆25Dec 28, 2020Updated 5 years ago
- Alveo Collective Communication Library: MPI-like communication operations for Xilinx Alveo accelerators☆102Jun 30, 2025Updated 8 months ago
- ☆30Mar 2, 2021Updated 5 years ago
- Network Programming with Relational and Procedural Abstractions (NERPA)☆32Apr 4, 2023Updated 2 years ago
- IP submodules, formatted for easier CI integration☆31Sep 22, 2025Updated 5 months ago
- Centaur, a framework for hybrid CPU-FPGA databases☆28May 2, 2017Updated 8 years ago
- The Domino compiler to run packet programs on pipelined switches☆29Aug 12, 2021Updated 4 years ago
- Open source FPGA-based NIC and platform for in-network compute☆205May 4, 2024Updated last year
- Kernel module that makes it possible to create virtual wifi devices each with a virtualized stack.☆11Dec 13, 2011Updated 14 years ago
- This is a hanabi AI bot that can play on http://keldon.net/hanabi/☆11May 29, 2017Updated 8 years ago
- Open-source version of SLiCAP, implemented in python☆37Nov 30, 2024Updated last year
- Cochlear sound spectrum☆37Feb 29, 2020Updated 6 years ago
- Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/☆12Jan 15, 2026Updated last month
- ☆11Sep 8, 2022Updated 3 years ago
- Watchy firmware and companion mobile app repository☆10Updated this week
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- Collection of Pure Data patches collected from all over the world (mostly not mine)☆11Dec 17, 2020Updated 5 years ago
- Tax types and computations for Australia☆12Dec 8, 2025Updated 2 months ago
- A white-box Speck implementation using self-equivalence encodings☆13Jun 25, 2022Updated 3 years ago
- A synthesizer using React, ToneJS, and nexusUI.☆10Jul 18, 2016Updated 9 years ago
- ☆36Jul 31, 2020Updated 5 years ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- Embed the Power of Lua into NGINX HTTP servers☆11Dec 1, 2015Updated 10 years ago
- ☆10May 30, 2017Updated 8 years ago
- A little book on General Relativity and Einstein–Cartan Theory☆16Mar 13, 2014Updated 11 years ago