HN Explorer

gusthoff

↗ HN profile [ 54.1 ms ] full profile
Karma
140
Created
June 13, 2017 (9y ago)
Submissions
0
www.<user>.com
  1. Introduction to Embedded Systems Programming (Ada) (learn.adacore.com)
    135 points 19
  2. Clap: CLever Audio Plugin (github.com)
    2 points 0
  3. Updates to Learn Ada Website (blog.adacore.com)
    7 points 0
  4. Announcing updates to Learn Ada website (blog.adacore.com)
    2 points 0
  5. Cookbook for the new Ada Wavefile Library v2.0.0 (github.com)
    2 points 0
  6. Relaxing the Data Initialization Policy of Spark/Ada (blog.adacore.com)
    2 points 0
  7. Pointer Based Data-Structures in Spark/Ada (blog.adacore.com)
    1 points 0
  8. Securing the Future of Safe Autonomous Driving (blogs.nvidia.com)
    6 points 0
  9. Dolby SATS (Software Audio Test Suite) (github.com)
    4 points 0
  10. EwoK: secure embedded micro-kernel using SPARK/Ada formal verification (github.com)
    5 points 0
  11. Ada on FPGAs with PicoRV32 (blog.adacore.com)
    73 points 6
  12. SPARKZumo: Ada and SPARK on Any Platform (Part 2) (blog.adacore.com)
    7 points 0
  13. SPARKZumo: Ada and SPARK on Any Platform (Part 1) (blog.adacore.com)
    5 points 0
  14. Secure Software Architectures Based on Genode OS Framework and SPARK/Ada (blog.adacore.com)
    7 points 1
  15. Assessing the Ada Language for Audio Applications (electronicdesign.com)
    72 points 22
  16. Highlighting Ada with Libadalang (blog.adacore.com)
    5 points 0
  17. The Adaroombot Project (blog.adacore.com)
    1 points 0