Solving MAXSAT and saying a few words about it.

Updated 5 months ago

Updated 5 months ago

Updated 5 months ago

Updated 5 months ago

Updated 5 months ago

MkDocs configuration and content for info/

Updated 3 months ago

It's a program that uses simulated annealing to design a circuit to match a truth table. Results were disappointing. I created this as an experiment out of boredom.

Updated 4 months ago

DISCLAIMER: The author is not responsible for any damage done to the terminals of users of this program. Some terminals are not designed to be etched. Consult your terminal's manual before usage.

Updated 4 months ago

The SKI Rust Reference implementation

Updated 3 months ago

A Minecraft mod to allow for two worlds, one of which has no resources. Worldgen is not ready yet.

Updated 3 months ago

Backend service for simulating and collecting data on randomly generated soups for Conway's Game of Life

Updated 3 months ago

Go backend for tracking results from conway game of life soup search.

Updated 3 months ago

Infrastructure Docs for the NixLearn space

Updated 3 months ago

Portal to services hosted on dubsdot 2

Updated 3 months ago

Signup form for time in the lab during the COVID semester. I recognize the optimism in using that name to refer to a unique semester but come on man let me have this one linguistic comfort

Updated 1 month ago

Updated 1 month ago

Discord Bot

Updated 1 month ago

A collection of configurations that our NixOS systems use.

Updated 1 month ago

An engine for roguelikes. Intended to make seven-hour roguelikes easier.

Updated 1 month ago

Updated 3 weeks ago