6 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
compcert 3.5-2 1 0.63 The formally verified C compiler xuanruiqi
compcert-git 3.5.r36.g5b7fc96a-3 0 0.00 The formally verified C compiler xuanruiqi
llvm37 3.7.1-1 0 0.00 Low Level Virtual Machine (installed into /opt/llvm37) xuanruiqi
massivethreads 0.99-1 0 0.00 A Lightweight Thread Library for High Productivity Languages xuanruiqi
shepherd 0.6.1-1 2 0.00 Service manager that looks after the herd. xuanruiqi
smlsharp 3.4.0-1 5 0.05 A new programming language in the Standard ML family xuanruiqi

6 packages found. Page 1 of 1.