Martijn Bastiaan's repositories
nixpkgs
Nix Packages collection & NixOS
doctest-parallel
Test interactive Haskell examples
haskell-hedgehog
Release with confidence, state-of-the-art property testing for Haskell.
VexRiscv
A FPGA friendly 32 bit RISC-V CPU implementation
openocd_riscv
Spen's Official OpenOCD Mirror
clash-compiler
CAES Language for Synchronous Hardware
tasty
Modern and extensible testing framework for Haskell
doctest
An implementation of Python's doctest for Haskell
cabal
Official upstream development repository for Cabal and cabal-install
steam-fixes
Collection of fixes needed to be applied to Steam games in order to get them working on Linux/Ubuntu
stackage
"Stable Hackage": vetted consistent packages from Hackage
cocotb
cocotb, a coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python
cocotbext-spi
Protocol test extension for testing spi in cocotb
cocotb-bus
Pre-packaged testbenching tools and reusable bus interfaces for cocotb
highlight.js
JavaScript syntax highlighter with language auto-detection and zero dependencies.
edalize
An abstraction library for interfacing EDA tools
stackage-content
Content for the stackage.org site
protolude
A sensible starting Prelude template.
snapcraft
Package, distribute, and update any app for Linux and IoT.