Looks like it was a cool project, but the last commit was 2 years ago. I’d suggest looking at Algo (https://github.com/trailofbits/algo), which is similar, but actively maintained.
Woah. I'm glad you revealed this to me before I stumbled into a year-long yak shaving session.