HINNOTN/syllogisms

Algorithmic Truth Table Method for Proving Validity of Argument Forms

Language: TeX - Size: 2.11 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 0 - Forks: 0

Pan7her77/random.js

Codecademy random message generator project

Language: JavaScript - Size: 4.88 KB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 0 - Forks: 0

jaysonvirissimo/syllogism

Proof checker for arguments in Aristotle's term logic

Language: Ruby - Size: 55.7 KB - Last synced at: 28 days ago - Pushed at: 4 months ago - Stars: 3 - Forks: 0

Jiovanni-dump/xiaomi_aristotle_dump

Language: Shell - Size: 4.56 GB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

JonesqPacMan/android_device_xiaomi_aristotle_OFRP

OrangeFox Recovery Source for Xiaomi 13T aristotle (Android 13 and 14)

Language: C++ - Size: 34.9 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

JonesqPacMan/android_device_xiaomi_aristotle_TWRP

TWRP Source for Xiaomi 13T aristotle (Android 13 and 14)

Language: C++ - Size: 28.4 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 5

rgd-91/cost-savings-on-your-electric-bill-html-css

A simple website made with HTML and CSS. Within the website you will find answers to the question: "What are 'Daemons'?" Where Computer Programming & Philosophy mix.

Language: HTML - Size: 205 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

leddaz-dump-stash/xiaomi_aristotle_dump

Language: Standard ML - Size: 5.42 GB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

adamLutPhi/No_AI

A Philosophic Repo, by John Searle

Language: Java - Size: 255 KB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

jreisinger/syllogism

Simple syllogism implementation in Go

Language: Go - Size: 46.9 KB - Last synced at: 11 months ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

bcdavasconcelos/Aristotle

Bibliography on Aristotle with all the main critical editions of his works, along with the greek title, latin abbreviation, Bekker pages, and links to other resources online.

Language: TeX - Size: 65.4 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0

Aristotle-Metadata-Enterprises/aristotle-labs

The home of Aristotle Metadata Enterprises laboratory code

Language: Vue - Size: 1.67 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 1