Directory
Published directory entries matching your search.
An interactive tutorial teaching the sequent calculus, a set of rules for showing the truth of statements in first-order logic. It is aimed at people with some software background and basic boolean logic knowledge.
uBlacklist is a browser extension that prevents specified sites from appearing in Google search results. Rules can be added from search result pages or by clicking the toolbar icon, using match patterns or expressions with regular expressions and variables. Rulesets can be synchronized across devices via cloud storage or browser sync, and public rulesets can be subscribed to.
