davidp3/smsolver
Answer-set based program that generates SCXML files from '.lpscr' files.
Public GitHub Catalog
Discovered Sep 28, 2026
davidp3 / TitAn-droid
Distributed Graph Database
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.
#13376229GitHub System ID
davidp3Organization / User
PublicVisibility
ActiveCatalog Status
More from davidp3
davidp3/smbridge
Java Bridge connecting a POSIX client to a WebSockets client.
davidp3/CodeInterview
Solutions for some problems from Cracking The Code Interview Fifth Ed., etc
davidp3/MultiChoiceAdapter
Android - A ListView adapter with support for multiple choice modal selection