tonezhang01 Goto Github PK

bcc

BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

benchmark

A microbenchmark support library

bento

Packer templates for building minimal Vagrant baseboxes

cbmc

C Bounded Model Checker

ceph

Ceph is a distributed object, block, and file storage platform

cmake

Mirror of CMake upstream repository

computelibrary

The ARM Computer Vision and Machine Learning library is a set of functions optimised for both ARM CPUs and GPUs using SIMD technologies.

cuda-gdb

CUDA GDB

cuda-samples

Samples for CUDA Developers which demonstrates features in CUDA Toolkit

discopop

DiscoPoP - Discovery of Potential Parallelism

f-stack

F-Stack is an user space network development kit with high performance based on DPDK, FreeBSD TCP/IP stack and coroutine API.

gcc

gdbgui

Browser-based frontend to gdb (gnu debugger). Add breakpoints, view the stack, visualize data structures, and more in C, C++, Go, Rust, and Fortran. Run gdbgui from the terminal and a new tab will open in your browser.

glibc

GNU Libc

gprofiler

gProfiler is a system-wide profiler, combining multiple sampling profilers to produce unified visualization of what your CPU is spending time on.

grammars-v4

Grammars written for ANTLR v4; expectation that the grammars are free of actions.

haproxy

HAProxy Load Balancer's development branch

herdtools7

The Herd toolsuite to deal with .cat memory models (version 7.xx)

hexrayscodexplorer

Hex-Rays Decompiler plugin for better code navigation

imm

Intermediate Memory Model (IMM) and compilation correctness proofs for it

isa-l

Intelligent Storage Acceleration Library

linux

Linux kernel source tree

litmus-tests-riscv

RISC-V architecture concurrency model litmus tests

litmus-tests-x86

x86 architecture concurrency model litmus tests

lkp-tests

Linux Kernel Performance tests

makefile2graph

Creates a graph of dependencies from GNU-Make; Output is a graphiz-dot file or a Gexf-XML file.

masurca

nginx

An official read-only mirror of http://hg.nginx.org/nginx/ which is updated hourly. Pull requests on GitHub cannot be accepted and will be automatically closed. The proper way to submit changes to nginx is via the nginx development mailing list, see http://nginx.org/en/docs/contributing_changes.html

nginx-quick-reference

:zap: This notes describes how to improve Nginx performance, security and other important things; ssllabs A+ 100%.

nidhugg

Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is particularly useful for programs written in C/pthreads. Currently Nidhugg supports the SC, TSO, PSO, POWER and ARM (partial) memory models.