Logic simulation tool designed for rapid single flux quantum (RSFQ) circuits. Now, the program is also in github.
Reversi program utilizing Monte Carlo tree search (MCTS)