TWRP Source for Xiaomi 13T aristotle (Android 13 - 15)

Aristotle AI plugin for Claude Code - theorem proving and code verification with Lean 4

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.

Proof checker for arguments in Aristotle's term logic

Interactive 3D visualization of historical cosmological models from Aristotle to Einstein. Explore how humanity's understanding of the universe evolved through beautifully rendered 3D models with realistic planet textures, animations, and educational content. Built with Three.js and available as both web app and Android application.

OrangeFox Recovery Source for Xiaomi 13T aristotle (Android 13 - 15)

Simple syllogism implementation in Go

AI philosophical dialogue platform featuring Aristotle. Polytonic Ancient Greek, English & Modern Greek support. Community-driven development.

Annotated tables from the Nuremberg Chronicle, fol. Ir to VIIr.

Annotated transcriptions from the Nuremberg Chronicle, fol. Ir to VIIr.

tests validity of categorical syllogisms

Codecademy random message generator project

Multilingual AI framework for Aristotelian philosophy education using Cohere Command R+. Early development stage - seeking collaborators in philosophy, education, and multilingual NLP.

The home of Aristotle Metadata Enterprises laboratory code

A Philosophic Repo, by John Searle

When Aristotle gets a LinkedIn account and starts red-teaming LLMs. System-prompt attack surface testing using first-principles axiom framework. Load it. Ask something terrible. Watch what happens.

🧠 Generate formal proofs for Putnam 2025 problems using LaTeX inputs, leveraging the power of Aristotle for automated reasoning.