spark2014
by AdaCore
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
AI summary
Defect reduction tool
A software development technology designed to produce ultra-low defect software
- stars
- 250
- forks
- 33
- watching
- 47
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Railway simulator
Demonstrates a railway network simulation with SPARK Ada to ensure train collision prevention through formal verification.
RC Car Demo
Demonstrates robotics with Ada and SPARK in an embedded environment using Lego sensors and effectors on a custom-built RC car.
Formal verification adapter
An adaptation of ACSL by Example for SPARK 2014 to verify Ada programs with formal methods
Crypto library
Re-implementation of the TweetNaCl crypto library in Ada with static type safety and performance optimization.
Ada compiler setup
Automates installation of an Ada development environment.
GPU compiler
A toolset that compiles Ada and SPARK code to NVIDIA GPUs
apache/spark40.2K
Data processor
An analytics engine designed to handle large-scale data processing and analysis
Code compiler
Supports Ada and SPARK programming languages in Emacs org-babel for compiling, running, and formal verification of code
Cipher library
An implementation of the Ascon AEAD algorithm in Ada 2012 / SPARK 2014 for cryptographic encryption and decryption.
Data fixer
A Spark-based package to apply data fixes using rule-based SQL conditions
Spark interface
An R interface to Apache Spark for distributed data analysis and machine learning
Data processor
A library that enables integration between Apache Spark and Apache Cassandra for fast data processing and analysis.
Encryption-enabled analytics engine
A research-focused implementation of Apache Spark with homomorphic encryption support
Resource Monitor
A Spark plugin that registers metrics from operational system resources
Spark wrapper
A Ruby wrapper around Apache Spark's functionality for large-scale data processing
Featured in 1 awesome list
Each link jumps to the spot where the list mentions spark2014.
