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:
- PCB design for the initial prototype of OBC hardware, to interface with LaunchPad.☆10Sep 19, 2018Updated 7 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 2 months ago
- SLOSH-ML is a Matlab graphical user interface designed to analyze rocket propellant sloshing in space launch vehicles☆15Dec 30, 2025Updated 2 months ago
- PolarFire SoC Icicle Kit Libero reference design☆44Jan 13, 2026Updated last month
- Open Cryptanalysis Platform☆13Feb 7, 2026Updated last month
- Analyze experimental data with Programming by Navigation☆17Updated this week
- Small SERV-based SoC primarily for OpenMPW tapeout☆51Dec 18, 2025Updated 2 months ago
- PolarFire SoC hart software services☆50Jan 23, 2026Updated last month
- Repo contains code for our DerbyCon 2016 talk comparing Binary Ninja and IDA Pro.☆10Sep 18, 2016Updated 9 years ago
- Plasma Effect for VGA, MS-DOS, Turbo C☆10Nov 23, 2020Updated 5 years ago
- VGA LCD Core (OpenCores)☆14May 22, 2018Updated 7 years ago
- crawling china stock recommendation from Sina Weibo, create pyecharts for data☆11Jan 26, 2018Updated 8 years ago
- ☆14Apr 14, 2025Updated 10 months ago
- ☆15Oct 2, 2023Updated 2 years ago
- ☆14Nov 1, 2017Updated 8 years ago
- Handheld Battery AC and Time Domain characterization tool on Attiny series 2☆14Jan 15, 2024Updated 2 years ago
- ☆11Sep 6, 2025Updated 6 months ago
- Some header-only C++ utility functions☆10Jan 21, 2026Updated last month
- Source code for my personal website.☆10Feb 1, 2026Updated last month
- Learn the Design of a 6-stage pipelined RISC-V CPU☆17Oct 22, 2025Updated 4 months ago
- A simple spidergon network-on-chip with wormhole switching feature☆12Mar 22, 2021Updated 4 years ago
- Testing processors with Random Instruction Generation☆57Jan 13, 2026Updated last month
- I-D that describes the algorithm identifiers for NIST's PQC ML-DSA for use in the Internet X.509 Public Key Infrastructure☆14Oct 30, 2025Updated 4 months ago
- Slicing Pie DAO implemented on ethereum☆11May 19, 2019Updated 6 years ago
- Minimal startup code + Makefile for building bare-metal C programs for Cortex-M4☆11Jul 26, 2016Updated 9 years ago
- ☆12Jul 17, 2020Updated 5 years ago
- A python implementation of the paper "GraRep: Learning Graph Representations with Global Structural Information".☆11Jun 7, 2017Updated 8 years ago
- ☆18Jun 6, 2025Updated 9 months ago
- a simple header-only json serialization solution for c++ based on picojson☆13Dec 25, 2016Updated 9 years ago
- Cross-platform Rust wrappers for the PCI ID Repository☆11Oct 3, 2025Updated 5 months ago
- Sample code in MATLAB for "Rigid Body Dynamics for Beginners"☆16Sep 2, 2016Updated 9 years ago
- ☆13Feb 8, 2021Updated 5 years ago
- A template-based, layer-oriented High Level Synthesis Tool for AI algorithms☆13Dec 15, 2025Updated 2 months ago
- work in progress, playing around with btor2 in rust☆12Feb 24, 2026Updated last week
- Forward-looking approach in process mining (using system dynamics and process mining to simulate business processes)☆12Feb 16, 2023Updated 3 years ago
- Type-level interpolations in various forms☆12Dec 14, 2024Updated last year
- Don't panic, it's just a game.☆11Sep 29, 2016Updated 9 years ago
- QDBMP (Quick n' Dirty BMP) is a minimalistic cross-platform C library for handling BMP image files☆11Nov 1, 2018Updated 7 years ago