Sign in

Repository Index

69,259 visible repositories in the index

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

3,817–3,840 of 4,878 · Most stars

A highly customizable Lua 5.2 build system, allowing for common external modules to be linked in statically, and built-in modules to be excluded

This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics and the BBC micro:bit (v1); working on Espressif ESP32-H2 and RaspberryPi RP2350 (risc-v core)

  • ada
  • gnat
  • cortex
  • rts

Meta-configurations for repositories, teams, files in terraform-aws-modules organization 🇺🇦

  • terraform-managed
  • terraform-configurations
  • terraform-github
  • open-source-tooling

AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL

  • aadl
  • ada