Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with termination-detection-algorithm
A curated list of projects in awesome lists tagged with termination-detection-algorithm .
https://github.com/rescript-association/reanalyze
Experimental analyses for ReScript and OCaml: globally dead values/types, exception analysis, and termination analysis.
analysis dce deadcodeelimination ocaml rescript termination-detection-algorithm
Last synced: 03 Aug 2024