Icestorm and yosys are cool!
Since then even more CPUs are working on ICE40:
https://github.com/cliffordwolf/picorv32
Or a really small and slow one (smaller than J1, but needs more RAM): https://github.com/combinatorylogic/soc/tree/master/backends...