sdemos Goto Github PK

4store

4store

achievements

achievements api for csh

achievements-api2

Haskell-language read/write SQL<--> JSON bridge REST API for CSH's achievements database

adventofcode

solving http://adventofcode.com/ problems

amethyst

Data-oriented and data-driven game engine written in Rust

backtrace-rs

Backtraces in Rust

bingehack4

A replacement for bingehack

bootstrap-csh

Down with Ben Centra and the dirty working tree.

ccv15

Community Core Vision 1.5

cellular-automata

experimenting with cellular automata representations in haskell

container-linux-update-operator

A Kubernetes operator to manage updates of Container Linux by CoreOS

coquille

Interactive theorem proving with Coq in vim.

coreos-docs

Documentation for CoreOS projects

coreos-metadata

A simple cloud-provider metadata agent

coreos-overlay

Custom ebuilds for Container Linux

csh-eval

REPL for PEOPLE

ct

Convert a Container Linux Config into Ignition

demos

DemOS, Demos's OS

demos-blog

my octopress blog (let's see if this works).

demos-site

my website

dex

OpenID Connect Identity (OIDC) and OAuth 2.0 Provider with Pluggable Connectors

dotfiles

my config files for the tools I use, with an install script for easy machine setup.

drinkshell

Python DRINK Sunday protocol client. Can be used for a variety of DRINK operations. Can be used as an independent shell.

euler-problems

My attempt at solving a bunch of the interesting Project Euler problems

fero

YubiHSM2-backed signing server

flock

simulate flocking behaviors in animals

gameoflife

implementation of conway's game of life in haskell using REPA

gitmed2

The Ghost in the Machine level editor.

gl-project-2

glf

messing around with opengl