long-long-float/LogicReasoner
A simple propositional logic reasoner
好きなWebページをニコニコ動画風に
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
Realtime preview by Vim. (Markdown, reStructuredText, textile)
A COMET2 virtual machine and CASL2 assembler