AdaCore: Build Software that Matters
Request Pricing

Tools

  • Compilation Toolchain
  • GNAT Pro
  • GNAT Pro for Ada
  • GNAT Pro for C/C++
  • GNAT Pro for Rust
  • Formal Proof
  • SPARK Pro
  • Static Analysis
  • GNAT Static Analysis for Ada
  • CodeSonar for C/C++
  • Dynamic Analysis
  • GNAT Dynamic Analysis Suite

    • Services

  • Training & Services
  • Enterprise Training
  • Public Training
  • Mentorship

    • Get an Overview

    Explore All Offerings

    Ready To Go?

    Contact a Technical Expert

    Languages

  • Ada
  • C/C++
  • Rust
  • SPARK

    • Ready To Go?

    Contact a Technical Expert

    Industries

  • Avionics
  • Automotive
  • Defense
  • Medical
  • Rail
  • Security
  • Space
    • NVIDIA case study

    Learn how NVIDIA Adopted SPARK for Security-Critical Software Development

    View Case Study

    Company

  • About AdaCore
  • Careers
  • Partners

    • Careers

    View Opportunities

    Explore Resources

  • Publications
  • Papers
  • Books
  • Videos
  • AdaCore Digest
  • More Resources
  • Newsroom
  • Blog
  • Case Studies
  • Events
  • AdaCore's GitHub

    • The AdaCore Blog

    Explore

    Learn Ada & SPARK

    Explore

    Community

  • Academia
  • Download
    • Ada

    Get Started with Ada

    Learn More

    Support

  • GNAT Tracker Login
  • Cybersecurity Center
  • Release Notes
  • Documention
    • Fpo main nav bg 02

    Product Roadmap

    Learn More

    AdaCore Hero Image

    Blog Posts by Felix Krause

    Adacore card default

    Felix Krause

    Research assistant at the Programming Languages and Compiler Group, Institute of Software Technology, University of Stuttgart.

    http://www.iste.uni-stuttgart.de/en/ps/people/felix-krause.html

    https://github.com/flyx/OpenGLAda

    Backgroundgl3
    Feb 22, 2018

    Felix Krause

    The Road to a Thick OpenGL Binding for Ada: Part 2

    This blog post is part two of a tutorial based on the OpenGLAda project and will cover implementation details such as a type system for interfacing…

    Backgroundgl2
    Feb 05, 2018

    Felix Krause

    The Road to a Thick OpenGL Binding for Ada: Part 1