Outil dédié à la manipulation syntaxique d'instructions RISC-V pour faciliter leur analyse et leur décodage. Initialement conçu pour rendre paramétrable un processeur RISC-V dans un fork de Kôika, il permet aux développeurs et chercheurs de travailler sur des architectures matérielles de manière formelle et précise.