This code base contains a linux emulator for the ARINC-653 operating system services
☆21Jul 24, 2019Updated 7 years ago
Alternatives and similar repositories for arinc653emulator
Users that are interested in arinc653emulator are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An ARINC653 kernel simulator implementing ARINC653's Communication and the Time and Space Partitioning concept (TSP)☆19Jan 13, 2017Updated 9 years ago
- Real-Time Operating System (RTOS) for Texas Instruments AM335X Sitara Cortex-A8 (ARMv7-A) single-core SoCs (BeagleBone, BeagleBone Black …☆18Aug 10, 2023Updated 3 years ago
- ARINC 653 POSIX based library☆41Jun 10, 2026Updated 3 months ago
- ARINC 429 to NMEA converter☆15May 25, 2012Updated 14 years ago
- ARINC653 Multi-Partition Operating System Based On RISC-V, capable of running on SiFive HiFive Unmatched.☆28Jun 25, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- XtratuM Mirror☆21Apr 7, 2017Updated 9 years ago
- A project repo to create and learn AUTOSAR stack☆18Dec 18, 2023Updated 2 years ago
- POK kernel. Safe and secure for safety-critical systems.☆122Sep 18, 2026Updated last week
- ☆11Apr 27, 2026Updated 5 months ago
- Avionics Full-Duplex Switched Ethernet model for OMNeT++☆20Sep 13, 2017Updated 9 years ago
- CANaerospace library cloned from bitbucket☆16Jul 15, 2018Updated 8 years ago
- ChibiOS based USB bootloader. (Outdated, see fpoussin/Motolink for examples)☆13Sep 26, 2014Updated 12 years ago
- OpenModelSphere fork with fixes for linux☆11Oct 6, 2016Updated 9 years ago
- WN8OS's Not a x86 Operating System: a tiny x64 operating system, for studying purpose.☆15Aug 2, 2015Updated 11 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Dump data from LG VCR HDD☆13Jan 17, 2017Updated 9 years ago
- Emacs mode for editing and running Bats tests☆22Feb 15, 2024Updated 2 years ago
- A notification framework for Qt C++ applications☆11Feb 7, 2015Updated 11 years ago
- Lemote PMON2000 boot loader.☆19Oct 18, 2013Updated 12 years ago
- Easy Boost integration in CMake projects☆12Aug 31, 2026Updated 3 weeks ago
- 交大《实时系统与调度》大作业☆10Jan 8, 2021Updated 5 years ago
- CU InSpace's avionics software☆11Sep 17, 2023Updated 3 years ago
- An open hardware reference design of a 500 W integrated propeller drive based on the Mitochondrik LV motor control chip. It includes a mo…☆14Aug 21, 2024Updated 2 years ago
- Самокорректирующийся код☆11Oct 11, 2017Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- The Realtime Linux tree☆50Apr 22, 2018Updated 8 years ago
- A python framework base on David Harel's statecharts (SCXML).☆16Dec 13, 2025Updated 9 months ago
- Automate generating lispsticks☆13Mar 10, 2026Updated 6 months ago
- PigletQL - example SQL-like language interpreter☆16Jan 22, 2020Updated 6 years ago
- Plugin for Qt Creator that helps with visual detecting code test coverage☆25Aug 2, 2013Updated 13 years ago
- ☆13Nov 6, 2020Updated 5 years ago
- Mathpaqs: a collection of mathematical packages in pure Ada☆15Jun 4, 2026Updated 3 months ago
- This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due, the STM32F4-series eva…☆23Oct 15, 2021Updated 4 years ago
- Finding palindromes in a dictionary with various programming languages☆11Nov 7, 2018Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Java 8 Streams C++ port☆15May 9, 2022Updated 4 years ago
- UAVCAN library for Espressif microcontrollers. (Arduino SDK)☆17Jul 10, 2020Updated 6 years ago
- A perl script for searching and replacing in mathematics in LaTeX documents.☆13Mar 31, 2026Updated 5 months ago
- Static program slicer used in Symbiotic tool☆12Mar 31, 2025Updated last year
- Arduino script for EMS sensor board☆10Jul 16, 2021Updated 5 years ago
- General-purpose CAN node firmware framework for STM32 and Linux targets☆17Updated this week
- QPA to stream your Qt application with RDP☆18Jan 26, 2026Updated 8 months ago