9 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
compcert 3.6-1 1 0.03 The formally verified C compiler xuanruiqi
compcert-git 3.6.r1.gf1637021-3 1 0.12 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.00 Noto CJK-SC fonts for Simplified Chinese xuanruiqi
ocaml-menhir-compcert 20190924-1 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.00 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.