marble's repositories
nixos-rpi-zero-w
NixOS on the Raspberry Pi Zero W
NixOS-on-ARM-Examples
Examples of Nix expressions for cross compiling NixOS images for ARM
usd-mock-bob
Micro SD Mock Breakout Board
esp-idf.nix
ESP32 IDF development environment manged with nix
amaranth-boards
Board and connector definition files for nMigen
amaranth-examples
Examples for the Amaranth hardware definition language
amaranth-soc
System on Chip toolkit for Amaranth HDL
amaranth-wishbone-uart
Implementation of Lattice Reference Design FPGA-RD-02137-1.7
apollo.nix
A convenient environment for building and flashing apollo on NixOS
badgeteam-website
The BADGE.TEAM website
blackmagic
In application debugger for ARM Cortex microcontrollers.
chubby-hat-hardware
a PCB that turns the Colorlight 5A-75B into an easy to use development platform for cheap
chubby-hat-nmigen-examples
Examples for the Chubby Hat FPGA Development platform
CurseForGET
A download helper for CurseForge modpacks in pure Python 3.
DigistumpArduino
Files to add Digistump support (Digispark, Pro, DigiX) to Arduino 1.6.X (1.6.5+)
imgur-troll-scope
A Firefox add-on for identifying trolls in Imgur comment sections
mch2022-amaranth-examples
This repository contains MCH2022 badge examples for Amaranth HDL.
mch2022-pressure-graph
A simple micropython app that plots the pressure over time on the MCH2022 badge
micropython-esp32.nix
Nix expression to build micropython for the ESP32
MXCHIP-EMB1082-Breakout
A breakout board for the EMB1082 BLE SoM by MXCHIP
nixos-hardware
A collection of NixOS modules covering hardware quirks.
saturn-v.nix
A convenient environment for building and flashing saturn-v on NixOS
server-nixos-configuration
/etc/nixos/ configuration for servers
stm32-boilerplate-bootloader
Basic C code and build environment for developing STM32 firmware with custom bootloader
workstation-nixos-configuration
/etc/nixos/ configuration for workstations