Εδώ καταγράφονται 1 έκδοση του cairn, από τις 21 Απριλίου 2026 έως την τρέχουσα 0.5.0. Κάθε έκδοση οδηγεί στα αρχεία εγκατάστασης του ίδιου του εκδότη.
| Έκδοση | Ημερομηνία | Μέγεθος | Αρχεία |
|---|---|---|---|
| 0.5.0Τελευταία | 21 Απριλίου 2026 | — | 64-bit ZIP |
cairn: παλαιότερες εκδόσεις και ιστορικό
Verification substrate for AI coding agents
- ΆδειαΑνοιχτού κώδικα
- Έκδοση0.5.0
- ΑπαιτήσειςWindows 10, 11
- Κυκλοφορία21 Απριλίου 2026
- Αστέρια GitHub★ 1
Τα πιο δημοφιλή: Γλώσσες και SDK
Όλα-
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. -
BOINCΓλώσσες και SDK · Space Sciences Laboratory, U.C. Berkeley -
Dart SDKΓλώσσες και SDK · Google -
NVM for WindowsΓλώσσες και SDK · Ecor Ventures LLC