Skip to content

@cksystemsgroup Computational Systems Group

All

    Repositories list

    34 repositories

    • cpcc

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

    • hurdy-gurdy

      Public
      A platform for building deterministic translations from source languages to reasoning languages, so that LLMs can reason about programs through external solvers…
      Python
      •
      MIT License
      •1•5•1•0•Updated Aug 30, 2026Aug 30, 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•41•9•5•Updated Aug 28, 2026Aug 28, 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 Aug 28, 2026Aug 28, 2026

    • JNavigator

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

    • cpcc-simulator

      Public
      Cyber-Physical Cloud Computing Simulator
      Java
      •0•0•1•0•Updated Aug 17, 2026Aug 17, 2026

    • rotor

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

    • bitr

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

    • scalloc

      Public
      A Fast, Multicore-Scalable, Low-Fragmentation Memory Allocator
      C++
      •
      BSD 2-Clause "Simplified" License
      •9•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
      •15•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.4k•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
      •31•143•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
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.