I think https://github.com/j-core/j-core-ice40 is the better repo to check out.