Skip to content
View filip-gajowniczek-adacore's full-sized avatar
  • AdaCore

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report filip-gajowniczek-adacore

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. toolsuite-demo toolsuite-demo Public

    Demo of the GNAT Toolsuite

  2. contract-sloc-calculator contract-sloc-calculator Public

    Calculates the SLOC associated with pre and post conditions on Ada2012 projects

  3. svd2ada svd2ada Public

    Forked from AdaCore/svd2ada

    An Ada binding generator from SVD descriptions for bare board ARM devices.

    Ada

  4. codepeer-tutorial codepeer-tutorial Public

    Ada

  5. STM32F4-FreeRTOS STM32F4-FreeRTOS Public

    Forked from wangyeee/STM32F4-FreeRTOS

    A demo project of FreeRTOS running on a STM32F4 Discovery board.

    C

  6. gps gps Public

    Forked from AdaCore/gnatstudio

    GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.

    Ada