Pinned Repositories
collatz_fpga
Compute Collatz sequences on iCEBreaker FPGA board
iot-echo-particle
Enables your Alexa skill to draw attention to an Echo device.
specifica
Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)
ret's Repositories
ret/specifica
Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)
ret/collatz_fpga
Compute Collatz sequences on iCEBreaker FPGA board
ret/iot-echo-particle
Enables your Alexa skill to draw attention to an Echo device.
ret/axi
Library for working with the AxiDraw v3 pen plotter.
ret/blarney
Haskell library for hardware description
ret/bluecheck
A generic test bench written in Bluespec
ret/bsc
Bluespec Compiler (BSC)
ret/cfm
A 16-bit CPU and system, written in Haskell and running Forth on FPGA.
ret/chalice
Python Serverless Microframework for AWS
ret/CPU
CPU Building Tutorial
ret/daqnet
ret/Flute
RISC-V CPU, simple 5-stage in-order pipeline, for low-end applications needing MMUs and some performance
ret/gerbil
Gerbil Scheme
ret/icebreaker-litex-examples
Example litex Risc-V SOC and some example code projects in multiple languages.
ret/icebreaker-nmigen-examples
This repository contains icebreaker examples for nmigen, a refresh of migen.
ret/kansas-lava-shake
Shake rules for Kansas Lava projects
ret/koyo
A web development toolkit for Racket.
ret/litex
Build your hardware, easily!
ret/litex-boards
LiteX boards files
ret/racket-cas
Simple computer algebra system
ret/rosette
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
ret/sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.