calculus-ratiocinator
