Seznam obsahuje 1 verzi programu cairn – od 21. dubna 2026 po aktuální verzi 0.5.0. Každá verze vede na instalátory ze serveru výrobce.
cairn: starší verze ke stažení
Verification substrate for AI coding agents
- LicenceOpen source
- Verze0.5.0
- PožadavkyWindows 10, 11
- Datum vydání21. dubna 2026
- Hvězdy na GitHubu★ 1
Nejoblíbenější v kategorii „Jazyky a SDK“
Zobrazit vše-
Go Programming LanguageJazyky a SDK -
LLVMJazyky a SDK · LLVM -
DenoJazyky a SDK · Deno Land Inc. -
CMakeJazyky a SDK · Kitware -
YarnJazyky a SDK · Yarn Contributors -
CcacheJazyky a SDK · Joel Rosdahl -
sbtJazyky a SDK · Lightbend, Inc. -
BOINCJazyky a SDK · Space Sciences Laboratory, U.C. Berkeley -
Dart SDKJazyky a SDK · Google -
NVM for WindowsJazyky a SDK · Ecor Ventures LLC