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.

主要功能

Structured logic programming using Constellations and Galaxies
Quantum Operad extensions for ZX-calculus and Bell states
Parallel graph rewriting via Lafont-style Interaction Nets
Proof-as-program tactics without a fixed type system
Logic-agnostic term unification and assert-based typing
2 GitHub stars

使用场景

Implementing custom proof systems and formal verification models
Modeling quantum circuits and operad structures for scientific computing
Designing parallel logic programs using topological interaction nets

关于

主要功能

Structured logic programming using Constellations and Galaxies
Quantum Operad extensions for ZX-calculus and Bell states
Parallel graph rewriting via Lafont-style Interaction Nets
Proof-as-program tactics without a fixed type system
Logic-agnostic term unification and assert-based typing
2 GitHub stars

使用场景

Implementing custom proof systems and formal verification models
Modeling quantum circuits and operad structures for scientific computing
Designing parallel logic programs using topological interaction nets