looks like that one isn't there any more, but here's a link to the old version: https://github.com/andrew-wilkes/digital-logic
