picarresursix/libcnf
Provides an easy way to build crypto-oriented CNF formulas, solve them with an external SAT-solver and use the result thus obtained.
Developer Profile
picarresursix
Discovered public repositories for picarresursix in the GitHub catalog.
picarresursix/cryptographer-el
Elisp utils useful for emacs-using symmetric cryptographers
picarresursix/pi26_Symmetric_Crypto_C_utils
Functions and macros supposed to help when working on symmetric crypto: bit fiddling, IO of arrays, PRG...
picarresursix/my-nautilus-actions
Some script I use as nautilus actions: crypto, project management, image handling...
picarresursix/loccur
loccur is Emacs minor mode for navigating through the file like occur does, but without opening a new window.
picarresursix/meuporg
Python script to get things done by updating item lists from the text files in a directory (org-mode, markdown, wimwiki)
picarresursix/regulus
My main configuration files: .emacs and .emacs.d directory, bash functions, etc.