SMT Solvers, Integer Linear Programming

made by shapr, submitted by nicholasbs
Using an SMT solver and linear programming to play the game Endless Sky

Markov Keyboard!

made and submitted by shapr
My first Recurse Center project for Summer 1 2019 was a keyboard map that changes every time you press a letter, to move the most likely next letters to the home row.