henrikssn/pentagon
An Optimized C++ Implementation of the Pentagon Abstract Domain
Public GitHub Catalog
Discovered Sep 29, 2026
henrikssn / openflowswitch
Expermients with mininet and openflow switches
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.
#14954958GitHub System ID
henrikssnOrganization / User
PublicVisibility
ActiveCatalog Status
More from henrikssn
henrikssn/pavltree
A fast concurrent AVL Tree with wait-free contains
henrikssn/.gitcfg
My .gitconfig
henrikssn/amazonaws
Playing with the Amazon AWS