Computational Systems Group's repositories
scalloc-artifact
Evaluation of scalloc available at https://github.com/cksystemsgroup/scalloc
cachecontrol
Linux kernel module to disable and enable CPU caches
JNavigator
JNavigator - An Autonomous Navigation System for the JAviator Quadrotor Helicopter
AnnualDepartmentReport
Annual Report of the Computational Systems Group at the Department of Computer Sciences of the University of Salzburg, Austria
Language:TeXBSD-3-Clause000
cpcc-simulator
Cyber-Physical Cloud Computing Simulator
cstar-benchmarks
C* benchmark programs.
github-actions-runner
The Runner for GitHub Actions :rocket:
monster-perf
Performance dashboard for the Monster symbolic execution engine
Language:CBSD-2-Clause000