Ah Alexh, good to hear from you, you are alive still then.
As far as I am aware all the other boards running the MiniMIG core have just updated the IO and used the code as is. The MCC project (french-shark I believe on this board) has added an SDRAM controller and is using Tobias' soft core. However, he has not made the source code available, so he is not contributing anything back.
Jakub has done really well adding a lot of support for AGA and bug fixes, but the code does need a re-write to improve area and timing. Jakub and I both feel happier in VHDL so that's what I'm doing. It's a step by step process optimizing one model at a time for now. You can mix and match Verilog and VHDL. Overtime the interface between the chips will change, but the top level will still be able to be used with the original MiniMIG board at least, assuming it fits.
There is nothing to stop people taking the new code and porting it to other platforms, although it is only the C-One and MCC with FPGAs big enough for the soft-core which can run the AGA version.
Both of these are essentially closed source commercial projects, and if they do take our code they will need to push back their adaptations and improvements back under the license agreement.
/Mike