An implementation of Ford-Fulkerson/Edmonds-Karp in OCaml
Implementation of an equality checker for two expressions in Kleene Algebra (Final Project for CS 6861)
web site