Toxaris/latex-styles
A collection of *.sty and *.bst files for use with academic papers written in LaTeX.
Haskell bindings for PicoSAT solver
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
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
The Agda standard library