Daeinar/stp
Simple Theorem Prover.
Public GitHub Catalog
Discovered Oct 3, 2026
Daeinar / norx-py
Python2 implementation of NORX (https://norx.io)
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#27557025GitHub System ID
DaeinarOrganization / User
PublicVisibility
ActiveCatalog Status
More from Daeinar
Daeinar/vim-snippets
vim-snipmate default snippets (Previously snipmate-snippets)
Daeinar/crypto-bib
Crypto Bib is a BibTeX database containing papers related to Cryptography, with manually checked entries and uniform BibTeX data.
Daeinar/belt
C implementation of the Belorussian standard STB 34.101.31-2011 (Bel-T) block cipher