EnglishFranceseCorsi

Favicon di OnWorks

Download di SDK di crittografia AWS per Dafny per Windows

Scarica gratuitamente SDK di crittografia AWS per l'app Windows Dafny per eseguire online Win Wine in Ubuntu online, Fedora online o Debian online

Questa è l'app Windows denominata AWS Encryption SDK per Dafny la cui ultima versione può essere scaricata come 4.0.0--2023-10-11sourcecode.zip. Può essere eseguito online nel provider di hosting gratuito OnWorks per workstation.

Scarica ed esegui online gratuitamente questa app denominata AWS Encryption SDK per Dafny con OnWorks.

Segui queste istruzioni per eseguire questa app:

- 1. Scaricata questa applicazione sul tuo PC.

- 2. Entra nel nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.

- 3. Carica questa applicazione in tale file manager.

- 4. Avvia qualsiasi emulatore online OS OnWorks da questo sito Web, ma migliore emulatore online Windows.

- 5. Dal sistema operativo OnWorks Windows che hai appena avviato, vai al nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.

- 6. Scarica l'applicazione e installala.

- 7. Scarica Wine dai repository software delle tue distribuzioni Linux. Una volta installato, puoi quindi fare doppio clic sull'app per eseguirli con Wine. Puoi anche provare PlayOnLinux, un'interfaccia fantasiosa su Wine che ti aiuterà a installare programmi e giochi Windows popolari.

Wine è un modo per eseguire il software Windows su Linux, ma senza Windows richiesto. Wine è un livello di compatibilità Windows open source in grado di eseguire programmi Windows direttamente su qualsiasi desktop Linux. Essenzialmente, Wine sta cercando di re-implementare abbastanza Windows da zero in modo che possa eseguire tutte quelle applicazioni Windows senza effettivamente bisogno di Windows.

IMMAGINI

Ad


SDK di crittografia AWS per Dafny


DESCRIZIONE

Per la creazione, SDK di crittografia AWS richiede la versione più aggiornata di dafny sul tuo PERCORSO. Inoltre, questo progetto utilizza le attività di verifica parallela fornite dal plug-in MSBuild dafny.msbuild e pertanto richiede dotnet 3.0. I test attualmente richiedono implementazioni native di primitive crittografiche e altri metodi, quindi possono essere eseguiti solo quando si incorpora questa libreria in uno dei linguaggi di destinazione della compilazione supportati da Dafny. Questo repository utilizza Duvet per documentare direttamente le specifiche insieme a questa implementazione. Fare riferimento alle specifiche su come installare il piumone per generare report. Per impostazione predefinita duvet_report estrarrà le specifiche solo se non riesce a trovare la directory di conformità nel repository delle specifiche, ma riutilizzerà un'estrazione precedente se esiste.



Caratteristiche

  • Questa libreria è concessa in licenza con la licenza Apache 2.0
  • Questo repository utilizza Duvet per documentare direttamente le specifiche insieme a questa implementazione
  • Per impostazione predefinita duvet_report estrarrà le specifiche solo se non riesce a trovare la directory di conformità nel repository delle specifiche
  • Per la creazione, SDK di crittografia AWS richiede la versione più aggiornata di dafny
  • Richiede DotNet 3.0
  • I test attualmente richiedono implementazioni native di primitive crittografiche


Linguaggio di programmazione

C#


Categorie

Crittografia

Questa è un'applicazione che può essere recuperata anche da https://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/. È stato ospitato su OnWorks per poter essere eseguito online in modo più semplice da uno dei nostri sistemi operativi gratuiti.


Server e workstation gratuiti

Scarica app per Windows e Linux

  • 1
    libjpeg-turbo
    libjpeg-turbo
    libjpeg-turbo è un codec di immagine JPEG
    che utilizza istruzioni SIMD (MMX, SSE2,
    NEON, AltiVec) per accelerare la linea di base
    Compressione e decompressione JPEG attiva
    x86, x8...
    Scarica libjpeg-turbo
  • 2
    Xtreme Download Manager
    Xtreme Download Manager
    Il progetto ha ora una nuova casa:
    https://xtremedownloadmanager.com/ For
    sviluppatori:
    https://github.com/subhra74/xdm Xtreme
    Download Manager è un potente strumento per...
    Scarica Xtreme Download Manager
  • 3
    TTGO VGA32 Lite
    TTGO VGA32 Lite
    Caratteristiche:4:3 e 16:9 a bassa risoluzione
    Uscita VGATastiera e mouse PS/2
    interfaccia utente basata su inputText (TUI)
    con dialog manager Partial Unicode
    supportoSlave dis...
    Scarica TTGO VGA32 Lite
  • 4
    Bootloader EFI Clover
    Bootloader EFI Clover
    Il progetto si è spostato in
    https://github.com/CloverHackyColor/CloverBootloader..
    Caratteristiche: Avvia macOS, Windows e Linux
    in modalità UEFI o legacy su Mac o PC con
    UE...
    Scarica il bootloader Clover EFI
  • 5
    rpm uniti
    rpm uniti
    Unisciti a noi in Gitter!
    https://gitter.im/unitedrpms-people/Lobby
    Abilita il repository URPMS nel tuo
    sistema -
    https://github.com/UnitedRPMs/unitedrpms.github.io/bl...
    Scarica unitedrpms
  • 6
    Potenzia le librerie C++
    Potenzia le librerie C++
    Boost fornisce portatile gratuito
    librerie C++ sottoposte a revisione paritaria. Il
    l'accento è posto sulle librerie portatili che
    funzionano bene con la libreria standard C++.
    Vedi http://www.bo...
    Scarica le librerie Boost C++
  • Di Più "

Comandi Linux

Ad