Skip to content

@danceos DanceOS

Change the repository type filter

All

    Repositories list

    6 repositories

    • sail-riscv

      Public
      Coq
      •
      Other
      •0•0•0•0•Updated Jun 20, 2022Jun 20, 2022

    • rampage

      Public
      RAMpage -- An online memory tester for Linux
      C
      •8•7•0•0•Updated Feb 15, 2022Feb 15, 2022

    • fail

      Public
      FAult Injection Leveraged
      C++
      •
      GNU General Public License v3.0
      •11•42•3•3•Updated Dec 15, 2021Dec 15, 2021

    • fail-targets

      Public
      Simple Workload Targets for FAIL*
      Makefile
      •1•1•1•0•Updated Nov 3, 2021Nov 3, 2021

    • edcc2019-mibench

      Public
      MiBench benchmark modifications used in the EDCC 2019 paper "Quantitative Cross-Layer Evaluation of Transient-Fault Injection Techniques for Algorithm Compariso…
      C
      •1•0•0•0•Updated Jul 6, 2019Jul 6, 2019

    • dosek

      Public archive
      dOSEK - A Dependability Oriented Static Embedded Kernel
      Python
      •
      GNU Lesser General Public License v3.0
      •3•6•0•0•Updated Nov 17, 2015Nov 17, 2015
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.