Is language-sygus safe to use?

language-sygus has no known vulnerabilities on the latest version (0.1.1.3). DepScope rates its health at 45/100 (high risk).

What is the latest version of language-sygus?

The latest version of language-sygus is 0.1.1.3, released 2026-01-11.

No known vulnerabilities on the latest version of language-sygus.

No, language-sygus is actively maintained. Latest release: 0.1.1.3 (2026-01-11).

DepScope has no curated alternatives for language-sygus at this time.

language-sygus is licensed under BSD-3-Clause.

hackagev0.1.1.3

A parser and printer for the SyGuS 2.0 language.

License BSD-3-Clausepermissive5 versions1 maintainers0 deps

/ 100

Health

safe to use

[email protected] is safe to use (health: 45/100)

Health breakdown0 – 100

15/25

maintenance

0/20

popularity

25/25

security

3/15

maturity

2/15

community

Vulnerabilities

none known

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/hackage/language-sygus

Last updated · 2026-01-11T04:22:35.99185827Z