GitHub repository: Deducteam/dkmeta
Primary language: OCaml
Description: A tool to rewrite Dedukti terms using rewrite rules