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 26, 2026
picarresursix / meuporg
Python script to get things done by updating item lists from the text files in a directory (org-mode, markdown, wimwiki)
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.
#7517220GitHub 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...