Pinned Loading

1. LambekCalculusHOList LambekCalculusHOList Public

   experiments with proving sequents of a Lambek calculus with HOList/DeepHOL

   OCaml

2. Homunculus-Playtesting Homunculus-Playtesting Public

   A framework for AI-driven design of two player zero-sum games

   Java

3. RedditTools RedditTools Public

   a number of different tools and experiments using Reddit's API.

   Python 2

4. FightorFlight FightorFlight Public

   habit improvement helper

   Python 1

5. Couriers Couriers Public

   Dota custom game. Control the courier and guide your team of idiot bots to victory.

   Lua 1 1

6. CrosswordGenerator CrosswordGenerator Public

   Procedurally generate crosswords!

   Python 4 1