pkhuong/tetris-dpll
An implementation of the DPLL at the core of http://arxiv.org/abs/1404.0703
Public GitHub Catalog
Discovered Sep 30, 2026
pkhuong / ck
Concurrency primitives, safe memory reclamation mechanisms and non-blocking data structures designed to aid in the research, design and implementation of high performance concurrent systems.
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.
#18891904GitHub System ID
pkhuongOrganization / User
PublicVisibility
ActiveCatalog Status
More from pkhuong
pkhuong/modok
Hydra^2 for box constrained least squares.
pkhuong/acd-alm
Accelerated coordinate descent for an augmented Lagrangian method
pkhuong/cholesky-is-magic
Toy interior point method