Pinned Repositories
afterburn
A one-shot cloud provider agent
openssh-keys
A pure-Rust library to read and write OpenSSH public keys
cellular-automata
experimenting with cellular automata representations in haskell
demos
DemOS, Demos's OS
gameoflife
implementation of conway's game of life in haskell using REPA
lsystems
A foray into Lindenmayer Systems programming
prolog
implementation of prolog in haskell
rhcos
traveller
I'm not a nerd. You're the nerd! - world generator for the traveller rpg
type-inference
formalization of type inference using rewriting
sdemos's Repositories
sdemos/demos
DemOS, Demos's OS
sdemos/rhcos
sdemos/traveller
I'm not a nerd. You're the nerd! - world generator for the traveller rpg
sdemos/amethyst
Data-oriented and data-driven game engine written in Rust
sdemos/container-linux-update-operator
A Kubernetes operator to manage updates of Container Linux by CoreOS
sdemos/coreos-metadata
A simple cloud-provider metadata agent
sdemos/coreos-overlay
Custom ebuilds for Container Linux
sdemos/fero
YubiHSM2-backed signing server
sdemos/go-systemd
Go bindings to systemd socket activation, journal, D-Bus, and unit files
sdemos/ignition
First boot installer and configuration tool
sdemos/machine-config-operator
sdemos/mantle
Mantle: Gluing CoreOS together
sdemos/matchbox
Network boot and provision Container Linux clusters (e.g. etcd3, Kubernetes, more)
sdemos/nationalparks-py
Backend component to display national parks (Python).
sdemos/openssh-keys
read and write ssh public keys in pure rust
sdemos/ostree
Operating system and container binary deployment and upgrades
sdemos/qmk_firmware
keyboard controller firmware for Atmel AVR and ARM USB families
sdemos/ray-tracer
sdemos/rpm-ostree
⚛📦 Hybrid image/package system with atomic upgrades and package layering
sdemos/rust-uefi
sdemos/scripts
Build and maintenance scripts for Container Linux
sdemos/sdemos.com
my personal site, blog, project write up zone, and everything else I want it to be
sdemos/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
sdemos/tectonic-installer
Install a Kubernetes cluster the CoreOS Tectonic Way: HA, self-hosted, RBAC, etcd Operator, and more
sdemos/terraform-provider-ct
Terraform provider for Container Linux Configs
sdemos/typhoon
Minimal and free Kubernetes distribution
sdemos/uefi-rs
Rust wrapper for UEFI.
sdemos/update-ssh-keys
sdemos/updateservicectl
CoreUpdate Command Line Interface
sdemos/xmobar
A minimalistic, mostly text-based status bar