A proof checker and editor for Fitch-style natural deduction systems used in introductory logic textbooks, following the system in forall x: Calgary. It offers a proof editor, sample exercise sets, instructions and rules, with syntax options for truth-functional logic and first-order logic.
UN Trade and Development (UNCTAD) publishes reports and updates on global trade, development and debt. Its site features publications such as the Global Trade Update and Trade and Development Report, along with news, data stories and event listings including the World Investment Forum 2026. The organization also serves as Secretariat for the Borrowers' Platform.
The NetBlocks Cost of Shutdown Tool estimates the economic impact of internet shutdowns, network disruptions and social media throttling in a country. It uses indicators from the World Bank, ITU, Eurostat and U.S. Census. The project describes its figures as illustrative estimates that may change over time.
Sketchplanations is an educational resource for documentaries, courses, books, reference material, or self-learning.
The Nuclear Weapon Archive is a website providing current information, technical data and write-ups on nuclear weapons. It covers the history of weapons development and the arsenals of declared nuclear states, and maintains a sister-site relationship with Gregory Walker's Trinity Site.
The Daily Idea collects philosophy resources from across the internet, including free online articles, videos, podcasts, books and quotes. It also offers collections of philosophy course syllabi and reading lists on many topics.
FAME is an educational resource for documentaries, courses, books, reference material, or self-learning.
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
UN Trade and Development (UNCTAD) publishes reports and updates on global trade, development and debt. Its site features publications such as the Global Trade Update and Trade and Development Report, along with news, data stories and event listings including the World Investment Forum 2026. The organization also serves as Secretariat for the Borrowers' Platform.
The NetBlocks Cost of Shutdown Tool estimates the economic impact of internet shutdowns, network disruptions and social media throttling in a country. It uses indicators from the World Bank, ITU, Eurostat and U.S. Census. The project describes its figures as illustrative estimates that may change over time.
Sketchplanations is an educational resource for documentaries, courses, books, reference material, or self-learning.
The Nuclear Weapon Archive is a website providing current information, technical data and write-ups on nuclear weapons. It covers the history of weapons development and the arsenals of declared nuclear states, and maintains a sister-site relationship with Gregory Walker's Trinity Site.
The Daily Idea collects philosophy resources from across the internet, including free online articles, videos, podcasts, books and quotes. It also offers collections of philosophy course syllabi and reading lists on many topics.
FAME is an educational resource for documentaries, courses, books, reference material, or self-learning.
