GitHub repository: tudo-aqua/rage
Primary language: Kotlin
Created: 2023-10-11T12:47:15Z
Description: RAGe: A Generator for Register Automata