cleverca22

followers

following

stars

Michael Bishop's repositories

not-os

An operating system generator, based on NixOS, that, given a config, outputs a small (47 MB), read-only squashfs for a runit-based operating system, with support for iPXE and signed boot.

Language:NixMIT773 37 10

toxvpn

A client / server for a Tox-based VPN. Run the server on one computer, copy the public key, and run the client (with that key) on another computer, and it should Just Work™.

Language:C++GPL-3.0129 22 30

nix-tests

A scratchpad for small experimental things I am doing with Nix.

Language:Nix106 8 2

nixos-configs

Language:HTML99 9 2

cachecache

Language:Haskell21 5 1

hydra-configs

Language:Nix9 20

zfs-utils

Language:C++4 20

duo-nix

Language:Nix200

mini-rv32ima

A tiny C header-only risc-v emulator.

Language:CMIT2 10

radeon-exporter

a prometheus exporter based on radeontop

Language:C2 20

rptl-datasheets

Language:HTML2 20

stationeers-scripts

Language:JavaScript2 4 1

gba-template

Language:C1 20

rp1-kernel-example

Language:C1 30

rpi-docs

Language:XSLT1 30

rpi-nixos

Language:Nix1 20

usb-hid-test

Language:C100

zfs

OpenZFS on Linux and FreeBSD

Language:CNOASSERTION1 10

broadcom-peripherals

A thin unifying API atop the peripherals in the Broadcom microprocessors used in the Raspberry Pi boards.

Language:JinjaMIT010

circuitpython

CircuitPython - a Python implementation for teaching coding with microcontrollers

Language:CMIT010

hawk-read-data

Language:C++MIT020

hawk-sa

Language:C++MIT020

heat-pipe-thermometer

Language:Lua02 1

morph

NixOS deployment tool

MIT000

nix

Nix, the purely functional package manager

Language:C++LGPL-2.1020

nixpkgs

Nix Packages collection

Language:NixNOASSERTION020

ppc64

Language:Nix000

RP2040-HOTAS

RP2040 based HID controller (HOTAS/HOSAS in mind) that is "node" based using I2C

Language:JavaScript000

rpi-test-cluster

Language:Nix020

spensa

Language:Python010