learn
| learn | ob-ada-spark | |
|---|---|---|
| 6 | 3 | |
| 91 | 8 | |
| - | - | |
| 9.6 | 0.0 | |
| 4 days ago | over 1 year ago | |
| Ada | Emacs Lisp | |
| Creative Commons Attribution 4.0 | GNU General Public License v3.0 only |
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.
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
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/.
What are some alternatives?
cppreference-doc - C++ standard library reference
Ada_Drivers_Library - Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
getada - An unofficial installer for Alire
qoi - The “Quite OK Image Format” for fast, lossless image compression
ada-auth - A mirror of Ada Reference Manual sources
alire - Command-line tool from the Alire project and supporting library
Cashe - A Money library for Ada
BBS-BBB-Ada - A collection of Ada sources for working with Linux based embedded computers, such as the BeagleBone Black or Raspberry Pi
awesome-ada - A curated list of awesome resources related to the Ada and SPARK programming language
als-alire-index - An Alire index to build ada_language_server
programming-with-ada - A guide for learning about the Ada Programming Language.
advent-of-code - Advent of Code puzzle solutions