Search Results for "source code formatter"

Ficl is a lightweight, embeddable scripting language designed to be incorporated into other programs, and especially embedded systems that may have memory and OS constraints. Applications include scripting, hardware bring-up, rapid prototyping, and system extensions. Unlike Lua or Python, Ficl acts as a component of your system - you feed it stuff to do, it does the stuff, and comes back to you for more. You can export compiled code to Ficl, execute Ficl code from your compiled code, or...

uEZ(r) is an open source, embedded middleware platform providing underlying RTOS and processor abstraction features enhancing portability of application code to multiple ARM platforms with high reusability. Developed by Future Designs, Inc. at https://www.teamfdi.com Doxygen docs available at https://www.teamfdi.com/uezgui-doxygen/ FDI Support: https://teamfdi.com/forums uEZ is now available in a 7-Zip archive.

A small GUI system for monochrome and color LCDs suitable for embedded systems with very limited system resources (like 8 bit microcontrollers). Comes with a graphical editor for creating a menu. Runs on Linux and Windows (Cygwin is recommend for using all features). Samples showing the usage on a PC, AVR, and STM32 microcontrollers are included.

Code is also available on github: https://github.com/gkostka/lwext4 Feel free to contact me: kostka.grzegorz@gmail.com

EfiPy is a Python Module on UEFI shell which can access UEFI BIOS kernel interface - System Table - Runtime Services - Boot Services pAnalyzer package - Tracing UEFI protocol calling flow Output protocol flow to screen or file with XML format CorePy (assembly package) - Simple Assembly code in Python environment. EfiPy Shell package- Simple uefi shell program coded with EfiPy library to prove EfiPy workable EfiPy leverage these open source packages - ctypes, CorePy. Samples https://sourceforge.net/u/efipy/svn/HEAD/tree/Trunk/ EfiPy Author: https://www.linkedin.com/in/max-wu-a9068b90/

autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures...

itemis CREATE - formerly known as Yakindu Statechart Tools (SCT) - is a tool for the specification and development of reactive, event-driven systems with the help of state machines. It consists of an easy-to-use tool for graphical editing and provides validation, simulation and code generators for different target platforms. Visit http://www.statecharts.org for more information! !! YAKINDU SCT HAS MOVED !! DOWNLOAD FROM https://info.itemis.com/download-yakindu-statechart-tools

OOBD supports a self-programable Tool for Vehicle Onboard Diagnostics (OBD) for various platforms like the Windows-Desktop, mobile Phones and Smartphones Please note that we are actual moving this project over to oobd.googlecode.com. The software source code repository is already moved, other areas will follow.

Feathery is a very small and full-featured ftp server for embedded devices. It is easy portable to every 8, 16 or 32 bit architecture and can run with or without an operating system.

The C-Bus Module is used to provide a C-code API between a Clipsal C-Bus PCI interface, and an application program. Application programs can be on small embedded micros with no OS and only a few K of RAM, thru to Windows & Linux.