Give my dreamcoder.ai harness a whirl. Runs in your browser on all 3 platforms. Tiling window manager; generous use of keyboard shortcuts, so it's not just for mouse users.