Skip to content
View fabianbs96's full-sized avatar

Organizations

@secure-software-engineering

Block or report fabianbs96

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

Popular repositories Loading

  1. phasar phasar Public

    Forked from secure-software-engineering/phasar

    A LLVM-based static analysis framework.

    C++ 3

  2. pool_allocator pool_allocator Public

    Custom memory allocators for speeding up node-based containers and object graphs

    C++ 2 1

  3. llvm-project llvm-project Public

    Forked from llvm/llvm-project

    This is the canonical git mirror of the LLVM subversion repository. The repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

  4. LRUCache LRUCache Public

    A simple, header-only C++ library for Least-Recently-Used Caching

    C++

  5. z3 z3 Public

    Forked from Z3Prover/z3

    The Z3 Theorem Prover

    C++ 1

  6. insect-logger insect-logger Public

    A simple, lightweight logger with minimalistic dependencies

    C++