adamwalker/haskell_cudd

Stars
8
Rank 2,099,232 (Top 42 %)
Language
Haskell
License
BSD 3-Clause "New...
Created over 10 years ago
Updated almost 3 years ago

adamwalker/haskell_cudd

adamwalker

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Haskell bindings to the CUDD binary decision diagram library

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

sdr-apps

SDR library apps

sdr-demo

SDR library demo. An FM radio receiver.

mmul

Montgomery multiplication and modular exponentiation for crypto implementation

hrtlsdr

Haskell bindings to librtlsdr

sylvan-haskell

Haskell bindings to the Sylvan Parallel BDD library

haskell-fftw-simple

Simple, low-level Haskell bindings to FFTW

wireless-imu

A haskell interface to the Wireless IMU Android app

syntcomp

Synthesis competition entry

fpga-fm-radio

An FPGA FM radio implemented in Clash

bladerf-sdr-apps

Software defined radio apps that use the BladeRF

digital-modulation

cudd

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

bpsk

BPSK transmitter and receiver

packet-sender

haskell-vpi

Haskell bindings to the Verilog Procedural Interface

imu

Filter readings from accelerometer, magnetometer and gyro with Kalman Filter to determine attitude

xbee

Haskell interface to XBee series 1 radios

crypto-exchange-apis

Haskell bindings and command line applications to access the the APIs of BTCMarkets, Kraken and ItBit.

bladerf-pipes

Haskell Pipes based BladeRF sample streamer

kernel

Simple x86 OS kernel

syntcomp-sdd

Synthesis competition solver using Sentential Decision Diagrams

orientation

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

haskell-sdd

Haskell bindings to the SDD package

cpp-fixmath

C++ interface to libfixmath

syntcomp-benchmark

Benchmarking program for my synthesis competition entry

fpga-hashmap

An on-chip RAM based FPGA hashmap