Here we have an observational equivalence checker for second order Idealised Algol written in Ocaml using game semantics. Secondly we have Lablgtk-based version of the board game Labyrinth. This can be played with multiple humans hot-seat or against simple but sufficient AI players. Windows build (needing GTK,) and the source.
Here is the Yoda project, an extensive adventure game engine in the style of LucasArts' Yoda Stories. It is developed in F#. Other projects in F# include a text adventure engine and a 3D RayTracer. Here are some thoughts about this language.
For my A Level Computing, I produced a fractal generation program (some information about fractals.)
Some projects from my youth include Labryinth, Chameleonic Bomberman and Virtual Refectory. We also have a JavaScript implementation of LightsOut; a Connect Four computer game with an early primitive AI opponent; a random Word Creator and a DirectX attempt at an incomplete OO Civilisation style-game. Probably to be avoided.