strangeglyph's repositories
cookbook-recipes
Recipes for the cookbook web server
35c3-circuit-generator
Generative circuit generator in 35c3 style
advent-of-code-2018
Advent of Code, 2018 Edition
agda-ring-solver
A fast, easy-to-use ring solver for agda with step-by-step solutions
agda-stdlib
The Agda standard library
anatole
Anatole is a minimalistic two-column theme for Hugo.
ansible
Ansible is a radically simple IT automation platform that makes your applications and systems easier to deploy. Avoid writing scripts or custom code to deploy and update your applications— automate in a language that approaches plain English, using SSH, with no agents to install on remote systems.
firefly-iii
Firefly III: a personal finances manager
kweh
Chat commands to queue for duties
mod_auth_mellon
An Apache module with a simple SAML 2.0 service provider
moonthespire
The Moon, but it's also a Slay the Spire character
nextcloud-breeze-dark
A Breeze Dark theme for Nextcloud
Shenzhen-Hecheng
Program synthesis for Shenzhen IO
theforeman.org
The new and improved Foreman website.
typelevel-runtime-bounds
An investigation how to leverage the type system to encode correct-by-construction upper bounds for the runtime of different algorithms.