Giters
Computational Systems Group (cksystemsgroup)

Computational Systems Group

cksystemsgroup

Geek Repo

Location:Salzburg, Austria

Home Page:www.cs.uni-salzburg.at/~ck/

Github PK Tool:Github PK Tool

Computational Systems Group's repositories

scalloc

A Fast, Multicore-Scalable, Low-Fragmentation Memory Allocator

Language:C++License:BSD-2-ClauseStargazers:154Issues:18Issues:1

scal

High-performance multicore-scalable data structures and benchmarks

Language:C++License:NOASSERTIONStargazers:135Issues:25Issues:2

unicorn

Unicorn: Symbolic Execution, Bounded Model Checking, and Code Optimization of RISC-V Code using Classical Solvers and Quantum Computers

Language:RustLicense:MITStargazers:29Issues:8Issues:6

monster

Monster is a symbolic execution engine for 64-bit RISC-U code

Language:RustLicense:MITStargazers:10Issues:8Issues:63

scalloc-artifact

Evaluation of scalloc available at https://github.com/cksystemsgroup/scalloc

Language:C++License:BSD-2-ClauseStargazers:8Issues:4Issues:1

ACDC

A multi-threaded mutator for profiling and benchmarking heap management systems

Language:CLicense:NOASSERTIONStargazers:6Issues:11Issues:0

JAviator

JAviator Project sources

Language:CLicense:NOASSERTIONStargazers:5Issues:7Issues:0

BigActors

Language:JavaScriptLicense:GPL-3.0Stargazers:3Issues:14Issues:0

cachecontrol

Linux kernel module to disable and enable CPU caches

Language:CStargazers:2Issues:12Issues:0

libscm

Self-collecting mutators for the C programming language

Language:CLicense:NOASSERTIONStargazers:2Issues:9Issues:1

beator-visualizer

Language:TypeScriptStargazers:1Issues:3Issues:0

htl

Hierarchical Timing Language

Language:HTMLStargazers:1Issues:13Issues:0

JNavigator

JNavigator - An Autonomous Navigation System for the JAviator Quadrotor Helicopter

Language:JavaStargazers:1Issues:7Issues:1

cpcc

Cyber Physical Cloud Computing

Language:JavaLicense:GPL-3.0Stargazers:0Issues:7Issues:0

riscu

Simple library for loading/decoding an ELF64 RISC-U file

Language:RustLicense:MITStargazers:0Issues:3Issues:0

AnnualDepartmentReport

Annual Report of the Computational Systems Group at the Department of Computer Sciences of the University of Salzburg, Austria

Language:TeXLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

cpcc-simulator

Cyber-Physical Cloud Computing Simulator

Language:JavaStargazers:0Issues:8Issues:1

cstar-benchmarks

C* benchmark programs.

Language:CLicense:MITStargazers:0Issues:2Issues:0

EMSOFT07

International Conference on Embedded Software 2007

Language:HTMLStargazers:0Issues:12Issues:0

EuroSys11

European Systems Conference 2011

Language:HTMLStargazers:0Issues:12Issues:0

github-actions-runner

The Runner for GitHub Actions :rocket:

Language:C#License:MITStargazers:0Issues:2Issues:0

jarol

Java Control Infrastructure Project

Stargazers:0Issues:12Issues:0

jobbot

Language:PythonLicense:MITStargazers:0Issues:3Issues:1

monster-perf

Performance dashboard for the Monster symbolic execution engine

Language:HTMLStargazers:0Issues:3Issues:0

planetary-globe

Language:PythonLicense:BSD-2-ClauseStargazers:0Issues:3Issues:0

rotorized

Language:CLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

scal-data

Stargazers:0Issues:3Issues:0

tap

Threading by Appointment Project

Stargazers:0Issues:12Issues:0

tiptoe

Real-Time Operating System Project

Stargazers:0Issues:12Issues:0

zeta

Language:C++License:NOASSERTIONStargazers:0Issues:13Issues:0