Thanks to visit codestin.com
Credit goes to github.com

Skip to content
View aaronpuchert's full-sized avatar
27 followers · 2 following
  • Jena, Germany

Achievements

Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Organizations

@wurzeljena @llvm

Block or report aaronpuchert

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

Showing results

goodell / cppmem

totally unofficial git repo containing sources for the CppMem tool available at http://svr-pes20-cppmem.cl.cam.ac.uk/cppmem/help.html and discussed in the Batty et al. paper at POPL 2011 (http://ww…

OCaml 26 3 Updated Feb 15, 2013

klee / klee

KLEE Symbolic Execution Engine

C++ 2,873 705 Updated Dec 19, 2025

bpftrace / bpftrace

High-level tracing language for Linux

C++ 9,824 1,425 Updated Dec 21, 2025

cjcliffe / NoComply

No Comply

JavaScript 21 5 Updated Aug 4, 2016

include-what-you-use / include-what-you-use

A tool for use with clang to analyze #includes in C and C++ source files

C++ 4,574 408 Updated Dec 20, 2025

iovisor / bcc

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

C 22,069 4,030 Updated Dec 11, 2025

agendfuture / ymixr

ymixr is a WebApp that provides mixing and simple playlist functionality to many of the common media webservices like youtube, vimeo or soundcloud.

CSS 1 Updated Feb 23, 2014