long-long-float/LogicReasoner
A simple propositional logic reasoner
Realtime preview by Vim. (Markdown, reStructuredText, textile)
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
A simple propositional logic reasoner
A pure Lisp implementation in C++11
A COMET2 virtual machine and CASL2 assembler
競技プログラミング関係