Packages with libraries and tools to analyze (Curry) programs
call-analysis casc cass cass-analysis curry-source currybrowse currydoc currypp failfree importusage peval peval-noshare property-prover residuation-analysis stylechecker transbooleq verify-non-fail