DoctorDalek1963
A teenager with a passion for programming, FOSS, and Linux, but mainly mathematics
United Kingdom
Pinned Repositories
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.
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
lintrans
lintrans is a tool to visualize linear transformations in 2D.
nixos-config
My NixOS config
nixvim-config
My Nixvim (Neovim with Nix) config
winter-wonderlights
A program to render 3D effects on a Christmas tree in real time.
DoctorDalek1963's Repositories
DoctorDalek1963/lintrans
lintrans is a tool to visualize linear transformations in 2D.
DoctorDalek1963/winter-wonderlights
A program to render 3D effects on a Christmas tree in real time.
DoctorDalek1963/advent-of-code
Solutions for Advent of Code problems
DoctorDalek1963/chip8
DoctorDalek1963/crane
A Nix library for building cargo projects. Never build twice thanks to incremental artifact caching.
DoctorDalek1963/cv
My personal CV
DoctorDalek1963/LaTeX
A collection of my LaTeX papers: investigations, geometry problems, and crib sheets
DoctorDalek1963/Linux-Setup
A small collection of my Linux config files.
DoctorDalek1963/nixos-config
My NixOS config
DoctorDalek1963/nixvim-config
My Nixvim (Neovim with Nix) config
DoctorDalek1963/game-experiments
A collection of experiments that I can use to play around with game design and Bevy.
DoctorDalek1963/hyprpanel
My bar for Hyprland, adapted from HyprPanel
DoctorDalek1963/lean-playground
A place for me to play around with Lean 4
DoctorDalek1963/ma132
DoctorDalek1963/math2001
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
DoctorDalek1963/nixpkgs
Nix Packages collection & NixOS
DoctorDalek1963/obsidian-modular-css-layout
CSS Layout hack for Obsidian.md
DoctorDalek1963/pento
My version of the Pento app specified in *Programming Phoenix LiveView* by Bruce Tate and Sophie DeBenedetto
DoctorDalek1963/proc-macro-workshop
My solutions to dtolnay/proc-macro-workshop
DoctorDalek1963/raytracer
A simple raytracer in Rust
DoctorDalek1963/rpi-ws281x-rust
Rust bindings to the ws821x library enabled by bindgen.
DoctorDalek1963/rust-lox
Rust implementations of the Lox interpreters in the Crafting Interpreters book
DoctorDalek1963/rust-os
An implementation of Philipp Oppermann's Rust kernel developed in his blog
DoctorDalek1963/standalone-home-manager
A standalone home-manager config for my non-NixOS machines
DoctorDalek1963/strange-macro
A repo for a strange Rust macro
DoctorDalek1963/test-tracker
A system to track which past papers you have previously completed.
DoctorDalek1963/thanatophobia
GNOME extension for productivity boost
DoctorDalek1963/tic-tac-toe
DoctorDalek1963/trinity
A program to visualise and interact with matrices
DoctorDalek1963/wordle
A simple Wordle clone written in Rust.