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.
Ultimateretro
A project aimed at documenting as many pieces of hardware as possible, built on a Symfony HTML framework. It is a Symfony, HTML and PHP project using PostgreSQL, JavaScript and CSS, tagged for retrocomputing. The repository is licensed under the GNU General Public License v3.0 or later and was created on January 05, 2022.
Features
- built on a Symfony HTML framework Source: gitlab.com
Uses
- aimed at documenting as many pieces of hardware as possible Source: gitlab.com
Links
Tags
-
0
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.
-
0WorldFindr is an educational resource for documentaries, courses, books, reference material, or self-learning.
-
0
A graveyard tracking the lifecycle of every OpenAI product, feature and API, marking them alive, killed or zombie. It includes shutdown dates and countdowns for ChatGPT features, the Sora apps, ChatGPT Plugins and the Atlas Browser.
-
0The Atlas of Economic Complexity is a research and data visualization tool from Harvard's Growth Lab. It visualizes global trade data and economic growth opportunities for every country, offering country profiles, annual growth projections, complexity rankings and custom visualizations of over 50 years of trade flows. It is part of the Growth Lab Viz Hub.
-
0
A visualization project that presents wealth inequality in the United States by showing monetary amounts to scale. It compares figures such as median household income, the wealth of Jeff Bezos and the combined wealth of the 400 richest Americans, and suggests what portions of that money could fund.
-
0Numbeo is a crowdsourced database of cost-of-living and quality-of-life indicators, covering prices, housing, crime, healthcare and transport across thousands of cities. It offers headline indices and a structured global dataset, and provides an API and commercial data license for organizations.
Community notes
Reviews and discussion
No reviews yet
Be the first to share how this project worked for you.
Join the discussion
Sign in with a verified account to leave a review or join the discussion.
Sign in to review