Talk:Leaper/@comment-2607:FCC8:8A86:3D00:0:0:0:1-20180611141449

For lower level synthesis try Boethius, Mercury.