Toxaris/haskell-picosat
Haskell bindings for PicoSAT solver
A collection of rules for the Nomyx game. See https://github.com/cdupont/Nomic
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Haskell bindings for PicoSAT solver
A collection of *.sty and *.bst files for use with academic papers written in LaTeX.
Public repository.
An Implementation of a Language with Pattern and Copattern Matching