doctordalek1963 Goto Github PK

advent-of-code

Solutions for Advent of Code problems

chip8

color-oracle-java

color-oracle-java

crane

A Nix library for building cargo projects. Never build twice thanks to incremental artifact caching.

cv

My personal CV

game-experiments

A collection of experiments that I can use to play around with game design and Bevy.

julia-gravity

A small Julia project to do an n-body gravity simulation.

latex

A collection of my LaTeX papers: investigations, geometry problems, and crib sheets

lean-playground

A place for me to play around with Lean 4

lintrans

lintrans is a tool to visualize linear transformations in 2D.

linux-setup

A small collection of my Linux config files.

math2001

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

nixos-config

My NixOS config

nixpkgs

Nix Packages collection & NixOS

nixvim-config

My Nixvim (Neovim with Nix) config

obsidian-modular-css-layout

CSS Layout hack for Obsidian.md

pento

My version of the Pento app specified in *Programming Phoenix LiveView* by Bruce Tate and Sophie DeBenedetto

probcalc

A simple Python package to make calculating probabilities easier.

proc-macro-workshop

My solutions to dtolnay/proc-macro-workshop

python-project-template

A simple template repo for a basic Python project.

raytracer

A simple raytracer in Rust

rpi-ws281x-rust

Rust bindings to the ws821x library enabled by bindgen.

rust-lox

Rust implementations of the Lox interpreters in the Crafting Interpreters book

snake

The same simple snake game in multiple languages.

strange-macro

A repo for a strange Rust macro

test-tracker

A system to track which past papers you have previously completed.

thanatophobia

GNOME extension for productivity boost

tic-tac-toe

whatsapp-google-drive-extractor

Allows WhatsApp users on Android to extract their backed up WhatsApp data from Google Drive.

winter-wonderlights

A program to render 3D effects on a Christmas tree in real time.