Praspel
formal specification language for PHP
Wikidata: Q3401385
Programming paradigms: design by contract
Search on GitHub
| Name | Description | Last pushed to | Open issues | Forks | Stars | Size |
|---|
Latest data update: 2022-09-16
formal specification language for PHP
Wikidata: Q3401385
Programming paradigms: design by contract
| Name | Description | Last pushed to | Open issues | Forks | Stars | Size |
|---|
Latest data update: 2022-09-16