Skip to main content
Ctrl+K
ada-ukraine.github.io - Home ada-ukraine.github.io - Home
  • Atom feed
  • Про Ada Ukraine

Courses:

  • Курси
    • Введення в Ada
      • Вступ
      • Імперативна мова
      • Підпрограми
      • Модульне програмування
      • Суворо типізована мова
      • Записи
      • Массиви
      • Більше про типи
      • Тип-посилання
    • Посібник з якості та стилю
      • Передмова
      • Вступ
      • Презентація вихідного коду
      • Читабельність
  • Статті

Recent Posts

  • 16 лютого - Формальний доказ на драйверах пристроїв за допомогою SPARK
  • 09 лютого - Серія відео про можливості Ada 2022
  • 07 січня - Мережевий стек IP в Ada 2012 та профіль Ravenscar
  • 03 листопада - Оновлення MAVLink для Ada.
  • 19 жовтня - Ada User Journal 2024/2 (червень)

Tags

  • Ada-83
  • Alire
  • IDE
  • Ravenscar
  • SPARK
  • ada-ukraine
  • auj
  • drivers
  • embedded
  • network
  • podcast
  • Подкаст
  • Посібник
  • Початківцям
  • історія

Archives

  • 2026 (3)
  • 2025 (7)
  • 2024 (1)

Posts tagged Ravenscar

Мережевий стек IP в Ada 2012 та профіль Ravenscar

  • 07 січня 2026
  • Stéphane Carrez
  • Україньска
  • network Ravenscar embedded

Стефан Каррез

Read more ...

Автор Ada Ukraine + AdaCore

© Copyright 2024 – 2025, Ada Ukraine. All rights reserved. CC BY 4.0 License.