pkhuong/tetris-dpll
An implementation of the DPLL at the core of http://arxiv.org/abs/1404.0703
Public GitHub Catalog
Discovered Sep 24, 2026
pkhuong / Pipes
A traversal fusion EDSL for Common Lisp
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.
#1558008GitHub System ID
pkhuongOrganization / User
PublicVisibility
ActiveCatalog Status
More from pkhuong
pkhuong/modok
Hydra^2 for box constrained least squares.
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.
pkhuong/acd-alm
Accelerated coordinate descent for an augmented Lagrangian method