Skip to content
View FredPraca's full-sized avatar
😊
😊
19 followers · 12 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Block or report FredPraca

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

Pinned Loading

  1. distributed_cbsg distributed_cbsg Public

    Code for FOSDEM'19 presentation about distributed computing in Ada

    Ada 4

  2. adataptempo adataptempo Public

    Port of C++ TapTempo in Ada

    Ada 2

  3. Ada_Drivers_Library Ada_Drivers_Library Public

    Forked from AdaCore/Ada_Drivers_Library

    Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.

    Ada 1

  4. awesome-ada awesome-ada Public

    Forked from ohenley/awesome-ada

    A curated list of awesome resources related to the Ada and SPARK programming language

  5. svd2ada svd2ada Public

    Forked from AdaCore/svd2ada

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

    Ada