-1651252749 | | Toolbox for C family in Typed Racket | fails | 5 |
-1656813108 New | | The (typed) core to construct the digital world | fails | 5 |
-1648575785 | | Essential computer graphics for Typed Racket | fails | 5 |
-1627017352 | | Do we really need a "Typed Shell"? Nevertheless, Unix Shell and Powershell are not friends. | fails | 5 |
-1647359810 | | Open XML for Microsoft Office | fails | 5 |
-1531745110 | | Read (and will write) Photoshop Documents | succeeds | 0 |
-1618704957 | | A data modeling tool for Typed Racket | succeeds | 0 |
-1650678576 | | W3 Standards Implemented in Typed Racket | fails | 5 |