ret

specifica

Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)

collatz_fpga

Compute Collatz sequences on iCEBreaker FPGA board

iot-echo-particle

Enables your Alexa skill to draw attention to an Echo device.

axi

Library for working with the AxiDraw v3 pen plotter.

blarney

Haskell library for hardware description

bluecheck

A generic test bench written in Bluespec

bsc

Bluespec Compiler (BSC)

cfm

A 16-bit CPU and system, written in Haskell and running Forth on FPGA.

chalice

Python Serverless Microframework for AWS

CPU

CPU Building Tutorial

daqnet

Flute

RISC-V CPU, simple 5-stage in-order pipeline, for low-end applications needing MMUs and some performance

gerbil

Gerbil Scheme

icebreaker-litex-examples

Example litex Risc-V SOC and some example code projects in multiple languages.

icebreaker-nmigen-examples

This repository contains icebreaker examples for nmigen, a refresh of migen.

kansas-lava-shake

Shake rules for Kansas Lava projects

koyo

A web development toolkit for Racket.

litex

Build your hardware, easily!

litex-boards

LiteX boards files

racket-cas

Simple computer algebra system

rosette

The Rosette solver-aided host language, sample solver-aided DSLs, and demos

sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.