| 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
|