A system for programming LPC, STM32 and possible others devices.
NASA core Flight System Memory Manager Application
NASA core Flight System Housekeeping Application
NASA core Flight System Stored Command Application
Synthesizing embedded control software from formal specifications
This program allows embedding books in fb2 format in one, super-book.
header only, dependency-free deep learning framework in C++14
An Open-Source Library for Low-Power Approximate Computing Modules
MGSyn - Automatic Synthesis for Industrial Automation
Dead-simple packaging and deployment for JVM apps
NASA core Flight System Health and Safety Application
Rectangular Split, Addition and Subtraction , and Tree Structure
Create,extract and encrypt ZIP,GZIP,TAR,BZIP2,TAZ files on Java mobile
Infrastructure for examining and patching Thinkpad embedded controller
Matrix Keypad and LCD Library for Embedded Projects