Skip to content
View rhuizer's full-sized avatar
34 followers · 15 following
  • Japan

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Block or report rhuizer

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

  • game-utils Public

    Collection of miscellaneous game related code

    C 7 1 Updated Nov 16, 2022

  • ds1963s-utils Public

    Side-channel attack, emulation, and tools for the DS1963S iButton.

    C 5 4 Updated Nov 15, 2022

  • bravestarr Public

    Forked from immunityinc/bravestarr

    Fedora 31 netkit-telnet-0.17 telnetd remote exploit

    Python 2 3 Updated Mar 4, 2020

  • libptrace Public

    Forked from immunityinc/libptrace

    An event driven multi-core process debugging, tracing, and manipulation framework.

    C GNU Lesser General Public License v2.1 Updated Dec 26, 2019

  • sat-smt-examples Public

    Python 1 Updated Mar 20, 2018

  • espresso Public

    Espresso heuristic logic minimizer

    C 1 1 Other Updated Mar 15, 2018

  • pygo Public

    Python go utility library

    Python Updated May 7, 2017

  • docker Public

    Collection of random docker images

    Python 1 Updated May 4, 2017

  • bcsat Public

    CMake based build for BCPackage -- https://users.ics.aalto.fi/tjunttil/bcsat/

    C++ 1 1 GNU General Public License v2.0 Updated Jul 16, 2016

  • itg2-utils Public

    In The Groove 2 Utilities

    C Updated Jan 18, 2016

  • minisat Public

    MiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers alike to get started on SAT.

    C++ Other Updated Jun 12, 2015

  • nids-mixer Public

    A NS3 based TCP stream mixer for NIDS dataset generation.

    C++ 1 GNU General Public License v2.0 Updated Sep 18, 2013

  • sha1-sat Public

    Forked from vegard/sha1-sat

    SAT instance generator for SHA-1

    C++ GNU General Public License v3.0 Updated Apr 30, 2013

  • libaosc Public

    libaosc is a library for converting x86 shellcode into randomized ASCII-only shellcode.

    C 3 5 GNU Lesser General Public License v3.0 Updated Apr 26, 2013

  • alleycat Public

    An open source IBM AlleyCat 1984 implementation

    C 13 1 GNU General Public License v3.0 Updated Apr 26, 2013

  • netlist Public

    Forked from samee/netlist

    A simple circuit library for easy generation of large complicated SAT queries or garbled circuits

    Haskell Updated Feb 15, 2013