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 |