mackwai/UnaryPredicateLogic
Decides statements in propositional logic, modal logic, unary (monadic) predicate logic and term logic.
A branch of the hex editor plugin for Notepad++
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Decides statements in propositional logic, modal logic, unary (monadic) predicate logic and term logic.
Public repository.
a browser-based drum machine done entirely with HTML5