RobinDavid/pydimacs RobinDavid/pydimacs

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Python
  • License
    Apache License 2.0
  • Created about 5 years ago
  • Updated about 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
RobinDavid/pydimacs
github

RobinDavid

Reviews

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

Repository Details

Python module to manipulate CNF DIMACS formulas (using z3)

More Repositories

1

LSB-Steganography

Python program to steganography files into images using the Least Significant Bit.
Python
879
star
2

Motion-detection-OpenCV

Python/OpenCV script that detect motion on webcam and allow record it to a file
Python
256
star
3

Pytesser

Python wrapper for the tesseract OCR engine. The module is based on OpenCV
Python
178
star
4

idasec

IDA plugin for reverse-engineering and dynamic interactions with the Binsec platform
Python
115
star
5

pydes

Basic but pure DES implementation in Python
Python
67
star
6

pyADS

Python module to manipulate NTFS Alternate Data Stream (ADS) in Python
Python
55
star
7

Captcha-basic-recognition

Python module that intent to crack basic captcha engines using OpenCV and Pytesser
Python
39
star
8

OpenCV-tutorials

Contain the hole source code of my OpenCV tutorial
Python
33
star
9

pystack

Pystack, is a python framework that allow to create small TCP/IP stacks in an easy manner in order to obtain a wanted behavior.
Python
27
star
10

checksec

Bash script to test executable properties like (PIE, RELRO, PaX, Canaries, ASLR). (Version derivated from the original one trapkit.de/tools/checksec.html
Shell
20
star
11

Python-programs

Contains various python programs and proof of concept.
Python
10
star
12

pytts

Text-To-Speech multi-platform in python. It uses Google translate as engine.
Python
8
star
13

breach_compilation_utils

BreachCompilation utils for iterating logins and passwords
Python
5
star
14

lsbbrute

Script to bruteforce the LSB of an image to find file signatures (in every channel permutation, rotation etc..)
Python
5
star
15

LyricsTagger

Python program, that automaticaly tag lyrics in MP3 files.
Python
3
star
16

Cryptoid

ryptoid is a toy app to apply weak ciphers on plain text. (Mostly developped to learn how to develop an app).
Java
2
star
17

RobinDavid.github.io

My Github pages
HTML
2
star
18

Python-samples

Contains few python scripts for everything and nothing
Python
2
star
19

Bash-network-game

This project is a fully working 2 player network game written in bash. It intents to show the possibilities of bash which is not a simple script program.
Shell
2
star
20

RobinDavid

1
star
21

codeql-uboot

CodeQL
1
star