9 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
compcert 3.5-4 1 0.11 The formally verified C compiler xuanruiqi
compcert-git 3.5.r77.ga8c84a52-2 1 0.44 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
noto-fonts-sc 1:2.001-3 4 0.01 Noto CJK-SC fonts for Simplified Chinese xuanruiqi
ocaml-menhir-compcert 20181113-2 0 0.00 Latest version of Menhir that can build the latest CompCert release. xuanruiqi
shepherd 0.6.1-1 2 0.00 Service manager that looks after the herd. xuanruiqi
smlsharp 3.4.0-1 5 0.01 A new programming language in the Standard ML family xuanruiqi
ssrmint-git r9.26df1b7-2 0 0.00 Ad-hoc pygments style and lexer for LaTeX pretty-printing of SSReflect xuanruiqi

9 packages found. Page 1 of 1.