Skip to content
View tobireinhard's full-sized avatar
5 followers · 24 following

Achievements

Achievement: Quickdraw

Achievements

Achievement: Quickdraw

Highlights

  • Pro

Block or report tobireinhard

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. tobireinhard.github.io tobireinhard.github.io Public

    Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

    JavaScript

  2. Publications Publications Public

    A collection of publications by Tobias Reinhard.

    TeX

  3. verifast verifast Public

    Forked from verifast/verifast

    Research prototype tool for modular formal verification of C and Java programs

    OCaml

  4. aws-c-common aws-c-common Public

    Forked from awslabs/aws-c-common

    Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.

    C

  5. cbmc cbmc Public

    Forked from diffblue/cbmc

    C Bounded Model Checker

    SWIG

  6. Clang-LibTooling-Template Clang-LibTooling-Template Public template

    C++