Compiler Assisted Software Fault Tolerance
☆26Oct 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- PCB design for the initial prototype of OBC hardware, to interface with LaunchPad.☆10Sep 19, 2018Updated 7 years ago
- An Arduino UNO compatible implementation for the iCE40 FPGAs☆20Oct 7, 2020Updated 5 years ago
- ARCHIE is a QEMU-based architecture-independent fault evaluation tool, that is able to simulate transient and permanent instruction and d…☆33Mar 13, 2026Updated last month
- Design discussions, engineering justifications, and qualification data☆27Jan 16, 2022Updated 4 years ago
- Hardware for OreSat's SDR GPS receive and other SDR GPS projects☆31May 25, 2024Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A security-oriented microkernel for Cortex-M microcontrollers☆25Jun 9, 2016Updated 9 years ago
- GsD style kicad Libraries☆11Apr 4, 2020Updated 6 years ago
- Documentation for Digital Design course☆21Jun 10, 2025Updated 10 months ago
- Implemented The UART with FIFO☆15Jul 4, 2019Updated 6 years ago
- ☆19Dec 19, 2018Updated 7 years ago
- An Architecture-level Fault Injection Tool for GPU Application Resilience Evaluations☆19Apr 14, 2020Updated 6 years ago
- a simple header-only json serialization solution for c++ based on picojson☆13Dec 25, 2016Updated 9 years ago
- Provides a packaged collection of open source EDA tools☆12Apr 14, 2019Updated 7 years ago
- VGA LCD Core (OpenCores)☆15May 22, 2018Updated 7 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Triple Modular Redundancy☆30Sep 4, 2019Updated 6 years ago
- An AMD/Xilinx Artix 50T FPGA on a Pi5 Hat with PCIe and GPIO interconnects as well as SPI programming☆18Sep 25, 2024Updated last year
- Um Linux leve e completo que roda pelo pendrive e minera criptomoeda Monero para você!☆15Aug 31, 2022Updated 3 years ago
- An example of how to create a p2 composite update site during the build☆11Oct 18, 2019Updated 6 years ago
- Source code for my personal website.☆10Mar 17, 2026Updated last month
- This cFS app is called Diagnostic Reasoner (DR), and as the name implies, it will diagnose a system of interest. That is, it will do faul…☆11Jul 1, 2020Updated 5 years ago
- Minimal startup code + Makefile for building bare-metal C programs for Cortex-M4☆11Jul 26, 2016Updated 9 years ago
- A command-line controller for the OreSat Helmholtz Cage test-chamber.☆16Mar 30, 2026Updated 3 weeks ago
- A RISC-V new instruction discovery tool [Work in Progress]☆15Dec 8, 2022Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- PW-Sat2 hardware designed by the PW-Sat2 team☆12May 20, 2019Updated 6 years ago
- A systolic array matrix multiplier☆30Sep 11, 2019Updated 6 years ago
- A library for binary analysis and rewriting☆50Sep 28, 2023Updated 2 years ago
- A simple AXI4 DMA unit written in SpinalHDL.☆18Apr 18, 2020Updated 6 years ago
- ☆13Aug 22, 2022Updated 3 years ago
- ☆12Jun 27, 2024Updated last year
- Digital Waveform Viewer☆17Jan 22, 2024Updated 2 years ago
- PolarFire SoC Icicle Kit Libero reference design☆47Apr 10, 2026Updated last week
- Branch Predictor Optimization for BlackParrot☆15Mar 24, 2024Updated 2 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.
- OLHZN Arduino Mega High Altitude Weather Balloon APRS Radio Tracking & Data Logger☆18Sep 8, 2018Updated 7 years ago
- ☆19Aug 27, 2022Updated 3 years ago
- vRTLmod modifies Verilator generated RTL simulation code for faul-injection purposes. It transforms source code with the help of LLVM/C…☆18Mar 28, 2026Updated 3 weeks ago
- A SystemC + DRAMSim2 simulator for exploring the SpMV hardware accelerator design space.☆15Nov 9, 2014Updated 11 years ago
- ☆12May 6, 2020Updated 5 years ago
- R7019R Spacecraft Subsystems. Thermal transient analysis of a satellite.☆12Apr 26, 2018Updated 7 years ago
- PolarFire SoC hart software services☆55Jan 23, 2026Updated 2 months ago