Packages tagged educational
2 packages have this tag.
[Merge tag] (trustees only)Related tags: library (2), ast (1), bsd3 (1), gpl (1), lambda-cube (1), type-theory (1), typechecking (1), typesystems (1)
Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
|---|---|---|---|---|---|---|---|---|
| MBot | 4 | 2.5 | 1 | Haskell interface for controlling the mBot educational robot | (educational, gpl, library) | 2018-07-23 | 0.2.4.1 | cfscholl |
| typerbole | 5 | 0.0 | 1 | A typesystems library with exaggerated claims | (ast, bsd3, educational, lambda-cube, library, type-theory, typechecking, typesystems) | 2016-07-27 | Lokidottir |