Pinned Repositories
f1tv-tweaks
Adds useful tools to add to the usability of the F1TV streaming page.
advent-of-code-2021
chuffed-cert
The Chuffed CP solver
flatzinc
🫓 A parser for the FlatZinc modelling language
nvim-config
raytracing-rs
rust-analyzer
A Rust compiler front-end for IDEs
satisfactory-planner
My own take on a planning tool for Satisfactory.
serenity
The Serenity Operating System 🐞
maartenflippo's Repositories
maartenflippo/flatzinc
🫓 A parser for the FlatZinc modelling language
maartenflippo/chuffed-cert
The Chuffed CP solver
maartenflippo/nvim-config
maartenflippo/shackle
A constraint modelling and rewriting library and compiler framework written in rust
maartenflippo/satisfactory-planner
My own take on a planning tool for Satisfactory.
maartenflippo/simplesat
Simple SAT solver written in Rust
maartenflippo/rust-analyzer
A Rust compiler front-end for IDEs
maartenflippo/raytracing-rs
maartenflippo/serenity
The Serenity Operating System 🐞
maartenflippo/advent-of-code-2021
maartenflippo/f1tv-tweaks
Adds useful tools to add to the usability of the F1TV streaming page.