GitHub repository: werner/dentaku
Description: math and logic formula parser and evaluator