Explore @cksystemsgroup Open Source projects

Computational Systems Group (@cksystemsgroup)

cksystemsgroup

Stars
349
Global Org. Rank 29,103 (Top 10 %)
Registered over 11 years ago
Most used languages

C
35.7 %

C++
21.4 %

Rust
14.3 %

TypeScript
7.1 %

HTML
7.1 %

Java
7.1 %

JavaScript
7.1 %
Location 🇦🇹 Austria
Country Total Rank 432
Country Ranking

C++
38

Rust
42

C
142

HTML
704

TypeScript
712

Java
1,052

JavaScript
1,112

scalloc

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

scal

High-performance multicore-scalable data structures and benchmarks

unicorn

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

monster

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

scalloc-artifact

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

compact-fit

ACDC

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

JAviator

JAviator Project sources

BigActors

libscm

Self-collecting mutators for the C programming language

cachecontrol

Linux kernel module to disable and enable CPU caches

htl

Hierarchical Timing Language

beator-visualizer

JNavigator

JNavigator - An Autonomous Navigation System for the JAviator Quadrotor Helicopter