spark2014
Defect reduction tool
A software development technology designed to produce ultra-low defect software
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
248 stars
48 watching
33 forks
Language: Ada
last commit: 7 days ago
Linked from 1 awesome list
ohenley/awesome-adaRelated projects:
| Repository | Description | Stars |
|---|---|---|
| adacore/spark_railway_simulation_demo | Demonstrates a railway network simulation with SPARK Ada to ensure train collision prevention through formal verification. | 5 |
| adacore/rc_car_demo | Demonstrates robotics with Ada and SPARK in an embedded environment using Lego sensors and effectors on a custom-built RC car. | 6 |
 tofgarion/spark-by-example | An adaptation of ACSL by Example for SPARK 2014 to verify Ada programs with formal methods | 152 |
 rod-chapman/sparknacl | Re-implementation of the TweetNaCl crypto library in Ada with static type safety and performance optimization. | 114 |
 ada-actions/toolchain | Automates installation of an Ada development environment. | 20 |
| adacore/cuda | A toolset that compiles Ada and SPARK code to NVIDIA GPUs | 18 |
 apache/spark | An analytics engine designed to handle large-scale data processing and analysis | 39,916 |
 rocher/ob-ada-spark | Supports Ada and SPARK programming languages in Emacs org-babel for compiling, running, and formal verification of code | 8 |
 jhumphry/ascon_spark | An implementation of the Ascon AEAD algorithm in Ada 2012 / SPARK 2014 for cryptographic encryption and decryption. | 3 |
 indix/sparkplug | A Spark-based package to apply data fixes using rule-based SQL conditions | 28 |
 sparklyr/sparklyr | An R interface to Apache Spark for distributed data analysis and machine learning | 957 |
 datastax/spark-cassandra-connector | A library that enables integration between Apache Spark and Apache Cassandra for fast data processing and analysis. | 1,943 |
 spiritlab/spark | A research-focused implementation of Apache Spark with homomorphic encryption support | 3 |
 dutrevis/spark-resources-metrics-plugin | A Spark plugin that registers metrics from operational system resources | 0 |
 ondra-m/ruby-spark | A Ruby wrapper around Apache Spark's functionality for large-scale data processing | 227 |