ob-ada-spark
Code compiler
Supports Ada and SPARK programming languages in Emacs org-babel for compiling, running, and formal verification of code
8 stars
4 watching
2 forks
Language: Emacs Lisp
last commit: over 2 years ago
Linked from 1 awesome list
ohenley/awesome-adaRelated projects:
| Repository | Description | Stars |
|---|---|---|
 tofgarion/spark-by-example | An adaptation of ACSL by Example for SPARK 2014 to verify Ada programs with formal methods | 154 |
 ondra-m/ruby-spark | A Ruby wrapper around Apache Spark's functionality for large-scale data processing | 227 |
 adacore/ada_language_server | An implementation of the Microsoft Language Server Protocol for Ada/SPARK and GPR project files. | 242 |
 jhumphry/ascon_spark | An implementation of the Ascon AEAD algorithm in Ada 2012 / SPARK 2014 for cryptographic encryption and decryption. | 3 |
 zertovitch/hac | A small, quick compiler written in Ada for the Ada programming language | 127 |
 ada-actions/toolchain | Automates installation of an Ada development environment. | 20 |
 offa/cmake-ada | Provides support for the Ada programming language in CMake build systems. | 12 |
 spiritlab/spark | A research-focused implementation of Apache Spark with homomorphic encryption support | 3 |
 databricks/spark-corenlp | Wraps Stanford CoreNLP annotators as Spark DataFrame functions for natural language processing tasks | 422 |
 kcrandall/emr_spark_automation | Automates deployment of an AWS EMR cluster and execution of Spark jobs | 8 |
 crystal-ameba/ameba.el | An Emacs interface to Ameba, a static code analysis tool for Crystal | 10 |
 rod-chapman/sparknacl | Re-implementation of the TweetNaCl crypto library in Ada with static type safety and performance optimization. | 115 |
 sw1sh/frege-spark | An effort to integrate Apache Spark with the Frege programming language | 5 |
| adacore/spark_railway_simulation_demo | Demonstrates a railway network simulation with SPARK Ada to ensure train collision prevention through formal verification. | 5 |
 alex-gamper/ada-languageserver | An LSP client prototype for Visual Studio 2017 implementing support for the Ada programming language | 1 |