د cairn بدیلونه
Verification substrate for AI coding agents
- جوازخلاصه سرچینه (open source)
- نسخه0.5.0
- اړتیاWindows 10, 11
- د خپرېدو نېټهAP ۱۴۰۵ غویی ۱
- د GitHub ستوري★ ۱
د cairn په کټګورۍ کې ۱۲ Windows پروګرامونه، د ګډو ځانګړنو او شهرت له مخې ترتیب شوي.
-
Go Programming Languageد پروګرام ژبې او SDK
-
LLVMد پروګرام ژبې او SDK · LLVM
-
Denoد پروګرام ژبې او SDK · Deno Land Inc.
-
CMakeد پروګرام ژبې او SDK · Kitware
-
Yarnد پروګرام ژبې او SDK · Yarn Contributors
-
Ccacheد پروګرام ژبې او SDK · Joel Rosdahl
-
sbtد پروګرام ژبې او SDK · Lightbend, Inc.
-
etcdد پروګرام ژبې او SDK · etcd-io
-
BOINCد پروګرام ژبې او SDK · Space Sciences Laboratory, U.C. Berkeley
-
Dart SDKد پروګرام ژبې او SDK · Google
-
mise-en-placeد پروګرام ژبې او SDK · jdx
-
Typstد پروګرام ژبې او SDK · Typst GmbH
پرتله
| پروګرام | جواز | نسخه | تازه شوی | د GitHub ستوري | د Chocolatey ډاونلوډونه |
|---|---|---|---|---|---|
| خلاصه سرچینه (open source) | 0.5.0 | AP ۱۴۰۵ غویی ۲ | ۱ | — | |
| خلاصه سرچینه (open source) | 1.27.3 | AP ۱۴۰۵ لړم ۱۰ | ۱۳۹٫۴K | ۲٫۱M | |
| خلاصه سرچینه (open source) | 23.1.5 | AP ۱۴۰۵ لړم ۱۳ | ۴۱٫۲K | ۲٫۸M | |
| خلاصه سرچینه (open source) | 2.9.8 | AP ۱۴۰۵ تله ۲۹ | ۱۰۸٫۷K | ۲۴۹٫۷K | |
| خلاصه سرچینه (open source) | 4.4.4 | AP ۱۴۰۵ تله ۱۳ | ۸٫۱K | ۳٫۷M | |
| خلاصه سرچینه (open source) | 1.22.22 | AP ۱۴۰۳ غبرگولی ۱۰ | ۴۱٫۵K | ۱٫۹M | |
| خلاصه سرچینه (open source) | 4.14.2 | AP ۱۴۰۵ لړم ۱۴ | ۳K | ۲٫۲M | |
| خلاصه سرچینه (open source) | 2.0.12 | AP ۱۴۰۵ لړم ۶ | ۵K | ۲۶۵٫۲K | |
| خلاصه سرچینه (open source) | 3.7.3 | AP ۱۴۰۵ لړم ۳ | ۵۲٫۴K | ۵۷٫۲K | |
| خلاصه سرچینه (open source) | 8.2.13 | AP ۱۴۰۵ وږی ۳۰ | ۲٫۵K | ۱۲٫۵K | |
| خلاصه سرچینه (open source) | 3.13.7 | AP ۱۴۰۵ لړم ۲ | ۱۱٫۳K | ۱٫۵M | |
| خلاصه سرچینه (open source) | 2026.11.2 | AP ۱۴۰۵ لړم ۱۵ | ۳۵٫۳K | ۱۲۰٫۲K | |
| خلاصه سرچینه (open source) | 0.15.1 | AP ۱۴۰۵ چنگاښ ۲۶ | ۵۶٫۸K | ۷٫۶K |