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.
Directory
Search results
Published directory entries matching your search.
The IFWiki Cruelty scale page describes a rating system devised by Andrew Plotkin for measuring how difficult interactive fiction makes it for a player to progress past in-game obstacles. The classic scale has five ratings: Merciful, Polite, Tough, Nasty and Cruel, with definitions and examples.
Vimm's Lair is a site dedicated to console videogame nostalgia, offering thousands of games, full-color manual scans, user ratings and reviews, console emulators, and ROM hacking content. It states that it has been preserving classic videogames from consoles past since 1997.
Web Adventures offers classic text adventure games playable online in a browser without applets or plugins, and it states that Javascript is not needed. The site says it remembers where a player left a game and automatically resumes when the player returns within a month. It also presents a selection of games suited to younger players.
Wiby is a search engine focused on older-style, classic web pages. It is lightweight and centered on user-specified subjects of interest, with the goal of creating a web experience reminiscent of the early internet. Users can submit pages to the index, adjust their settings, and use the 'surprise me' feature.
Search engine focused on small, classic, and independent websites across the web.
Windage is a free browser remake of the classic Scorched Earth artillery game. Players take turns firing shells across destructible terrain, account for shifting wind, and buy weapons from an arms shop. Battles support 2–6 players online, hot-seat pass-and-play, or CPU tanks, with no download or sign-up.
YARG (Yet Another Rhythm Game) is a free, open-source, community-driven PlasticBand game. It supports most instruments from classic games, including Guitar, Bass, Drums, Keys and Vocals. Local multiplayer supports up to 32 players. Its official setlist has over 100 licensed songs, and full albums are available on the YARC Launcher.
ZapQR is a free AI QR code generator that turns a link into AI art which still scans. It offers a plain classic QR code generator without sign-up, and each AI code is checked before and after generation.
ZDaemon is a multiplayer Doom port based on the original classic Doom from id Software. Players can join matches against monsters or each other, with supported modes including Cooperative, Survival, Deathmatch, Team Deathmatch, Capture the Flag, Double Domination and King of the Hill. It is free and requires a copy of Doom or Doom II to play the original maps.
An online collection of Chinese classical works, with each character hyperlinked to an English definition and etymology. Characters are displayed as images so no Chinese software is needed, and links to English translations are included for most works. Included texts are the Tao Te Ching, The Art of War, Tang Poems and The Analects.