n1kn4x/circuit_to_formulacoloring_reduction

Stars
2
Language
Python
Created almost 2 years ago
Updated over 1 year ago

n1kn4x/circuit_to_formulacoloring_reduction

n1kn4x

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Code that reduces the problem of learning boolean circuits to the combinatorial optimization task of formula coloring.

timing-analysis

Python3 library for sophisticated timing attacks using Gaussian Mixture Model.

xv11_lidar_python

ROS2 driver in python for the prominent XV11 Lidar sensor firmware, which is common in chinese vacuum robots.

squid-for-scrape

Dockerfile for squid proxy configured for anonymous scraping. Auth enabled.