pranavrc/clause
Common Lisp Resolution Refutation framework.
Web query classification using analysis of inter-article relationships in Wikipedia .
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Common Lisp Resolution Refutation framework.
Common Lisp genetic programming utilities.
Pseudo-xargs script to chain or sequence variants of a shell command using placeholders.
Branch-and-bound implementation of the travelling salesman problem in Common Lisp.