I love the overlap of math and CS. Functional programming and correctness/verification are incredibly interesting to me.
Pinned Loading
-
Shopping-List-Problem
Shopping-List-Problem PublicA tricky optimization problem involving infinite branches.
Haskell
-
Predicate-Logic-Parser
Predicate-Logic-Parser PublicParses arbitrary predicate logic statements.
Haskell
-
BrickShack-Studios/BrickHub
BrickShack-Studios/BrickHub PublicLauncher for BrickShack games
-
BrickShack-Studios/BF-IDE
BrickShack-Studios/BF-IDE PublicAn IDE for the BrainF*ck Language
GDScript 1
-
Four-Functions-Suffice
Four-Functions-Suffice PublicUses the elementary arithmetic operators (+, -, *, /) and genetic algorithms to approximate more complex behavior.
Java
-
BrickShack-Studios/GameGOI
BrickShack-Studios/GameGOI PublicGameBoy demake of Getting Over It
GDScript
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.