adamwalker

sdr

Software defined radio library in Haskell

clash-riscv

A RiscV processor implementing the RV32I instruction set written in Clash

clash-utils

A collection of reusable Clash designs/examples

fpga-kvs

A networked FPGA key-value store written in Clash

dynamic-graph

Draw and update graphs in real time with OpenGL

starty

Arty FPGA board starter project

haskell_cudd

Haskell bindings to the CUDD binary decision diagram library

sdr-apps

SDR library apps

fpga-fm-radio

An FPGA FM radio implemented in Clash

hrtlsdr

Haskell bindings to librtlsdr

mmul

Montgomery multiplication and modular exponentiation for crypto implementation

sylvan-haskell

Haskell bindings to the Sylvan Parallel BDD library

bladerf-sdr-apps

Software defined radio apps that use the BladeRF

digital-modulation

haskell-fftw-simple

Simple, low-level Haskell bindings to FFTW

syntcomp

Synthesis competition entry

wireless-imu

A haskell interface to the Wireless IMU Android app

cudd

DEPRECATED (see readme). An unofficial mirror of the CUDD decision diagrams package modified to build shared object files

packet-sender

Sends packets

bladerf-pipes

Haskell Pipes based BladeRF sample streamer

cpp-fixmath

C++ interface to libfixmath

haskell-sdd

Haskell bindings to the SDD package

orientation

Draw and update the orientation of an object in real time using OpenGL

syntcomp-benchmark

Benchmarking program for my synthesis competition entry

syntcomp-sdd

Synthesis competition solver using Sentential Decision Diagrams

adamwalker.github.io

flight-controller

Flight controller software

linalg

C++ template linear algebra library

net2parquet

Extract network headers from pcaps and dump them to Parquet

quadcopter