Alternatives and similar repositories for Ada_Drivers_Library

Users that are interested in Ada_Drivers_Library are comparing it to the libraries listed below

• AdaCore / svd2ada
  An Ada binding generator from SVD descriptions for bare board ARM devices.
  ☆66Updated 3 months ago
• AdaCore / bb-runtimes
  Source repository for the GNAT Bare Metal BSPs
  ☆67Updated last week
• simonjwright / FreeRTOS-Ada
  This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation…
  ☆71Updated 2 months ago
• cubesatlab / cubedos
  A flight software framework in SPARK/Ada
  ☆51Updated 6 months ago
• AdaCore / embedded-runtimes
  runtimes that add support for various boards to the GNAT GPL compiler for ARM
  ☆15Updated 7 years ago
• AdaCore / gtkada
  Ada bindings for the GTK+ graphical library.
  ☆93Updated 2 weeks ago
• AdaCore / Certyflie
  ☆34Updated 6 years ago
• AdaCoreU / Courses
  This repository contains course material published to the AdaCore University website
  ☆53Updated 5 years ago
• AdaCore / learn
  Sources for learn.adacore.com
  ☆102Updated this week
• alire-project / alire
  Command-line tool from the Alire project and supporting library
  ☆326Updated last week
• AdaCore / libadalang
  Ada semantic analysis library.
  ☆153Updated last week
• alire-project / alire-index
  Community index for the Alire project
  ☆61Updated last week
• AdaCore / ada-spark-rfcs
  Platform to submit RFCs for the Ada & SPARK languages
  ☆65Updated last month
• AdaCore / spark2014
  SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applicat…
  ☆278Updated this week
• AdaCore / training_material
  ☆29Updated this week
• AdaCore / startup-gen
  A startup code generator for embedded projects
  ☆30Updated 4 months ago
• AdaCore / gnatstudio
  GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
  ☆451Updated last week
• alire-project / GNAT-FSF-builds
  Builds of the GNAT Ada compiler from FSF GCC releases
  ☆40Updated last week
• Lucretia / bare_bones
  Ada Bare Bones OS development tutorial source code
  ☆88Updated 8 years ago
• flyx / OpenGLAda
  Thick Ada binding for OpenGL and GLFW
  ☆96Updated 2 years ago
• AdaCore / aws
  AWS is a complete framework to develop Web based applications in Ada.
  ☆139Updated 2 weeks ago
• onox / json-ada
  An Ada 2012 library for parsing JSON
  ☆43Updated 10 months ago
• AdaCore / gnat-llvm
  LLVM based GNAT compiler
  ☆201Updated last week
• AdaCore / gnatcoll-core
  GNAT Components Collection – Core packages
  ☆51Updated 2 weeks ago
• Nikokrock / ada-lua
  An Ada binding for Lua.
  ☆43Updated last year
• Lucretia / tamp
  The Ada Microkernel Project
  ☆115Updated 10 years ago
• reznikmm / ada-howto
  Collection of How-to documents for Ada
  ☆36Updated 4 years ago
• jgrivera67 / HiRTOS
  HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
  ☆39Updated last month
• ada-game-framework / sdlada
  Ada 2022 bindings to SDL 2
  ☆122Updated this week
• ohenley / awesome-ada
  A curated list of awesome resources related to the Ada and SPARK programming language
  ☆719Updated 2 months ago