Home Original page

icemonster - Overview

@icemonster

icemonster

Follow

View icemonster's full-sized avatar

Nuno Sabino icemonster

Block or report icemonster

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

Popular repositories Loading

  1. symbolic_mersenne_cracker symbolic_mersenne_cracker Public

    Models the mersenne twister used by Python Random as a symbolic program. This allows recovering the state given a few outputs

    Python 99 6

  2. AutoVulnDetect AutoVulnDetect Public

    This repository contains a symbolic executor with capabilities of detecting common vulnerabilities in x86 binaries

    C 5 2

  3. icemonster.github.io icemonster.github.io Public

    HTML 1

  4. IAProj IAProj Public

    Artificial Intelligence Project for School

    Common Lisp

  5. SudokuSolver SudokuSolver Public

    Sudoku solver written in C

    C

  6. AdventOfCode2019 AdventOfCode2019 Public

    My solutions to Advent of Code challenges.

    Python