Directory
Published directory entries matching your search.
The Tree Proof Generator is a web tool that accepts formulas of standard propositional, predicate or modal logic and tries to find either a countermodel or a tree proof, also called a semantic tableau. It supports classical propositional logic, first-order predicate logic with functions and identity, and a few normal modal logics.
unDraw presents a collection of open-source illustrations that users can browse and download, with on-the-fly color image generation to match a brand identity. A separate style is offered on unDraw Plus for supporters.
An OSINT tool for investigating usernames online. It presents a custom search form that redirects to search engines and websites of external parties. The page notes that usernames can contain real information and that unique usernames are more likely to indicate the same person across accounts.
Creates sample Washington driver license data for mockups, testing, and development examples.
