25 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
azcopy 10.6.0-1 4 0.06 A command-line utility designed for copying data to/from Microsoft Azure xuanruiqi
compcert 3.7-1 2 0.04 The formally verified C compiler xuanruiqi
compcert-git 3.7.r35.gbb9fa555-4 1 0.00 The formally verified C compiler xuanruiqi
intel-advisor 2020.2.254-5 134 0.72 Threading design and prototyping tool for software architects 2020.2.0.606470 xuanruiqi
intel-common-libs 2020.2.254-5 134 0.72 Intel Common Libraries 19.1.2 xuanruiqi
intel-compiler-base 2020.2.254-5 134 0.72 Intel C/C++ 19.1.2 xuanruiqi
intel-fortran-compiler 2020.2.254-5 134 0.72 Intel Fortran compiler 19.1.2 xuanruiqi
intel-inspector 2020.2.254-5 134 0.72 Memory and thread debugger 2020.2.0.604588 xuanruiqi
intel-ipp 2020.2.254-5 134 0.72 Intel Integrated Performance Primitives xuanruiqi
intel-mpi 2020.2.254-5 134 0.72 Intel MPI library xuanruiqi
intel-openmp 2020.2.254-5 134 0.72 Intel OpenMP Implementation 19.1.2 xuanruiqi
intel-tbb_psxe 2020.2.254-5 134 0.72 Intel Threading Building Blocks (TBB) xuanruiqi
intel-vtune-profiler 2020.2.254-5 134 0.72 Performance profiler for serial and parallel performance analysis 2020.2.0.610396 xuanruiqi
libcurl-openssl-1.0 7.71.1-2 29 0.01 An URL retrieval library (without versioned symbols, built against openssl-1.0) xuanruiqi
liquidprompt 1.12.0-2 39 0.19 A useful adaptive prompt for Bash & Zsh xuanruiqi
llvm37 3.7.1-1 0 0.00 Low Level Virtual Machine (installed into /opt/llvm37) xuanruiqi
massivethreads 1.00-1 0 0.00 A Lightweight Thread Library for High Productivity Languages xuanruiqi
noto-fonts-sc 1:2.001-5 4 0.00 Noto CJK-SC fonts for Simplified Chinese xuanruiqi
noto-fonts-tc 1:2.001-1 2 0.00 Noto CJK-TC fonts for Traditional Chinese xuanruiqi
ocaml-menhir-compcert 20200211-1 0 0.00 Latest version of Menhir that can build the latest CompCert release. xuanruiqi
rebuild-initramfs-dracut 1.2.1-1 0 0.00 A helper script to rebuild initramfs images using dracut xuanruiqi
smlsharp 3.6.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
ttf-wps-fonts 1.0-5 93 1.88 Symbol fonts required by wps-office. xuanruiqi
zfs-auto-snapshot-git 1.2.4.r31.92db087-2 9 0.04 Implementation of a snapshotting service for ZFS xuanruiqi

25 packages found. Page 1 of 1.