Här listas 1 versioner av cairn, från 21 april 2026 till den aktuella 0.5.0. Varje version länkar till utgivarens egna installationsfiler.
| Version | Datum | Storlek | Filer |
|---|---|---|---|
| 0.5.0Senaste | 21 april 2026 | — | 64-bitars ZIP |
cairn: äldre versioner att ladda ner
Verification substrate for AI coding agents
- LicensÖppen källkod
- Version0.5.0
- KräverWindows 10, 11
- Släppt21 april 2026
- GitHub-stjärnor★ 1
Populärast i Språk och SDK:er
Visa alla-
Go Programming LanguageSpråk och SDK:er -
LLVMSpråk och SDK:er · LLVM -
DenoSpråk och SDK:er · Deno Land Inc. -
CMakeSpråk och SDK:er · Kitware -
YarnSpråk och SDK:er · Yarn Contributors -
CcacheSpråk och SDK:er · Joel Rosdahl -
sbtSpråk och SDK:er · Lightbend, Inc. -
BOINCSpråk och SDK:er · Space Sciences Laboratory, U.C. Berkeley -
Dart SDKSpråk och SDK:er · Google -
NVM for WindowsSpråk och SDK:er · Ecor Ventures LLC