A second bridge has since been added to the repository. This bridge converts AXI4 (full, not lite) to wishbone B4/pipeline.
The AXI4 to Wishbone bridge has just been added to the repository. It's status is known to be broken. Consider it a work in progress.
I have an AXI-lite to wishbone bridge that has passed formal verification testing. Similarly, I have a wishbone to axi-lite bridge. Both of these, to include the formal properties describing the AXI-lite interface, are available to my Patreon subscribers for as little as a $5/month subscription.
Finally, because I've been struggling to access opencores for updates and more, the repository has been moved to GitHub.