OMicroB

Targets microcontrollers with only 2.5 KB RAM, enabling OCaml programs on severely constrained devices like the Atmega32u4, as highlighted in the README.

Performs multiple optimization passes to minimize executable size, crucial for resource-limited environments, with evidence from the static analysis described in the project features.

Includes a circuit simulator for testing on a computer, such as simulating an Arduboy device for games, saving hardware costs during development.

Supports AVR and PIC32 microcontrollers, allowing adaptation to different hardware platforms, though limited to these architectures.

Provides commands like 'omicrob -flash' to compile and flash hex files directly to hardware, simplifying the deployment process as shown in the usage examples.