ob-ada-spark
by rocher
AI summary
Code compiler
Supports Ada and SPARK programming languages in Emacs org-babel for compiling, running, and formal verification of code
- stars
- 8
- forks
- 2
- watching
- 4
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Formal verification adapter
An adaptation of ACSL by Example for SPARK 2014 to verify Ada programs with formal methods
Spark wrapper
A Ruby wrapper around Apache Spark's functionality for large-scale data processing
Ada language server
An implementation of the Microsoft Language Server Protocol for Ada/SPARK and GPR project files.
Cipher library
An implementation of the Ascon AEAD algorithm in Ada 2012 / SPARK 2014 for cryptographic encryption and decryption.
Ada compiler
A small, quick compiler written in Ada for the Ada programming language
Ada compiler setup
Automates installation of an Ada development environment.
Ada compiler
Provides support for the Ada programming language in CMake build systems.
Encryption-enabled analytics engine
A research-focused implementation of Apache Spark with homomorphic encryption support
CoreNLP wrapper
Wraps Stanford CoreNLP annotators as Spark DataFrame functions for natural language processing tasks
EMR automation tool
Automates deployment of an AWS EMR cluster and execution of Spark jobs
Code analyzer
An Emacs interface to Ameba, a static code analysis tool for Crystal
Crypto library
Re-implementation of the TweetNaCl crypto library in Ada with static type safety and performance optimization.
Spark compiler
An effort to integrate Apache Spark with the Frege programming language
Railway simulator
Demonstrates a railway network simulation with SPARK Ada to ensure train collision prevention through formal verification.
Ada compiler
An LSP client prototype for Visual Studio 2017 implementing support for the Ada programming language
Featured in 1 awesome list
Each link jumps to the spot where the list mentions ob-ada-spark.
