Search Results for "parallel"
Sort By:
Showing 2 open source projects for "parallel"
View related business solutions-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
1
AWS Encryption SDK for Dafny
AWS Encryption SDK for Dafny
To build, the AWS Encryption SDK requires the most up-to-date version of dafny on your PATH. In addition, this project uses the parallel verification tasks provided by the dafny.msbuild MSBuild plugin, and thus requires dotnet 3.0. The tests currently require native implementations of cryptographic primitives and other methods, so they can only be run when embedding this library into one of the compilation target languages supported by Dafny. This repo uses Duvet to directly document the specification alongside this implementation. ... -
2
Moria Secure Downloader
Portable tool for downloading files and automatic encryption
A portable download manager that automatically encrypts all downloads and lets user decrypt them and view with the correct password. Moria is lite and portable. Moria can download multiple files parallely. All downloads are automatically encrypted with a password either unique to each download or with a master password for convenience. Moria prompts to clean all traces when exiting and has a dedicated button to clean all traces, including partial downloads, encrypted downloads and...
- Previous
- You're on page 1
- Next
