Repositories list

• nasl-tools

  Public
  C++

  •

  MIT License

  •00 forks•55 stars•00 issues•00 pull requests•Updated Apr 19, 2026Apr 19, 2026

• LTest

  Public
  LTest is a framework for verifying the linearizability of C++ data structures.

  datastructurescppverification+ 1

  datastructurescppverificationlinearizability

  C++

  •44 forks•66 stars•44 issues•77 pull requests•Updated Mar 28, 2026Mar 28, 2026

• Benchmark-v700

  Public
  Benchmark Framework with Skewed Workloads

  C++

  •44 forks•77 stars•22 issues•66 pull requests•Updated Mar 16, 2026Mar 16, 2026

• Containers

  Public
  Dockerfile

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 25, 2025Aug 25, 2025

• userver

  Public
  Production-ready C++ Asynchronous Framework with rich functionality

  C++

  •

  Apache License 2.0

  •379379 forks•00 stars•00 issues•00 pull requests•Updated Jul 7, 2025Jul 7, 2025

• digest-research

  Public
  Go

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 18, 2025Jun 18, 2025

• syscall_intercept

  Public
  The system call intercepting library

  C

  •

  Other

  •129129 forks•00 stars•00 issues•00 pull requests•Updated Dec 11, 2024Dec 11, 2024