Pinned Repositories
braid-like-game
coquille
Interactive theorem proving with Coq in vim.
epic-space-adventure
hanabi.rs
Hanabi simulation in rust
hanamikoji
hyperbolic_canvas
A lua/love visualization of a tiled hyperbolic plane that you can move around in
railroads
hanabi.rs
State of the art Hanabi bots + simulation framework in rust
felixbauckholt's Repositories
felixbauckholt/hyperbolic_canvas
A lua/love visualization of a tiled hyperbolic plane that you can move around in
felixbauckholt/braid-like-game
felixbauckholt/coquille
Interactive theorem proving with Coq in vim.
felixbauckholt/epic-space-adventure
felixbauckholt/hanabi.rs
Hanabi simulation in rust
felixbauckholt/hanamikoji