tlaitinen/xor
Software related to PhD Thesis "Extending SAT Solver with Parity Reasoning"
Public GitHub Catalog
Discovered Sep 26, 2026
tlaitinen / datepainter
A simple jQuery calendar widget for selecting multiple dates by "painting".
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.
#7547069GitHub 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/dsplayer
Digital Signage player using QT5 and WebKit