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 70 4

2. AutoVulnDetect AutoVulnDetect Public

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

   C 4 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