learn
ob-ada-spark | learn | |
---|---|---|
3 | 6 | |
8 | 91 | |
- | - | |
0.0 | 9.6 | |
over 1 year ago | 3 days ago | |
Emacs Lisp | Ada | |
GNU General Public License v3.0 only | Creative Commons Attribution 4.0 |
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/.
learn
- Show HN: Getada: rustup-like installer for Ada's toolchain/package manager
-
Show HN: Cashe: A money library written in Ada
I actually created this library with a budgeting app in mind! In my case, compliant with Ledger rather than Beancount.
It's easier than ever to get into Ada these days. There's a bunch of tutorials on Adacore's website [1] with a playground/sandbox that you can mess with. With Alire[2] (which is to Ada what Cargo is to Rust), you can get the toolchain and any packages with a simple command. If you're on linux or mac, you can also use GetAda[3] that will automatically install Alire for you.
[1] https://learn.adacore.com/
-
Interfacing from C -> Ada w/ VxWorks 6.3?
Oh, I've never worked with Ada 95 I am sorry i can't help you further. Try this link then : https://github.com/AdaCore/learn
- New learn.adacore.com section: What's New in Ada 2022
-
Ada/SPARK support in org-Babel
Could this be used (probably after the necessary conversion) as another frontend for the AdaCore/learn courses?
-
Request for comments: an idea for a central repository of knowledge and resources for Ada
AdaCore/learn
What are some alternatives?
Ada_Drivers_Library - Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
cppreference-doc - C++ standard library reference
qoi - The “Quite OK Image Format” for fast, lossless image compression
getada - An unofficial installer for Alire
alire - Command-line tool from the Alire project and supporting library
ada-auth - A mirror of Ada Reference Manual sources
BBS-BBB-Ada - A collection of Ada sources for working with Linux based embedded computers, such as the BeagleBone Black or Raspberry Pi
Cashe - A Money library for Ada
als-alire-index - An Alire index to build ada_language_server
awesome-ada - A curated list of awesome resources related to the Ada and SPARK programming language
advent-of-code - Advent of Code puzzle solutions
programming-with-ada - A guide for learning about the Ada Programming Language.