ahamez/smldd
A StandardML library for SDD
Public GitHub Catalog
Discovered Oct 5, 2026
ahamez / ahamez.github.io
Personal website
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.
#29809855GitHub System ID
ahamezOrganization / User
PublicVisibility
ActiveCatalog Status
More from ahamez
ahamez/proto-dd
A Proto-DD library.
ahamez/pnmc
An efficient Petri net model checker using Hierarchical Set Decision Diagrams.
ahamez/libsdd
A generic C++14 library for Hierarchical Set Decision Diagrams.