Pinned Repositories
automated-proof-gibbard-satterthwaite-theorem
Encoding Social Choice theorems in propositional logic to obtain automated proofs.
cuda-mandelbrot-julia
A visualizer for the Mandelbrot set and Julia sets using the GPU with CUDA®
devspaceship.com
My website about cool nerdy stuff
dotfiles
My dotfiles
madepro
A minimal Rust library for solving finite deterministic Markov decision processes
rust-brainfuck-compiler
A Brainfuck compiler written in Rust
InfoVis-Framework-2020
The example client server architecture for InfoVis 2020 using Flask, Bokeh and D3.
recursion
InformationVisualization
Visualizing Subreddit Conflicts Over Time
devspaceship's Repositories
devspaceship/cuda-mandelbrot-julia
A visualizer for the Mandelbrot set and Julia sets using the GPU with CUDA®
devspaceship/rust-brainfuck-compiler
A Brainfuck compiler written in Rust
devspaceship/devspaceship.com
My website about cool nerdy stuff
devspaceship/dotfiles
My dotfiles
devspaceship/madepro
A minimal Rust library for solving finite deterministic Markov decision processes