Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Skolems | 58 | 4 years ago | 5 | April 28, 2020 | 2 | apache-2.0 | Scala | |||
A microlibrary for Scala encodings of higher-rank quantifiers | ||||||||||
Shellerate | 20 | 2 years ago | 7 | July 07, 2021 | 1 | mit | Python | |||
A shellcode generator with encryption, encoding and polymorphism facilities built-in |