Stellogen Skill

Trit: 0 (ERGODIC - logic-agnostic mediation)
Source: engboris/stellogen + bmorphism/stellogen
License: MIT

Overview

Stellogen is a logic-agnostic programming language based on term unification, designed from Girard's transcendental syntax. It provides:

1. Constellations - Logic programs as elementary computation bricks
2. Galaxies - Structured collections of constellations
3. Interaction Nets - Lafont-style parallel graph rewriting
4. Proof-as-Program - Coq-like tactics without fixed type system

Key Characteristics