tlaitinen/xor
Software related to PhD Thesis "Extending SAT Solver with Parity Reasoning"
Public GitHub Catalog
Discovered Sep 29, 2026
tlaitinen / dsplayer
Digital Signage player using QT5 and WebKit
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.
#15609948GitHub System ID
tlaitinenOrganization / User
PublicVisibility
ActiveCatalog Status
More from tlaitinen
tlaitinen/musicselect
Haskell library to select and rotate a subset of music from a larger library
tlaitinen/fuzzy-timings
A Haskell package to translate high-level timing definitions, e.g. play this commercial 10 times / hour between 9am - 11am, to simpler definitions
tlaitinen/ptlish
DSL for functional embedded device operational specifications with past time.