gusthoff

6 ms·

1. 1.▲
   Introduction to Embedded Systems Programming (Ada)(learn.adacore.com)

   135 points by gusthoff 4y ago|19 comments
2. 2.▲
   Clap: CLever Audio Plugin(github.com)

   2 points by gusthoff 4y ago|0 comments
3. 3.▲
   Updates to Learn Ada Website(blog.adacore.com)

   7 points by gusthoff 5y ago|0 comments
4. 4.▲
   Announcing updates to Learn Ada website(blog.adacore.com)

   2 points by gusthoff 5y ago|0 comments
5. 5.▲
   Cookbook for the new Ada Wavefile Library v2.0.0(github.com)

   2 points by gusthoff 6y ago|0 comments
6. 6.▲
   by gusthoff 6y ago

   Is this the kind of example you were looking for? with Ada.Text_IO; use Ada.Text_IO; with Ada.Containers.Bounded_Vectors; procedure Main is package BV_Integer is new Ada.Containers.Bounded_V
7. 7.▲
   by gusthoff 6y ago

   Would you mind sharing which bounded container you tried to instantiate and what the problem was?
8. 8.▲
   Relaxing the Data Initialization Policy of Spark/Ada(blog.adacore.com)

   2 points by gusthoff 6y ago|0 comments
9. 9.▲
   Pointer Based Data-Structures in Spark/Ada(blog.adacore.com)

   1 points by gusthoff 7y ago|0 comments
10. 10.▲
    Securing the Future of Safe Autonomous Driving(blogs.nvidia.com)

    6 points by gusthoff 8y ago|0 comments
11. 11.▲
    Dolby SATS (Software Audio Test Suite)(github.com)

    4 points by gusthoff 8y ago|0 comments
12. 12.▲
    EwoK: secure embedded micro-kernel using SPARK/Ada formal verification(github.com)

    5 points by gusthoff 8y ago|0 comments
13. 13.▲
    Ada on FPGAs with PicoRV32(blog.adacore.com)

    73 points by gusthoff 8y ago|6 comments
14. 14.▲
    SPARKZumo: Ada and SPARK on Any Platform (Part 2)(blog.adacore.com)

    7 points by gusthoff 9y ago|0 comments
15. 15.▲
    SPARKZumo: Ada and SPARK on Any Platform (Part 1)(blog.adacore.com)

    5 points by gusthoff 9y ago|0 comments
16. 16.▲
    Secure Software Architectures Based on Genode OS Framework and SPARK/Ada(blog.adacore.com)

    7 points by gusthoff 9y ago|1 comments
17. 17.▲
    Assessing the Ada Language for Audio Applications(electronicdesign.com)

    72 points by gusthoff 9y ago|22 comments
18. 18.▲
    Highlighting Ada with Libadalang(blog.adacore.com)

    5 points by gusthoff 9y ago|0 comments
19. 19.▲
    by gusthoff 9y ago

    Not bad. However, I'm missing some newer, complementary stuff on the list. For example: - Rationale for Ada 2005: http://www.adaic.org/resources/add_content/standards/05rat/h... - Rationale for Ada
20. 20.▲
    The Adaroombot Project(blog.adacore.com)

    1 points by gusthoff 9y ago|0 comments