Packages tagged system---
1 package has this tag.
[Merge tag] (trustees only)Related tags: gpl (1), program (1)
Name | DLs | Rating | Rev Deps | Description | Tags | Last U/L | Last Version | Maintainers |
|---|---|---|---|---|---|---|---|---|
| ggtsTC | 5 | 0.0 | 1 | A type checker and runtime system of rCOS/g (impl. of ggts-FCS). | (gpl, program, system---) | 2014-01-29 | 0.5 | brianchon |