Real-Time Operating System (RTOS) for Texas Instruments AM335X Sitara Cortex-A8 (ARMv7-A) single-core SoCs (BeagleBone, BeagleBone Black and similars) based on the ARINC 653 Part 1 specification
☆18Aug 10, 2023Updated 2 years ago
Alternatives and similar repositories for ARINC653_ARMV7A_AM335X
Users that are interested in ARINC653_ARMV7A_AM335X are comparing it to the libraries listed below
Sorting:
- POK kernel. Safe and secure for safety-critical systems.☆114Jan 26, 2026Updated last month
- Real-Time Operating System (RTOS) for Xilinx Zynq-7000 Cortex-A9 (ARMv7-A) multi-core SoCs (ZedBoard, PicoZed, MicroZed and similars) bas…☆14Aug 10, 2023Updated 2 years ago
- An ARINC653 kernel simulator implementing ARINC653's Communication and the Time and Space Partitioning concept (TSP)☆19Jan 13, 2017Updated 9 years ago
- FreeRTOS (include AWS related libraries) reference repository☆18Aug 21, 2025Updated 6 months ago
- A project repo to create and learn AUTOSAR stack☆18Dec 18, 2023Updated 2 years ago
- A web application to inspect ReqIF files☆14Dec 21, 2025Updated 2 months ago
- ARINC 653 POSIX based library☆32Feb 9, 2026Updated last month
- A C# library for reading and writing reqif documents☆31Feb 20, 2026Updated 2 weeks ago
- Conversion tools for grub's awful PFF2/pf2 font format.☆10May 28, 2023Updated 2 years ago
- An Attendance System powered with QR code scanning system for replacing standard attendance systems in Colleges, Institutes and Companies…☆10Apr 16, 2022Updated 3 years ago
- C.O.R.E. is an all-encompassing cognitive architecture I designed as a system for enabling AI technologies to interact fully as a persona…☆13Feb 18, 2026Updated 2 weeks ago
- A stand-alone Arduino GPS time server☆13Aug 16, 2018Updated 7 years ago
- Analytics tool that applies Natural Language Processing (NLP) and Machine Learning (ML), such as concept extraction, idea classification,…☆10Dec 7, 2022Updated 3 years ago
- Knowledge sharing of AWS (Amazon Web Services) Cloud☆12Jun 7, 2021Updated 4 years ago
- CySat-1 Software and Applications for Onboard Firmware and Ground Station☆12May 25, 2024Updated last year
- An experimental distributed map reduce system based on Google's MapReduce, written in Rust!☆10Aug 3, 2022Updated 3 years ago
- Requests And Offers is a hAppenings.community project to facilitate exchange between Holochain creators, developers, advocates, projects …☆12Updated this week
- A simple, fast, deeply embeddable memory management system (malloc, free). Fast, light. < 1K byte heaps possible.☆11Dec 12, 2017Updated 8 years ago
- Toy approach to VMProtect virtualization☆16Oct 26, 2018Updated 7 years ago
- 🤖 A list of latest AGI-related repos, resources and courses including LLMs and AI Agents.☆13Sep 24, 2024Updated last year
- ASYN based EPICS driver for Galil products☆12Jan 22, 2026Updated last month
- Source code for Multi-resolution Common Fate Transform.☆12Jun 5, 2020Updated 5 years ago
- Early-stage machine learning library in Rust☆10Apr 15, 2021Updated 4 years ago
- Clustering and Link Prediction Evaluation in R☆14Sep 23, 2023Updated 2 years ago
- Modular Aviation Instruments - Open Source Avionics for Microlights and other Non-Type-Certified Aircraft☆12Jan 13, 2019Updated 7 years ago
- weharmony.github.io☆10Jun 11, 2024Updated last year
- Open-source repository for the OOPSLA'24 paper "CYCLE: Learning to Self-Refine Code Generation"☆10Mar 8, 2024Updated 2 years ago
- Unit test for ACRN, including unit test cases for hypervisor and device model.☆12Sep 23, 2022Updated 3 years ago
- The Alexandria Project is an open-source platform where people can share their knowledge through books, podcasts, docs and videos.☆12Dec 30, 2022Updated 3 years ago
- Implementation of Arinc standards including A429☆12Oct 12, 2016Updated 9 years ago
- Code repository for my embedded and electronics projects.☆11Nov 29, 2015Updated 10 years ago
- A Subjective Web-of-Trust for Decentralized Moderation and Peer Review☆13Jan 20, 2024Updated 2 years ago
- A collection of outcomes and discoveries from our legal AI research projects☆22Feb 24, 2026Updated last week
- ☆12Jan 9, 2018Updated 8 years ago
- An advanced crypto library for Rust providing implementations for DKG and distributed signature, partial porting of DEDIS kyber library☆12Jun 23, 2023Updated 2 years ago
- [ACL 2025] NeuSym-RAG: Hybrid Neural Symbolic Retrieval with Multiview Structuring for PDF Question Answering☆22Jul 29, 2025Updated 7 months ago
- SAR is a new way of handling regular expression which allows us to run many regular expressions (only limitation being the available memo…☆15Nov 3, 2023Updated 2 years ago
- pixels-to-cloud is a photo-editor app that aims to inspire developers to create high-performance, scalable, distributed systems.☆10Jul 9, 2024Updated last year
- Python library to query APT repositories☆13Aug 6, 2024Updated last year