GitHub repository: lambduli/plover
Primary language: Haskell
Description: An implementation of Minilog (my other) toy language with a complete search strategy making it a simple, naive, toy theorem prover with Prolog syntax.