Projects in Awesome Lists tagged with termination-checking

A curated list of projects in awesome lists tagged with termination-checking .

• Sort

  • Recently synced
  • Stars

https://github.com/xieyuheng/mugda

An implementation of the mugda paper

agda halting-problem mugda termination-checking type-checker

Last synced: 30 Sep 2025

https://github.com/deividrvale/nijn-coq-script-generation

OCaml module of Nijn to generate coq scripts for checking termination proofs of higher-order rewriting systems.

coq termination-checking

Last synced: 24 Jan 2026