advent-of-code
ob-ada-spark | advent-of-code | |
---|---|---|
3 | 1 | |
8 | 2 | |
- | - | |
0.0 | 7.6 | |
over 1 year ago | 5 months ago | |
Emacs Lisp | Ada | |
GNU General Public License v3.0 only | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
ob-ada-spark
- ob-ada-spark: Ada/SPARK support for Emacs org-babel
-
Ada/SPARK support in org-Babel
More information in the home page, documentation and screenshots.
-
December 2021 What Are You Working On?
Temporary development (preliminary release) can be found at https://github.com/rocher/ob-ada-spark/.
advent-of-code
-
Ada/SPARK support in org-Babel
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.
What are some alternatives?
Ada_Drivers_Library - Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
adventofcode - Advent of Code solutions of 2015, 2016, 2017, 2018, 2019, 2020, 2021, 2022 and 2023 in Scala
qoi - The “Quite OK Image Format” for fast, lossless image compression
melpa - Recipes and build machinery for the biggest Emacs package repo
alire - Command-line tool from the Alire project and supporting library
BBS-BBB-Ada - A collection of Ada sources for working with Linux based embedded computers, such as the BeagleBone Black or Raspberry Pi
als-alire-index - An Alire index to build ada_language_server
learn - Sources for learn.adacore.com
Ada_GUI - An Ada-oriented GUI
Pi-Mainframe - Simulated mainframe computer based on a Raspberry Pi