A secure and high performances microkernel for building secure MCU-based IoTs
Repository Index
47,133 repositories indexed
1–13 of 13 · Most stars
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
- aadl
- ada
Ada-language framework
- ada
- ada-language
- arm
- avr
Simple to use cross-platform BDD driver for black box testing
Embeddable Forth interpreter written in Ada
- ada
- forth
- interpreter
Ada Embedded Network Stack
PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted from a standard web tree, including graphics and Java class files) and dynamic pages. It is written in GCC Ada.
Giza is trying to be a simple widget tool kit for embedded platforms
Behavior Driven Development in Ada
2048 game: merge equal tiles until you add up to 2048
- 2048-game
- ada
- sfml
- puzzle
Extensions to the Tiny Lisp language for embedded applications
- ada
- lisp
- lisp-dialect
- lisp-interpreter
Embedded logging absent of runtime errors