@cicada-lang/mugda.sexp (npm): An implementation of the [Mugda paper](docs/papers/termination-checking-for-a-dependently-typed-language--karl-mehltretter.pdf) by Karl Mehltretter.
Keywords: agda|halting-problem|mugda|termination-checking|type-checker