Ada/SPARK support in org-Babel

• melpa

  104 2,682 9.7 Emacs Lisp

  Recipes and build machinery for the biggest Emacs package repo

  

Announcing a new release of 'ob-ada-spark', now available in melpa. This simplifies enormously the installation and update of the package from Emacs.

• ob-ada-spark

  3 8 0.0 Emacs Lisp

More information in the home page, documentation and screenshots.

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• learn

  6 91 9.6 Ada

  Sources for learn.adacore.com (by AdaCore)

  

Could this be used (probably after the necessary conversion) as another frontend for the AdaCore/learn courses?

• advent-of-code

  1 2 7.6 Ada

  Advent of Code puzzle solutions (by rocher)

Literal programming is a another way of using ob-ada-spark I'm interested in. For example, for the 6th day of '2021 Advent of Code', this README.org file contains a solution in a literate programming style. Code blocks in sections title 'Compilation unit' can be evaluated to get the actual solution.

• adventofcode

  718 65 9.0 Scala

  Advent of Code solutions of 2015, 2016, 2017, 2018, 2019, 2020, 2021, 2022 and 2023 in Scala (by sim642)

I also thought in the possibility to interact with online resources, like AdaCore/learn, Advent of Code and CodinGame (if some day Ada is included --the first request dates from 2014, AFAIK--). Please post additional pages like these.

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

Suggest a related project