How does Stellogen handle data types?

It is logic-agnostic, meaning it uses no primitive types; instead, it relies on assert-like expressions and term unification to define behavior.

Does Stellogen support quantum computing concepts?

Yes, it includes a Quantum Operads extension specifically for modeling structures like ZX-calculus spiders and Bell state preparations.

What is the primary purpose of the Stellogen skill?

Stellogen is designed for logic-agnostic programming based on term unification and interaction nets, allowing for highly parallel and flexible computation models.

What are Constellations and Galaxies in this context?

Constellations are the elementary logic programs or computation bricks, while Galaxies are structured collections of these constellations.

Stellogen Logic Framework

Name: Stellogen Logic Framework
Author: plurigrid

byplurigrid

•

開発者ツール

Implements a logic-agnostic programming environment based on interaction nets and Girard's transcendental syntax.

Stellogen is a specialized programming framework that treats computation as topological term unification, derived from Girard's transcendental syntax. It allows Claude to operate within a logic-agnostic paradigm where programs are structured as Constellations and Galaxies, facilitating parallel graph rewriting through Lafont-style interaction nets. This skill is ideal for advanced developers and researchers working on formal verification, proof-as-program systems, and quantum operad structures, providing a robust bridge between abstract logic and executable code via GF(3) trit integration.

主な機能

01Structured logic programming using Constellations and Galaxies

02Quantum Operad extensions for ZX-calculus and Bell states

03Parallel graph rewriting via Lafont-style Interaction Nets

04Proof-as-program tactics without a fixed type system

05Logic-agnostic term unification and assert-based typing

062 GitHub stars

ユースケース

01Implementing custom proof systems and formal verification models

02Modeling quantum circuits and operad structures for scientific computing

03Designing parallel logic programs using topological interaction nets

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add plurigrid/asi stellogen

For use in Claude.ai and ChatGPT

Download Skill