Martijn Bastiaan's repositories
doctest-parallel
Test interactive Haskell examples
circuit-notation
A plugin for circuit notation
clash-compiler
CAES Language for Synchronous Hardware
cocotb-bus
Pre-packaged testbenching tools and reusable bus interfaces for cocotb
cocotbext-spi
Protocol test extension for testing spi in cocotb
doctest
An implementation of Python's doctest for Haskell
edalize
An abstraction library for interfacing EDA tools
haskell-hedgehog
Release with confidence, state-of-the-art property testing for Haskell.
highlight.js
JavaScript syntax highlighter with language auto-detection and zero dependencies.
openocd_riscv
Spen's Official OpenOCD Mirror
protolude
A sensible starting Prelude template.
snapcraft
Package, distribute, and update any app for Linux and IoT.
stackage-content
Content for the stackage.org site
steam-fixes
Collection of fixes needed to be applied to Steam games in order to get them working on Linux/Ubuntu
tasty
Modern and extensible testing framework for Haskell
VexRiscv
A FPGA friendly 32 bit RISC-V CPU implementation