beckbria Goto Github PK

10k-commits

Code for working on the 2024 MIT Mystery Hunt Puzzle "The repository with 10,000 commits"

advent-of-code

Solutions for Advent of Code competitions

aoc-to-markdown

Converts a given Advent of Code page to a GitHub-compatible Markdown file.

beautifulhugo

Theme for the Hugo static website generator

beck.dev

Personal blog

cfg

Config Files

co2meter

A Python library for USB CO2 meter

dirnum

Tool for validating that filenames in a directory confirm to a specific format

download-all

Browser extension to download all PDF links on a page

image-tokenize

logic-solvers

Solvers for logic puzzles using Z3

mainpuzzleserver

The main repo for the Puzzle Hunt and Puzzleday servers.

mastermind

Utility for solving mastermind puzzles

maze

Tools for creating, visualizing, and solving mazes

puzzle-lib

Library of puzzle-solving algorithms

puzztool

A tool to help with encodings and ciphers used in puzzle competitions such as Puzzle Hunt, Mystery Hunt

puzztoolbot

A Discord Bot exposing functionality from https://github.com/puzztool/puzzle-lib

ranked-distributor

Allocate items to a set of users in accordance with their preferences

rng-sim

Simulator for an imaginary computer architecture

scheduler

Allocate an event staffing schedule with a SAT Solver

score-scraper

File scraper for The Score radio show

textrank

Utilities for ranking the resemblance of a string to a source language and solving ciphers (such as substitution ciphers) based on the outcome.

tube-search

Querying the Transport for London API with Go