GitHub repository: ucb-art/builtin-debugger
Primary language: Scala
Description: Builtin Logic Analyzer and Builtin Pattern Generator