GitHub repository: netkat-lang/idd
Primary language: OCaml
Description: Identity suppressed decision diagrams