Fabien_C

Another options would be to only have the TOML files and generate gprbuild file on the fly. I think that is something we will consider.

Thanks for your feedback :)

- there doesn't seem to be a way to browse the source of the projects.

That's true, so far the contributors for crates have the option to provide a link to a website. This link can be to the repo, but it is not mandatory.

- it would be neat if the Network graph page showed which projects were in SPARK

Good idea :)

Please open issues on the repo so we can keep track of your ideas: https://github.com/alire-project/alire

They are starting to:

https://www.adacore.com/press/adacore-enhances-security-crit...

https://www.adacore.com/press/iso-26262

https://www.adacore.com/press/jtekt-spark-pro-automotive

https://www.adacore.com/press/denso-spark-automotive-researc...

https://www.adacore.com/press/adacore-tools-streamline-devel...

> Various fairly essential libraries maintained by AdaCore are under GPL, so you could not use them for non-GPL software that is distributed.

That's not true, the AdaCore libraries are covered by the Runtime Library Exception of GPL and available on GitHub: https://github.com/adacore

And soon available in the package manager: alire.ada.dev

> The purpose of this Exception is to allow compilation of non-GPL (including proprietary) programs to use, in this way, the header files and runtime libraries covered by this Exception.

I don't see the point with "zero-cost abstractions", overflow check is not an abstraction.

And of course the run-time checks can also be disabled for Ada of course, and usually are for release build.

NVIDIA is starting to use Ada and SPARK for their autonomous vehicle products: https://blogs.nvidia.com/blog/2019/02/05/adacore-secure-auto...

And only for the Community release.

There's a little benchmark project here: https://github.com/frol/completely-unscientific-benchmarks

The Ada implementation is the second fastest behind C++.

The installer over there should be everything you need: https://www.adacore.com/download

For those who want to try SPARK, we just launched an interactive learning website: https://learn.adacore.com

Ada has built-in C/C++ interfacing: https://gcc.gnu.org/onlinedocs/gnat_ugn/Interfacing-to-C.htm...

For instanced I used it here to write Ada programs for the C API of the Pebble smartwatch: https://blog.adacore.com/make-with-ada-formal-proof-on-my-wr...

Thanks for your comment.

- The software architecture is inspired by GRBL. The split of motion blocks into segments is more manageable for the software, and if you choose a segments size small enough, the acceleration will be very smooth.

- I do not try to approximate constant acceleration.

- The GUI is a way for me to test the Gcode and stepper algorithms (the code is the same in the GUI and in the embedded controller).

Please also comment directly on the post.

Author is aware that there are many Gcode simulators.The specificity of this one, thanks to Ada portability, is that the simulator code is 100% the same as the code running in the embedded controller.

Hey, I know you :) I used your web Gcode simulator a lot: https://nraynaud.github.io/webgcode/

When was this? The tools working for me (either Linux or Windows). In fact we released a new version today: http://libre.adacore.com/download/configurations

And we are also working on a bare-metal driver library for ARM Cortex-M. Have a look: https://github.com/AdaCore/Ada_Drivers_Library