GitHub repository: pieterjan84/halting-analysis
Primary language: TypeScript
Description: Halting analysis algorithm