Skip to content
View daniel-grumberg's full-sized avatar
8 followers · 1 following

Achievements

Achievement: Pull Sharkx3Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruck
BetaSend feedback

Achievements

Achievement: Pull Sharkx3Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruck
BetaSend feedback

Highlights

  • Pro
Block or Report

Block or report daniel-grumberg

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

Pinned

  1. franklinsch/SATSolver franklinsch/SATSolver Public

    A SAT solver written in C

    C

  2. CodableXPC CodableXPC Public

    Implementation of Encoder and Decoder Protocols targeting libxpc

    Swift 32 3

  3. llvm-project llvm-project Public

    Forked from llvm/llvm-project

    This is the canonical git mirror of the LLVM subversion repository. Please see http://llvm.org/ for instructions on contributing to LLVM.

  4. srg-imperial/SaBRe srg-imperial/SaBRe Public

    Load-time selective binary rewriting

    C 151 16