AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
- aadl
- ada
Repository Index
47,133 repositories indexed
1–10 of 10 · Most stars
Ada Embedded Network Stack
Ethernet traffic monitor on a STM32F746 board
Ada library and tools for the analysis of Complex Networks and more
Simulated railway network in SPARK/Ada
Ada bindings to the Microsoft NetFramework Api
- netframework
- ada-netframework
- gnat
- ada
G2 network server leaf
Genetic Algorithm Implementation for Ada
- generic
- algorithm
- ada
- library
Distributed Simulation of Transport Networks
Mandelbrot renderer in "ASCII" (unicode actually, but text nonetheless)