xianjimli / veristand-model-coderLinks
Veristand C/C++ Model Code Generator
☆12Updated 8 years ago
Alternatives and similar repositories for veristand-model-coder
Users that are interested in veristand-model-coder are comparing it to the libraries listed below
Sorting:
- Simulated AUTOSAR OS runtime for Linux and Windows☆15Updated 3 years ago
- Linux Kernel configuration tools - Windows Port☆21Updated 11 years ago
- Design By Contract (DBC) for embedded C and C++☆21Updated 2 years ago
- The Gemini system of RT-Thread/Linux on Dual CPU core.☆14Updated 9 years ago
- The libmetal module specific for use with Zephyr. This is not a mirror of the official libmetal repo.☆13Updated last month
- ☆16Updated 6 years ago
- Git Mirror of Yann Morin's kconfig-frontends project☆19Updated 12 years ago
- ☆8Updated 11 months ago
- The embedded Finite State Machine (FSM) Facility that can be used to model and control a reactive or stateful system. The system can be r…☆19Updated 7 years ago
- A Lightweight, Process-Specific, Embedded Command Line Shell/CLI for C/C++/Python/Go Applications☆25Updated last year
- Apache NFFS filesystem☆35Updated 11 months ago
- A free, fast and compact ARM Cortex-M0 floating-point library☆15Updated 4 years ago
- Mirror only see https://gitlab.rtems.org/rtems/pkg/rtems-libbsd☆35Updated this week
- ☆56Updated 6 years ago
- Real time operating system made with love ♥.☆28Updated 7 years ago
- ☆38Updated 2 months ago
- A Real-time Inter-Process Communication (IPC) mechanism and library☆28Updated 4 years ago
- Process HEX files in Python☆35Updated last month
- ☆60Updated 3 years ago
- A fast vector/matrix library☆10Updated last month
- Luxoft Automotive HMI Safe Renderer☆28Updated 4 years ago
- The Realtime Linux tree☆46Updated 7 years ago
- Linux Kernel configuration tools - Windows Port☆16Updated 2 years ago
- VT100/102☆15Updated last year
- Mirror only see https://gitlab.rtems.org/rtems/tools/rtems-tools☆34Updated this week
- libapi is a cross platform high performance io library written in c. It provides ability to write event driven servers and applications w…☆56Updated 6 years ago
- Versatile and easy to use C language utility library with functions and macros commonly used in various applications☆65Updated last week
- awtk-aworks-rt1052☆33Updated 3 years ago
- C11 parser with GNU C extensions written in C++14☆17Updated 6 years ago
- A Flex/Bison/Lemon parser of DBC files☆9Updated 3 years ago