Automatically interpret and validate nested natural logic arguments
Does the same job
all alternatives →- AAAristotl – an intuitive logical fallacy lookup tool2019 · aristotl.io · ▲173
- AAArguman – Argument Analysis Platform2015 · en.arguman.org · ▲170
- ASA simple Prolog Interpreter written in a few lines of Python 32019 · github.com · ▲149
- AEAn encoding of the UK's self-isolation rules in Prolog2021 · github.com · ▲108
- LOLogicEmu – Online Logic Simulator2018 · lodev.org · ▲210
- EPEmbeddable Prolog in Go2021 · github.com · ▲14
More life & fun this month
the category →- TL
Life & fun · 10d ago · louisabraham.github.io
Photosynthesis fires two of your iPhone
Life & fun · 28d ago · photosynthesis.camera
SoloUno▲310Take control of hair pulling, nail biting & skin picking
Life & fun · 28d ago · solouno.io
Scroll through all 43,252,003,274,489,856,000 reachable Rubik's Cube permutations.
Life & fun · 26d ago · everycube.alen.is
Hi HN, I built Eigendrum, a web tool that solves the 2D wave equation for arbitrary shapes so you can hear what they sound like as drums. How it works: * Solves -∇²u = λu using finite element analysis (Kφ = λMφ) on a triangle mesh. * Validated to <0.1% error against closed-form solutions for circles (Bessel zeros) and rectangles. * Sound model factors in strike location, Rayleigh damping, and mallet width. * Includes Kac drums I & II to demonstrate identical sound spectra from different geometries. * No frameworks, build steps, or dependencies. Repo and tests:…
Life & fun · 26d ago · baselashraf81.github.io
Launched alongside, April 2017
the whole month →
- ST
Life & fun · 2017 · jacquesmattheij.com
The Boring Company▲1,058Elon Musk's new company, creating tunnels for traffic
Growth · 2017 · boringcompany.com
