Discover tuzz/boolean_simplifier Open Source project

The code and resources for my final year project from the University of Southampton.

autonomous_exploration

A Rust crate for a Bucket Queue data structure that can be used as a Priority Queue.

bucket_queue

A non-recursive, n-dimensional implementation of flood fill.

n-dimensional-flood-fill

An efficient, cross-platform Rust crate that mixes together audio from different sources.

audio_mixer

An exploration of the capabilities and limitations of Vim's embedded Ruby.

vim-experiments

A Sentient program to solve snake egg puzzles.

snake-egg-puzzle

A bijection between permutations and decimals.

lehmer

An esoteric implementation of fizzbuzz that makes use of Kleene's recursion theorem.

fizzquinebuzz

Calculates the delta between two collections of objects.

delta

A parser and emulator for a minimalist hardware description language.

hdl

An attempt to find superpermutations by reducing the problem to SAT.

supersat

The tuzz automation tool.

Full control over schedules for use with adnX's xTeam software.

xteam_schedule

rack-markdown

Serves a markdown file.

A quick attempt to find letterwise magic squares (aka. Alphamagic squares)

letterwise_magic_squares

Some code examples to help my understanding of the New Turing Omnibus.

new-turing-omnibus

An extremely minimal Rust + WASM example.

minimal-rust-wasm

A Rust crate that contains FFI bindings for IPASIR-compatible SAT solvers.

ipasir-sys

Attempts to solve autostereograms programmatically.

magic_eye

Bespoke hardware description language for designing combinatorial chips.

hdl.js

Determine whether a gem name is available using Ruby.

it_will_be_mine

A Rust crate for manipulating sliding tile puzzles.

sliding_puzzle_rust

Breaks an image into regions of contiguous pixels.

regioned-image

Serves a file with syntax highlighting.

rack-source

A helper for manipulating raw image data and rendering it to a canvas.

raw-image

Rack middleware to facilitate Campfire control via a Rack application.

rack-campfire

Determines the surplus of characters that satisfies a self-enumerating pangram.

pangrammic_surplus

A simple business website for some friends.

ashdownlandscapes

A collection of OpenGL animations.

opengl_experimentation

View the colour breakdowns for various flags of the world.

flag-explorer

Super simple scenes using OpenGL.

scene

[DEPRECATED] I use this repository for bootstrapping my pi.

A Ruby client for The Arch Climbing Wall API.

the_arch

An experiment into writing a ray tracer that uses an ECS design pattern.

moonlight

Works on behalf of a haystack server.

haystack_worker

Objective-C

makercasts.org

My work-in-progress screencast series.

HTML

nash

Improves the error output if you get nil when expecting a hash.

An exploration of the reduction in the Cook–Levin theorem

machine_maker

An implementation of the gridworld example from Sutton and Barto's book on Reinforcement Learning.

gridworld

The start of something exciting.

tuzz.tech

An attempt to find superpermutations by incremental heuristic search.

supermutation

Chain methods to specify parameters.

parameter_chain

A reference gem that uses a C extension.

cext

Splits a search space into n pieces.

search_space_splitter

A helper for building scopes that deal with moving windows.

moving_window

An OpenGL animation based on the theme of flight.

come_fly_with_me

Compose a hash containing the frequencies of characters in text.

frequency_analyser

Yields hashes that correlate with the given frequency distribution.

frequency_enumerator

Attempts to find a self-enumerating pangram.

pangram

A simple JavaScript application that demonstrates one-dimensional Cellular Automata

cellular-automata

Parse an SVG to discover which colors it contains.

svg_palette

An attempt at writing an assembler in JavaScript.

assembler.js

A Ruby gem for manipulating and solving sliding tile puzzles.

sliding_puzzle_ruby

Help users organise events with as little fuss as possible.

calendar_poll

Make sense of any css color string.

css_color

Profiles a Scalable Vector Graphics xml string.

svg_profiler

Calculates the Canberra distance between two vectors.

canberra_distance

A Rust crate that abstracts over the wgpu crate to provide greatly simplified rendering.

renderer

An experimental Rust crate for decomposing the initialization of structs.

prismatic

Compile and upload Arduino sketches with Ruby.

arduino-mk

An attempt to find bounds relating to superpermutations.

leaps-and-bounds

Splits a range into n pieces.

range_splitter