Skip to content
Change the repository type filter

All

    Repositories list

    • Cyber-Physical Cloud Computing Simulator
      Java
      0010Updated Dec 21, 2024Dec 21, 2024
    • cpcc

      Public
      Cyber Physical Cloud Computing
      Java
      GNU General Public License v3.0
      2001Updated Dec 21, 2024Dec 21, 2024
    • JNavigator - An Autonomous Navigation System for the JAviator Quadrotor Helicopter
      Java
      4110Updated Dec 21, 2024Dec 21, 2024
    • unicorn

      Public
      Unicorn: Symbolic Execution, Bounded Model Checking, and Code Optimization of RISC-V Code using Classical Solvers and Quantum Computers
      Rust
      MIT License
      93296Updated Dec 16, 2024Dec 16, 2024
    • monster

      Public
      Monster is a symbolic execution engine for 64-bit RISC-U code
      Rust
      MIT License
      31054Updated Nov 8, 2024Nov 8, 2024
    • rotorized

      Public
      C
      BSD 2-Clause "Simplified" License
      0000Updated Jun 30, 2024Jun 30, 2024
    • riscu

      Public
      Simple library for loading/decoding an ELF64 RISC-U file
      Rust
      MIT License
      15000Updated Jun 17, 2024Jun 17, 2024
    • scal-data

      Public
      1001Updated Dec 15, 2023Dec 15, 2023
    • ACDC

      Public
      A multi-threaded mutator for profiling and benchmarking heap management systems
      C
      Other
      2601Updated Dec 15, 2023Dec 15, 2023
    • libscm

      Public
      Self-collecting mutators for the C programming language
      C
      Other
      2201Updated Dec 15, 2023Dec 15, 2023
    • tap

      Public
      Threading by Appointment Project
      0001Updated Dec 15, 2023Dec 15, 2023
    • Python
      BSD 2-Clause "Simplified" License
      0001Updated Dec 15, 2023Dec 15, 2023
    • jarol

      Public
      Java Control Infrastructure Project
      0001Updated Dec 15, 2023Dec 15, 2023
    • JAviator

      Public
      JAviator Project sources
      C
      Other
      4502Updated Dec 15, 2023Dec 15, 2023
    • Performance dashboard for the Monster symbolic execution engine
      HTML
      0001Updated Dec 15, 2023Dec 15, 2023
    • EMSOFT07

      Public
      International Conference on Embedded Software 2007
      HTML
      0001Updated Dec 15, 2023Dec 15, 2023
    • BigActors

      Public
      JavaScript
      GNU General Public License v3.0
      1301Updated Dec 15, 2023Dec 15, 2023
    • TypeScript
      0101Updated Dec 15, 2023Dec 15, 2023
    • The Runner for GitHub Actions 🚀
      C#
      MIT License
      980000Updated Apr 3, 2023Apr 3, 2023
    • scalloc

      Public
      A Fast, Multicore-Scalable, Low-Fragmentation Memory Allocator
      C++
      BSD 2-Clause "Simplified" License
      715910Updated Nov 28, 2022Nov 28, 2022
    • C* benchmark programs.
      C
      MIT License
      1000Updated Jul 29, 2021Jul 29, 2021
    • scal

      Public
      High-performance multicore-scalable data structures and benchmarks
      C++
      Other
      2813910Updated Jul 8, 2019Jul 8, 2019
    • Evaluation of scalloc available at https://github.com/cksystemsgroup/scalloc
      C++
      BSD 2-Clause "Simplified" License
      2800Updated Mar 20, 2018Mar 20, 2018
    • jobbot

      Public
      Python
      MIT License
      0000Updated Oct 30, 2017Oct 30, 2017
    • Annual Report of the Computational Systems Group at the Department of Computer Sciences of the University of Salzburg, Austria
      TeX
      BSD 3-Clause "New" or "Revised" License
      0000Updated Apr 6, 2017Apr 6, 2017
    • tiptoe

      Public
      Real-Time Operating System Project
      0000Updated Sep 23, 2015Sep 23, 2015
    • htl

      Public
      Hierarchical Timing Language
      HTML
      0100Updated Sep 23, 2015Sep 23, 2015
    • EuroSys11

      Public
      European Systems Conference 2011
      HTML
      0000Updated Sep 23, 2015Sep 23, 2015
    • zeta

      Public
      C++
      Other
      0000Updated Jul 19, 2013Jul 19, 2013
    • Linux kernel module to disable and enable CPU caches
      C
      0200Updated Mar 15, 2013Mar 15, 2013