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.
Public GitHub Catalog
Discovered Oct 21, 2026
picarresursix / GOST-pi
The decomposition of the S-Box of the last two GOST standards.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#42587190GitHub System ID
picarresursixOrganization / User
PublicVisibility
ActiveCatalog Status
More from picarresursix
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...