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 Sep 28, 2026
picarresursix / cryptographer-el
Elisp utils useful for emacs-using symmetric cryptographers
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.
#12036647GitHub System ID
picarresursixOrganization / User
PublicVisibility
ActiveCatalog Status
More from picarresursix
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.