To create a framework for resource-constrained microcontrollers and ease development of safe and reliable embedded systems using Nim's elegent syntax, rich data types, strong typing, and useful build system.
I have only started to make rough drafts of a couple foundation modules. I am still learning Nim and experimenting with how to use advanced features of Nim's type system.
- Leverage a convenient development environment like PlatformIO
- Create peripheral API abstractions like Mbed
- Type states and zero-cost abstractions from rust-embedded
- Actor-based, run-to-completion concurrency using augmented hierarchical state machines ala Quantum Platform
- wrap C libs
- creation of dogmatic threads, semaphores and mutexes
- support processors with MMUs / Virtual Memory
- create something that requires >5 yrs of embedded experience to use