Pinned Repositories
2d-transform
A small literate program for visualising R^2 -> R^2 functions
fg-modules-over-pid
Routines for working with finitely generated modules over a PID. Includes Smith normal form and direct sum decomposition.
grav
Simple gravity simulator
lean-practice
Random math proofs formalised in Lean
math-apps
A collection of applets demonstrating math concepts
metronome
A simple metronome in C
rl
A place for all my reinforcement learning code
vibro
An instrument controlled by computer keyboard and mouse
greysome's Repositories
greysome/metronome
A simple metronome in C
greysome/vibro
An instrument controlled by computer keyboard and mouse
greysome/fg-modules-over-pid
Routines for working with finitely generated modules over a PID. Includes Smith normal form and direct sum decomposition.
greysome/math-apps
A collection of applets demonstrating math concepts
greysome/2d-transform
A small literate program for visualising R^2 -> R^2 functions
greysome/grav
Simple gravity simulator
greysome/lean-practice
Random math proofs formalised in Lean
greysome/rl
A place for all my reinforcement learning code
greysome/2a-chess
Random 4 player chess variant I made
greysome/another-deathswap
Yet another minecraft deathswap plugin, but with support for 2+ players
greysome/chrompoly
Graph editing UI + realtime computation of chromatic polynomial
greysome/dotfiles
Bash, emacs, X config + scripts
greysome/Encryption
Encryption is a simple way to encrypt and decrypt strings on Android and Java project.
greysome/generate-small-rings
Generate small rings
greysome/greysome.github.io
greysome/gridworld-demo
greysome/jnianalyzer
A simple tool to help finding JNI calls in a x86/ARM disassembly listing
greysome/KurtisTech
š„µ
greysome/kurve
greysome/Minecraft
Simple Minecraft-inspired program using Python and Pyglet
greysome/rayt
a C raytracer, with GPUs in mind
greysome/soundstuff
Anything to do with sound generation