Pinned Repositories
array-helpers-rs
Basic length-generic operations on arrays.
articles
coq-atari-emulator
A formalization of the claim that the game Dragster cannot be beaten in fewer than 5.57 seconds. Proof not included.
cubic-curve
Draw the unique cubic curve through nine points.
cubic-surface
Draw the surface given by a cubic equation in x, y, and z.
curved-spacetime
A simulation of the curved spacetime around a planet.
graham_mod_n
Calculates Graham's number modulo the first billion integers.
knotted-portal
A portal connecting six worlds. The portal frame is knotted!
proof-game
Can mathematical proof be turned into a puzzle game?
seventeen-piano
Seventeen tone (per octave) piano
finegeometer's Repositories
finegeometer/graham_mod_n
Calculates Graham's number modulo the first billion integers.
finegeometer/array-helpers-rs
Basic length-generic operations on arrays.
finegeometer/articles
finegeometer/coq-atari-emulator
A formalization of the claim that the game Dragster cannot be beaten in fewer than 5.57 seconds. Proof not included.
finegeometer/cubic-curve
Draw the unique cubic curve through nine points.
finegeometer/curved-spacetime
A simulation of the curved spacetime around a planet.
finegeometer/webvr-test
finegeometer/non-euclidean-bevy-experiment
What does it take to implement a non-Euclidean game in Bevy?
finegeometer/cubic-surface
Draw the surface given by a cubic equation in x, y, and z.
finegeometer/knotted-portal
A portal connecting six worlds. The portal frame is knotted!
finegeometer/proof-game
Can mathematical proof be turned into a puzzle game?
finegeometer/seventeen-piano
Seventeen tone (per octave) piano
finegeometer/bevy
A refreshingly simple data-driven game engine built in Rust
finegeometer/block-stacker-4d
A 4D block-stacking game.
finegeometer/chain-end-rs
Manipulate the ends of a list independently.
finegeometer/coq-primality-example
Implement a primality test in Coq, and prove it correct.
finegeometer/dragster-lower-bound
An attempt to formally verify that Dragster cannot be beaten in less than 5.57 seconds.
finegeometer/ear-trainer
finegeometer/finegeometer.github.io
Website
finegeometer/four-dimensions-2
finegeometer/four-dimensions-OBSOLETE
A 4-dimensional game.
finegeometer/git-test
Learning to use git
finegeometer/isometric-4d-prototype
Isometric rendering of a 4D world of hypercubes. (Prototype Implementation)
finegeometer/lean-circuits
Formalization of electronic circuits in Lean.
finegeometer/polygon3-rs
Polygon boolean operations, focused on correctness.
finegeometer/render-4d-rs
finegeometer/render-4d-rs-OBSOLETE
Render a 4D world to a 3D screen.
finegeometer/sandpile-3d
3D Abelian Sandpiles
finegeometer/topos-notes
Notes and reference relating to topos theory.
finegeometer/vector-spaces-rs
nalgebra with more type safety: distinguish vector spaces of the same dimension