z3-stable-git
|
4.8.4.g05663592e-1 |
0 |
0.00
|
Z3 is a high-performance theorem prover being developed at Microsoft Research (built from Github) |
Ice_Phoenix
|
2019-03-12 14:50 (UTC) |
z3-git
|
4.12.2.r453.g2354998cd-1 |
8 |
0.00
|
Z3 is a theorem prover from Microsoft Research |
d.woffinden
|
2023-11-26 14:37 (UTC) |
wine-stable-mono
|
8.1.0-1 |
3 |
0.00
|
Wine’s built-in replacement for Microsoft’s .NET Framework (for wine-stable) |
chungy
|
2024-02-13 19:51 (UTC) |
walinuxagent
|
2.10.0.8-1 |
5 |
0.00
|
Microsoft Azure Linux Agent |
matmoul
|
2024-03-28 00:12 (UTC) |
vlmcsd-git
|
r29.65228e5-2 |
7 |
0.00
|
KMS Emulator in C (for activating Microsoft products) |
JerryXiao
|
2021-02-01 11:12 (UTC) |
vim-dbext
|
26.00-1 |
0 |
0.00
|
Provides database access to many DBMS (Oracle, Sybase, Microsoft, MySQL, DBI,..) |
dviktor
|
2022-01-20 17:31 (UTC) |
verona
|
8-2 |
0 |
0.00
|
Microsoft's Verona programming language interpreter and compiler |
Yuhanun
|
2020-04-18 15:28 (UTC) |
uf2conv-rs-git
|
0.1.0.r6.g8dd76fd-1 |
0 |
0.00
|
Converts binary files to Microsoft's UF2 format https://github.com/Microsoft/uf2 |
taotieren
|
2024-03-08 10:15 (UTC) |
ucanaccess
|
5.0.1-1 |
1 |
0.00
|
Java JDBC driver implementation that allows to read/write Microsoft Access databases |
orphan
|
2022-10-18 09:06 (UTC) |
tts-vue
|
1.9.15-7 |
0 |
0.00
|
Microsoft speech synthesis tool, built using Electron+Vue+ElementPlus+Vite.微软语音合成工具,使用Electron+Vue+ElementPlus+Vite构建。 |
zxp19821005
|
2024-03-22 05:17 (UTC) |
ttf-xo-fonts
|
23.10-1 |
1 |
0.00
|
XO by MyOffice provide metric-compatible fonts with Microsoft to display documents without distortion and violation of the structure |
Drommer
|
2023-10-01 18:27 (UTC) |
ttf-wps-win10
|
1.0.0-3 |
5 |
0.00
|
Symbol fonts required by wps-office from Microsoft Windows 10 |
dreamingincode
|
2023-09-23 04:24 (UTC) |
ttf-win7-fonts
|
7.1-9 |
87 |
0.00
|
Microsoft Windows 7 Latin and International TrueType fonts |
severach
|
2017-05-04 00:01 (UTC) |
ttf-win10
|
19043.928.210409-2 |
5 |
0.00
|
Microsoft Windows 10 TrueType fonts |
pyxel
|
2021-11-02 18:18 (UTC) |
ttf-vista-fonts
|
1-11 |
435 |
0.88
|
Microsoft Vista and Office 2007 True Type Fonts |
mrxx
|
2021-10-12 09:23 (UTC) |
ttf-times-new-roman
|
2.0-3 |
3 |
0.65
|
Times New Roman font from Microsoft |
Sherlock-Holo
|
2020-07-05 11:01 (UTC) |
ttf-office-2007-fonts
|
1.0-3 |
16 |
0.00
|
Microsoft Office 2007 TrueType Fonts. |
severach
|
2017-05-04 00:13 (UTC) |
ttf-ms-win8-zh_tw
|
6.3.9600.17238-1 |
62 |
0.00
|
Microsoft Windows 8.1 Latin and International TrueType fonts |
severach
|
2017-07-13 07:10 (UTC) |
ttf-ms-win8-zh_cn
|
6.3.9600.17238-1 |
62 |
0.00
|
Microsoft Windows 8.1 Latin and International TrueType fonts |
severach
|
2017-07-13 07:10 (UTC) |
ttf-ms-win8-thai
|
6.3.9600.17238-1 |
62 |
0.00
|
Microsoft Windows 8.1 Latin and International TrueType fonts |
severach
|
2017-07-13 07:10 (UTC) |
ttf-ms-win8-sea
|
6.3.9600.17238-1 |
62 |
0.00
|
Microsoft Windows 8.1 Latin and International TrueType fonts |
severach
|
2017-07-13 07:10 (UTC) |
ttf-ms-win8-other
|
6.3.9600.17238-1 |
62 |
0.00
|
Microsoft Windows 8.1 Latin and International TrueType fonts |
severach
|
2017-07-13 07:10 (UTC) |
ttf-ms-win8-korean
|
6.3.9600.17238-1 |
62 |
0.00
|
Microsoft Windows 8.1 Latin and International TrueType fonts |
severach
|
2017-07-13 07:10 (UTC) |
ttf-ms-win8-japanese
|
6.3.9600.17238-1 |
62 |
0.00
|
Microsoft Windows 8.1 Latin and International TrueType fonts |
severach
|
2017-07-13 07:10 (UTC) |
ttf-ms-win8-indic
|
6.3.9600.17238-1 |
62 |
0.00
|
Microsoft Windows 8.1 Latin and International TrueType fonts |
severach
|
2017-07-13 07:10 (UTC) |
ttf-ms-win8-hebrew
|
6.3.9600.17238-1 |
62 |
0.00
|
Microsoft Windows 8.1 Latin and International TrueType fonts |
severach
|
2017-07-13 07:10 (UTC) |
ttf-ms-win8-arabic
|
6.3.9600.17238-1 |
62 |
0.00
|
Microsoft Windows 8.1 Latin and International TrueType fonts |
severach
|
2017-07-13 07:10 (UTC) |
ttf-ms-win8
|
6.3.9600.17238-1 |
62 |
0.00
|
Microsoft Windows 8.1 Latin and International TrueType fonts |
severach
|
2017-07-13 07:10 (UTC) |
ttf-ms-win11-zh_tw
|
10.0.22631.3155-1 |
24 |
0.97
|
Microsoft Windows 11 Traditional Chinese TrueType fonts |
Vaporeon
|
2024-02-14 03:51 (UTC) |
ttf-ms-win11-zh_cn
|
10.0.22631.3155-1 |
24 |
0.97
|
Microsoft Windows 11 Simplified Chinese TrueType fonts |
Vaporeon
|
2024-02-14 03:51 (UTC) |
ttf-ms-win11-thai
|
10.0.22631.3155-1 |
24 |
0.97
|
Microsoft Windows 11 Thai TrueType fonts |
Vaporeon
|
2024-02-14 03:51 (UTC) |
ttf-ms-win11-sea
|
10.0.22631.3155-1 |
24 |
0.97
|
Microsoft Windows 11 Southeast Asian TrueType fonts |
Vaporeon
|
2024-02-14 03:51 (UTC) |
ttf-ms-win11-other
|
10.0.22631.3155-1 |
24 |
0.97
|
Microsoft Windows 11 Other TrueType fonts |
Vaporeon
|
2024-02-14 03:51 (UTC) |
ttf-ms-win11-korean
|
10.0.22631.3155-1 |
24 |
0.97
|
Microsoft Windows 11 Korean TrueType fonts |
Vaporeon
|
2024-02-14 03:51 (UTC) |
ttf-ms-win11-japanese
|
10.0.22631.3155-1 |
24 |
0.97
|
Microsoft Windows 11 Japanese TrueType fonts |
Vaporeon
|
2024-02-14 03:51 (UTC) |
ttf-ms-win11-fod-zh_cn
|
10.0.22631.2506-3 |
2 |
0.03
|
Microsoft Windows 11 Chinese (Simplified) Supplemental Fonts |
yutsing
|
2023-11-12 04:27 (UTC) |
ttf-ms-win11-fod-japanese
|
10.0.22631.2506-1 |
0 |
0.00
|
Microsoft Windows 11 Japanese Supplemental Fonts |
yutsing
|
2023-11-12 05:18 (UTC) |
ttf-ms-win11-fod-auto-thai
|
22621.1.220506_1250-1 |
1 |
0.65
|
Microsoft Windows 11 TrueType FOD fonts (thai) |
huyz
|
2024-03-02 15:12 (UTC) |
ttf-ms-win11-fod-auto-telu
|
22621.1.220506_1250-1 |
1 |
0.65
|
Microsoft Windows 11 TrueType FOD fonts (telu) |
huyz
|
2024-03-02 15:12 (UTC) |
ttf-ms-win11-fod-auto-taml
|
22621.1.220506_1250-1 |
1 |
0.65
|
Microsoft Windows 11 TrueType FOD fonts (taml) |
huyz
|
2024-03-02 15:12 (UTC) |
ttf-ms-win11-fod-auto-syrc
|
22621.1.220506_1250-1 |
1 |
0.65
|
Microsoft Windows 11 TrueType FOD fonts (syrc) |
huyz
|
2024-03-02 15:12 (UTC) |
ttf-ms-win11-fod-auto-sinh
|
22621.1.220506_1250-1 |
1 |
0.65
|
Microsoft Windows 11 TrueType FOD fonts (sinh) |
huyz
|
2024-03-02 15:12 (UTC) |
ttf-ms-win11-fod-auto-paneuropean
|
22621.1.220506_1250-1 |
1 |
0.65
|
Microsoft Windows 11 TrueType FOD fonts (paneuropean) |
huyz
|
2024-03-02 15:12 (UTC) |
ttf-ms-win11-fod-auto-orya
|
22621.1.220506_1250-1 |
1 |
0.65
|
Microsoft Windows 11 TrueType FOD fonts (orya) |
huyz
|
2024-03-02 15:12 (UTC) |
ttf-ms-win11-fod-auto-mlym
|
22621.1.220506_1250-1 |
1 |
0.65
|
Microsoft Windows 11 TrueType FOD fonts (mlym) |
huyz
|
2024-03-02 15:12 (UTC) |
ttf-ms-win11-fod-auto-laoo
|
22621.1.220506_1250-1 |
1 |
0.65
|
Microsoft Windows 11 TrueType FOD fonts (laoo) |
huyz
|
2024-03-02 15:12 (UTC) |
ttf-ms-win11-fod-auto-kore
|
22621.1.220506_1250-1 |
1 |
0.65
|
Microsoft Windows 11 TrueType FOD fonts (kore) |
huyz
|
2024-03-02 15:12 (UTC) |
ttf-ms-win11-fod-auto-knda
|
22621.1.220506_1250-1 |
1 |
0.65
|
Microsoft Windows 11 TrueType FOD fonts (knda) |
huyz
|
2024-03-02 15:12 (UTC) |
ttf-ms-win11-fod-auto-khmr
|
22621.1.220506_1250-1 |
1 |
0.65
|
Microsoft Windows 11 TrueType FOD fonts (khmr) |
huyz
|
2024-03-02 15:12 (UTC) |
ttf-ms-win11-fod-auto-jpan
|
22621.1.220506_1250-1 |
1 |
0.65
|
Microsoft Windows 11 TrueType FOD fonts (jpan) |
huyz
|
2024-03-02 15:12 (UTC) |