An interactive playground and graphical semantic calculator for modal propositional logic. Users add states and transitions to build models and enter formulas using notation such as []A for necessity and A for possibility.
Godchecker is a mythology encyclopedia covering gods, goddesses and spirits from around the world. Its Holy Database lists nearly four thousand deities from pantheons including Greek, Roman, Norse, Egyptian, Celtic and others, along with legends and folklore. It includes a Deity of the Day feature and a ranked list of popular gods. The site says it has been running since 1999.
Gun Violence Archive is a non-profit, non-advocacy site that collects and validates gun violence and crime incidents from more than 5,000 sources daily. It presents incident reports and source data, with figures for deaths, injuries, mass shootings and defensive use. The site states that it has conducted evidence-based research since 2013.
City Population presents population statistics in maps and charts for countries, administrative divisions, cities, urban areas and agglomerations worldwide. Figures are mostly based on census results and official estimates, with some calculations and demarcations by the site. It also offers help pages covering data sources, abbreviations, a glossary and terms of use.
True Size of Countries is a free map website that shows the true size of each country on the Mercator projection. Users overlay the correct shape and size of countries on an interactive map to see the world without the projection's distortions, which grow toward the poles.
Uboatarchive helps find books, reading material, archives, or public-domain educational texts.
Yokai.com is an illustrated database and encyclopedia of Japanese folklore featuring ghosts, monsters, and legendary figures. Entries are based on Japanese sources including books, paintings, scrolls, prints, and oral tradition, with text and illustrations by Matthew Meyer. The site is presented ad-free, pop-up free, and paywall free.
Community notes
Be the first to share how this project worked for you.
Sign in with a verified account to leave a review or join the discussion.
Sign in to reviewKeep exploring
Godchecker is a mythology encyclopedia covering gods, goddesses and spirits from around the world. Its Holy Database lists nearly four thousand deities from pantheons including Greek, Roman, Norse, Egyptian, Celtic and others, along with legends and folklore. It includes a Deity of the Day feature and a ranked list of popular gods. The site says it has been running since 1999.
Gun Violence Archive is a non-profit, non-advocacy site that collects and validates gun violence and crime incidents from more than 5,000 sources daily. It presents incident reports and source data, with figures for deaths, injuries, mass shootings and defensive use. The site states that it has conducted evidence-based research since 2013.
City Population presents population statistics in maps and charts for countries, administrative divisions, cities, urban areas and agglomerations worldwide. Figures are mostly based on census results and official estimates, with some calculations and demarcations by the site. It also offers help pages covering data sources, abbreviations, a glossary and terms of use.
True Size of Countries is a free map website that shows the true size of each country on the Mercator projection. Users overlay the correct shape and size of countries on an interactive map to see the world without the projection's distortions, which grow toward the poles.
Uboatarchive helps find books, reading material, archives, or public-domain educational texts.
Yokai.com is an illustrated database and encyclopedia of Japanese folklore featuring ghosts, monsters, and legendary figures. Entries are based on Japanese sources including books, paintings, scrolls, prints, and oral tradition, with text and illustrations by Matthew Meyer. The site is presented ad-free, pop-up free, and paywall free.
