We found the following 3 published projects which all share the keyword finite amongst their description of software or software methods used.