Spark
Showing 16 of 88 projects
A SPARK library for building portable, verifiable, and high-performance trusted components in component-based systems.
A formally verified XML library in SPARK 2014, proven free of runtime errors and with bounded stack usage for secure untrusted data processing.
A formally verified SPARK library for parsing and validating Base64, JSON, JWK, JWS, and JWT data with guaranteed absence of runtime errors.
Generate Ada bindings for C++ code, supporting complex features like object orientation and templates.
A nimble alternative to doas and sudo for privilege escalation, designed to be simple, safe, and secure.
An open-source toolkit for analyzing line-oriented JSON Twitter archives using Apache Spark.
A weekly online meetup and resource hub for Apache Cassandra topics, featuring talks, tutorials, and community discussions.
A formally verified TOTP library for two-factor authentication, implemented in SPARK with runtime error guarantees.
An Ada/SPARK implementation of the NORX authenticated encryption algorithm, formally verified for security.
A splitable Hadoop InputFormat for processing concatenated GZIP files and web archive (*.warc.gz) data efficiently in distributed systems.
Automatically prove Ada/SPARK software correctness using Travis CI for continuous verification.
A railway network simulation with a SPARK/Ada-proven signaling system that guarantees collision avoidance.
Docker Compose scripts to run Apache Cassandra and Apache Zeppelin together for data analytics and visualization.
A tic-tac-toe game formally verified using the SPARK programming language to ensure correctness.
A thin C# gRPC client for communicating with Apache Spark Connect servers, enabling .NET applications to interact with Spark clusters.
An Apache Spark plugin that collects system resource metrics (CPU, memory) not provided by Spark's native metrics system.
Related Tags
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.