Seznam zajema 1 različico programa cairn, od 21. april 2026 do trenutne 0.5.0. Vsaka vodi do namestitvenih datotek na strežniku izdajatelja.
| Različica | Datum | Velikost | Datoteke |
|---|---|---|---|
| 0.5.0Najnovejša | 21. april 2026 | — | 64-bitno ZIP |
cairn: starejše različice za prenos
Verification substrate for AI coding agents
- LicencaOdprta koda
- Različica0.5.0
- ZahteveWindows 10, 11
- Izdano21. april 2026
- Zvezdice na GitHubu★ 1
Najbolj priljubljeno v kategoriji „Jeziki in SDK“
Prikaži vse-
Go Programming LanguageJeziki in SDK -
LLVMJeziki in SDK · LLVM -
DenoJeziki in SDK · Deno Land Inc. -
CMakeJeziki in SDK · Kitware -
YarnJeziki in SDK · Yarn Contributors -
CcacheJeziki in SDK · Joel Rosdahl -
sbtJeziki in SDK · Lightbend, Inc. -
BOINCJeziki in SDK · Space Sciences Laboratory, U.C. Berkeley -
Dart SDKJeziki in SDK · Google -
TelegrafJeziki in SDK · InfluxData Inc.