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:NixLicense:MITStargazers:745Issues:38Issues: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++License:GPL-3.0Stargazers:128Issues:22Issues:30

nix-tests

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

nix-misc

Small experimental things I am doing with Nix (this repository is old and will soon be merged with https://github.com/cleverca22/nix-tests).

Language:NixStargazers:5Issues:2Issues:0
Language:C++Stargazers:4Issues:2Issues:0

radeon-exporter

a prometheus exporter based on radeontop

Language:CStargazers:2Issues:1Issues:0
Language:HaskellStargazers:1Issues:3Issues:0
Language:XSLTStargazers:1Issues:2Issues:0
Language:NixStargazers:1Issues:2Issues:0

zfs

OpenZFS on Linux and FreeBSD

Language:CLicense:NOASSERTIONStargazers:1Issues:1Issues:0

bcompiler

Mirror of http://www.rano.org/bcompiler.tar.gz, with a bootstrap script

Language:NixStargazers:0Issues:1Issues:0

broadcom-peripherals

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

Language:JinjaLicense:MITStargazers:0Issues:1Issues:0

circuitpython

CircuitPython - a Python implementation for teaching coding with microcontrollers

Language:CLicense:MITStargazers:0Issues:1Issues:0

disasm-network

NixOps home network

Language:NixStargazers:0Issues:1Issues:0
Language:C++License:MITStargazers:0Issues:2Issues:0
Language:C++License:MITStargazers:0Issues:2Issues:0

mini-rv32ima

A tiny C header-only risc-v emulator.

License:MITStargazers:0Issues:0Issues:0

nix

Nix, the purely functional package manager

Language:C++License:LGPL-2.1Stargazers:0Issues:2Issues:0

nixpkgs

Nix Packages collection

Language:NixLicense:NOASSERTIONStargazers:0Issues:2Issues:0

pistorm

68k Hardware Emulator

Language:CLicense:MITStargazers:0Issues:1Issues:0
Language:NixStargazers:0Issues:2Issues:0
Language:HTMLStargazers:0Issues:2Issues:0
Language:PythonStargazers:0Issues:1Issues:0