Built something? We create video reels & spotlights for GitHub projects.Promote your project →
Catalog / tlaitinen / xor
Public GitHub Catalog Discovered Oct 3, 2026

tlaitinen / xor

Software related to PhD Thesis "Extending SAT Solver with Parity Reasoning"

View repository on GitHub ↗ View creator profile Browse directory

About this discovery

Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.

#26863520GitHub 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

Discovered
↗

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

Discovered
FOR MAINTAINERS

Built something? Put it in front of millions of developers.

We make a short reel about your project and post it across YouTube, Instagram, Threads, and X. Send a link, we do the rest.