byuccl / coastView external linksLinks
Compiler Assisted Software Fault Tolerance
☆25Oct 30, 2020Updated 5 years ago
Alternatives and similar repositories for coast
Users that are interested in coast are comparing it to the libraries listed below
Sorting:
- An Arduino UNO compatible implementation for the iCE40 FPGAs☆20Oct 7, 2020Updated 5 years ago
- A security-oriented microkernel for Cortex-M microcontrollers☆25Jun 9, 2016Updated 9 years ago
- Docker Development Environment for SpinalHDL☆20Aug 8, 2024Updated last year
- ARCHIE is a QEMU-based architecture-independent fault evaluation tool, that is able to simulate transient and permanent instruction and d…☆33Jan 3, 2026Updated last month
- Hardware for OreSat's SDR GPS receive and other SDR GPS projects☆29May 25, 2024Updated last year
- Triple Modular Redundancy☆28Sep 4, 2019Updated 6 years ago
- Design discussions, engineering justifications, and qualification data☆27Jan 16, 2022Updated 4 years ago
- SLOSH-ML is a Matlab graphical user interface designed to analyze rocket propellant sloshing in space launch vehicles☆14Dec 30, 2025Updated last month
- Symphony — A decentralized multi-agent framework that enables intelligent agents to collaborate seamlessly across heterogeneous edge devi…☆30Oct 30, 2025Updated 3 months ago
- ☆11Jun 27, 2024Updated last year
- ☆14Oct 2, 2023Updated 2 years ago
- Get Telemetry Data from YAMCS in OpenMCT☆10Sep 15, 2017Updated 8 years ago
- Minecraft Redstone Compiler☆13Feb 9, 2025Updated last year
- R7019R Spacecraft Subsystems. Thermal transient analysis of a satellite.☆12Apr 26, 2018Updated 7 years ago
- Small SERV-based SoC primarily for OpenMPW tapeout☆49Dec 18, 2025Updated last month
- PolarFire SoC hart software services☆50Jan 23, 2026Updated 3 weeks ago
- A template-based, layer-oriented High Level Synthesis Tool for AI algorithms☆13Dec 15, 2025Updated last month
- Kernel Module that implements Paxos protocol☆11Oct 23, 2020Updated 5 years ago
- Slicing Pie DAO implemented on ethereum☆11May 19, 2019Updated 6 years ago
- Back to the Whiteboard: a Principled Approach for the Assessment and Design of Memory Forensic Techniques (Usenix '19)☆14Aug 16, 2019Updated 6 years ago
- ☆14Apr 14, 2025Updated 10 months ago
- work in progress, playing around with btor2 in rust☆12Feb 6, 2026Updated last week
- Rust binding for libfyaml☆13Dec 7, 2024Updated last year
- Open source digital FPGA based theremin project☆11Jul 13, 2021Updated 4 years ago
- ☆13Feb 8, 2021Updated 5 years ago
- Cross-platform Rust wrappers for the PCI ID Repository☆11Oct 3, 2025Updated 4 months ago
- The PT tracing portion of Barnum.☆11Feb 8, 2019Updated 7 years ago
- Some header-only C++ utility functions☆10Jan 21, 2026Updated 3 weeks ago
- A Rust doubly-linked intrusive list with Miri tests☆12May 4, 2024Updated last year
- QDBMP (Quick n' Dirty BMP) is a minimalistic cross-platform C library for handling BMP image files☆11Nov 1, 2018Updated 7 years ago
- ☆18Jun 6, 2025Updated 8 months ago
- Repo contains code for our DerbyCon 2016 talk comparing Binary Ninja and IDA Pro.☆10Sep 18, 2016Updated 9 years ago
- ☆12Nov 14, 2023Updated 2 years ago
- 🧏 Detection of the alphabets in American Sign Language (ASL).☆11Jun 14, 2021Updated 4 years ago
- Cubesat Space Protocol - A small network-layer delivery protocol designed for Cubesats☆10Jan 29, 2026Updated 2 weeks ago
- a simple header-only json serialization solution for c++ based on picojson☆13Dec 25, 2016Updated 9 years ago
- ☆11Sep 6, 2025Updated 5 months ago
- Type-level interpolations in various forms☆12Dec 14, 2024Updated last year
- Testing processors with Random Instruction Generation☆55Jan 13, 2026Updated last month