Search Results for "spark"
Sort By:
Showing 2 open source projects for "spark"
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.
-
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
1
Password master is an application created by team spark riders of rocking xtreme light company in egypt and this application will help users to save their passwords and accounts under new file extensions with encryption and decryption support! برنامج فريق سبارك رايدرز اتعمل في مصرلاول مرة بيحفظ و يحمي الملفات و المعلومات بترمبز و فك ترميز
-
2
A formally verified implementation of cryptographic algorithms using the SPARK programming language. For the complete library proofs of the absence of run-time errors are available. Some of its subprograms include proofs of partial correctness.
- Previous
- You're on page 1
- Next
