مشهور: معلومات په AP ۱۴۰۵ لړم ۵ تازه شول

کټګورۍ

انټرنېټ۱٬۳۵۶
اړیکې۳۲۱
غږ او ویډیو۸۹۸
ګرافیک او ډیزاین۵۳۹
دفتري او تولیدي۱٬۱۲۴
د پراختیا وسایل۳٬۱۳۴
د AI وسایل۵۲۹
امنیت او محرمیت۳۸۵
د سیستم وسایل۳٬۱۱۴
لوبې۵۲۳
زده کړه او ساینس۲۳۹
شبکه او IT۲۸۴

د z3 بدیلونه

Theorem prover from Microsoft Research.

ټرمینلونه او CLI وسایل

د z3 په کټګورۍ کې ۱۲ Windows پروګرامونه، د ګډو ځانګړنو او شهرت له مخې ترتیب شوي.

  • PowerShell

    ټرمینلونه او CLI وسایل · Microsoft Corporation

    خلاصه سرچینه (open source) 7.6.9.0 ۶۸۹٫۶K ↓ ★ ۵۵٫۹K cross-platform
  • QPDF

    ټرمینلونه او CLI وسایل · QPDF

    خلاصه سرچینه (open source) 12.4.2 ۲٫۱M ↓ ★ ۵٫۵K cross-platform
  • Oh My Posh

    ټرمینلونه او CLI وسایل · Jan De Dobbeleer

    خلاصه سرچینه (open source) 31.9.1 ۸۲۰٫۸K ↓ ★ ۲۳٫۶K
  • yq

    ټرمینلونه او CLI وسایل · Mike Farah

    خلاصه سرچینه (open source) 4.54.1 ۱٫۵M ↓ ★ ۱۶٫۲K
  • PuTTY

    ټرمینلونه او CLI وسایل · Simon Tatham

    خلاصه سرچینه (open source) 0.85.0.0 ۵٫۳M ↓ cross-platform
  • Alacritty

    ټرمینلونه او CLI وسایل · Alacritty

    خلاصه سرچینه (open source) 0.17.0 ۷۵٫۹K ↓ ★ ۶۶K
  • fzf

    ټرمینلونه او CLI وسایل · Junegunn Choi

    خلاصه سرچینه (open source) 0.74.5 ۲۹۰٫۱K ↓ ★ ۸۳٫۷K
  • Spicetify

    ټرمینلونه او CLI وسایل · Spicetify

    خلاصه سرچینه (open source) 2.45.3 ۱۱۲٫۵K ↓ ★ ۲۵٫۲K commandline, cross-platform
  • cURL

    ټرمینلونه او CLI وسایل · curl

    وړیا 8.23.0.5 ۵٫۹M ↓
  • lazygit

    ټرمینلونه او CLI وسایل · Jesse Duffield

    خلاصه سرچینه (open source) 0.66.1 ۷۹٫۵K ↓ ★ ۸۳٫۴K cross-platform
  • Tabby

    ټرمینلونه او CLI وسایل · Tabby Developers

    خلاصه سرچینه (open source) 1.0.238 ۸۵٫۷K ↓ ★ ۷۵٫۱K
  • starship

    ټرمینلونه او CLI وسایل · Starship Contributors

    خلاصه سرچینه (open source) 1.27.0 ۱۲۷٫۸K ↓ ★ ۶۰٫۴K

پرتله

پروګرامجوازنسخهتازه شوید GitHub ستوريد Chocolatey ډاونلوډونه
z3 خلاصه سرچینه (open source) 5.3.1 — ۱۶٫۵K
PowerShell خلاصه سرچینه (open source) 7.6.9.0 AP ۱۴۰۵ لړم ۳ ۵۵٫۹K ۶۸۹٫۶K
QPDF خلاصه سرچینه (open source) 12.4.2 AP ۱۴۰۵ تله ۵ ۵٫۵K ۲٫۱M
Oh My Posh خلاصه سرچینه (open source) 31.9.1 AP ۱۴۰۵ تله ۲۸ ۲۳٫۶K ۸۲۰٫۸K
yq خلاصه سرچینه (open source) 4.54.1 AP ۱۴۰۵ لړم ۳ ۱۶٫۲K ۱٫۵M
PuTTY خلاصه سرچینه (open source) 0.85.0.0 AP ۱۴۰۵ وږی ۱۹ — ۵٫۳M
Alacritty خلاصه سرچینه (open source) 0.17.0 AP ۱۴۰۵ وری ۱۷ ۶۶K ۷۵٫۹K
fzf خلاصه سرچینه (open source) 0.74.5 AP ۱۴۰۵ تله ۲۷ ۸۳٫۷K ۲۹۰٫۱K
Spicetify خلاصه سرچینه (open source) 2.45.3 AP ۱۴۰۵ تله ۲۳ ۲۵٫۲K ۱۱۲٫۵K
cURL وړیا 8.23.0.5 AP ۱۴۰۵ لړم ۱ — ۵٫۹M
lazygit خلاصه سرچینه (open source) 0.66.1 AP ۱۴۰۵ تله ۲۴ ۸۳٫۴K ۷۹٫۵K
Tabby خلاصه سرچینه (open source) 1.0.238 AP ۱۴۰۵ تله ۱۵ ۷۵٫۱K ۸۵٫۷K
starship خلاصه سرچینه (open source) 1.27.0 AP ۱۴۰۵ تله ۲۷ ۶۰٫۴K ۱۲۷٫۸K