Top New Best Ask Show Jobs

gusthoff

140 karma · joined June 13, 2017

www.<user>.com

submissions comments

Introduction to Embedded Systems Programming (Ada)

learn.adacore.com·135 pts·gusthoff·

Clap: CLever Audio Plugin

github.com·2 pts·gusthoff·

Updates to Learn Ada Website

blog.adacore.com·7 pts·gusthoff·

Announcing updates to Learn Ada website

blog.adacore.com·2 pts·gusthoff·

Cookbook for the new Ada Wavefile Library v2.0.0

github.com·2 pts·gusthoff·

Relaxing the Data Initialization Policy of Spark/Ada

blog.adacore.com·2 pts·gusthoff·

Pointer Based Data-Structures in Spark/Ada

blog.adacore.com·1 pts·gusthoff·

Securing the Future of Safe Autonomous Driving

blogs.nvidia.com·6 pts·gusthoff·

Dolby SATS (Software Audio Test Suite)

github.com·4 pts·gusthoff·

EwoK: secure embedded micro-kernel using SPARK/Ada formal verification

github.com·5 pts·gusthoff·

Ada on FPGAs with PicoRV32

blog.adacore.com·73 pts·gusthoff·

SPARKZumo: Ada and SPARK on Any Platform (Part 2)

blog.adacore.com·7 pts·gusthoff·

SPARKZumo: Ada and SPARK on Any Platform (Part 1)

blog.adacore.com·5 pts·gusthoff·

Secure Software Architectures Based on Genode OS Framework and SPARK/Ada

blog.adacore.com·7 pts·gusthoff·

Assessing the Ada Language for Audio Applications

electronicdesign.com·72 pts·gusthoff·

Highlighting Ada with Libadalang

blog.adacore.com·5 pts·gusthoff·

The Adaroombot Project

blog.adacore.com·1 pts·gusthoff·