Skip to content

@cksystemsgroup Computational Systems Group

Change the repository type filter

All

    Repositories list

    33 repositories

    • rotor

      Public
      Rotor is a reasoning engine for code that compiles to RISC-V.
      Python
      •
      MIT License
      •0•0•0•0•Updated Apr 21, 2026Apr 21, 2026

    • cpcc

      Public
      Cyber Physical Cloud Computing
      Java
      •
      GNU General Public License v3.0
      •2•1•0•0•Updated Apr 18, 2026Apr 18, 2026

    • JNavigator

      Public
      JNavigator - An Autonomous Navigation System for the JAviator Quadrotor Helicopter
      Java
      •4•1•1•0•Updated Apr 18, 2026Apr 18, 2026

    • bitr

      Public
      BVDD-based incremental theory resolver for BTOR2 model checking — agent-driven development
      Rust
      •
      MIT License
      •0•1•0•0•Updated Apr 18, 2026Apr 18, 2026

    • monster

      Public
      Monster is a symbolic execution engine for 64-bit RISC-U code
      monstersymbolic-execution-engine
      monstersymbolic-execution-engine
      Rust
      •
      MIT License
      •3•11•5•5•Updated Apr 16, 2026Apr 16, 2026

    • unicorn

      Public
      Unicorn: Symbolic Execution, Bounded Model Checking, and Code Optimization of RISC-V Code using Classical Solvers and Quantum Computers
      rustquantum-computingising-spin-models
      rustquantum-computingising-spin-modelsquantum-annealingquantum-circuitsadiabatic-quantum-computing
      Rust
      •
      MIT License
      •9•40•9•5•Updated Apr 14, 2026Apr 14, 2026

    • cpcc-simulator

      Public
      Cyber-Physical Cloud Computing Simulator
      Java
      •0•0•1•0•Updated Feb 23, 2026Feb 23, 2026

    • scalloc

      Public
      A Fast, Multicore-Scalable, Low-Fragmentation Memory Allocator
      C++
      •
      BSD 2-Clause "Simplified" License
      •8•162•1•0•Updated Jun 23, 2025Jun 23, 2025

    • rotorized

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

    • riscu

      Public
      Simple library for loading/decoding an ELF64 RISC-U file
      Rust
      •
      MIT License
      •16•1•0•0•Updated Jun 17, 2024Jun 17, 2024

    • scal-data

      Public
      1•0•0•0•Updated Dec 15, 2023Dec 15, 2023

    • ACDC

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

    • libscm

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

    • tap

      Public
      Threading by Appointment Project
      0•0•0•0•Updated Dec 15, 2023Dec 15, 2023

    • planetary-globe

      Public
      Python
      •
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Dec 15, 2023Dec 15, 2023

    • jarol

      Public
      Java Control Infrastructure Project
      0•0•0•0•Updated Dec 15, 2023Dec 15, 2023

    • JAviator

      Public
      JAviator Project sources
      C
      •
      Other
      •4•5•0•1•Updated Dec 15, 2023Dec 15, 2023

    • monster-perf

      Public
      Performance dashboard for the Monster symbolic execution engine
      HTML
      •0•0•0•0•Updated Dec 15, 2023Dec 15, 2023

    • EMSOFT07

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

    • BigActors

      Public
      JavaScript
      •
      GNU General Public License v3.0
      •1•3•0•0•Updated Dec 15, 2023Dec 15, 2023

    • beator-visualizer

      Public
      TypeScript
      •0•1•0•0•Updated Dec 15, 2023Dec 15, 2023

    • github-actions-runner

      Public
      The Runner for GitHub Actions :rocket:
      C#
      •
      MIT License
      •1.3k•0•0•0•Updated Apr 3, 2023Apr 3, 2023

    • cstar-benchmarks

      Public
      C* benchmark programs.
      C
      •
      MIT License
      •1•0•0•0•Updated Jul 29, 2021Jul 29, 2021

    • scal

      Public
      High-performance multicore-scalable data structures and benchmarks
      C++
      •
      Other
      •29•144•1•0•Updated Jul 8, 2019Jul 8, 2019

    • scalloc-artifact

      Public
      Evaluation of scalloc available at https://github.com/cksystemsgroup/scalloc
      C++
      •
      BSD 2-Clause "Simplified" License
      •2•8•0•0•Updated Mar 20, 2018Mar 20, 2018

    • jobbot

      Public
      Python
      •
      MIT License
      •0•0•0•0•Updated Oct 30, 2017Oct 30, 2017

    • AnnualDepartmentReport

      Public
      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
      •0•0•0•0•Updated Apr 6, 2017Apr 6, 2017

    • tiptoe

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

    • htl

      Public
      Hierarchical Timing Language
      HTML
      •0•1•0•0•Updated Sep 23, 2015Sep 23, 2015

    • EuroSys11

      Public
      European Systems Conference 2011
      HTML
      •0•0•0•0•Updated Sep 23, 2015Sep 23, 2015
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.