nvasilakis/valium
Vala bindings for NaCl/Sodium crypto library
Public GitHub Catalog
Discovered Sep 30, 2026
nvasilakis / Noq
Nock Specification in Coq
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.
#18982312GitHub System ID
nvasilakisOrganization / User
PublicVisibility
ActiveCatalog Status
More from nvasilakis
nvasilakis/libsodium
P(ortable|ackageable) NaCl-based crypto library
nvasilakis/HaNS
The haskell network stack
nvasilakis/inbox
The open source email toolkit.