LogoClawIndex
案例技能关于
LogoClawIndex

stellogen - 逻辑无关编程语言

基于项统一的逻辑无关编程语言，使用交互网络

标签

更新于: 2026-03-20
交互网络项统一逻辑编程并行计算操作线性逻辑

能力

典型输入

典型输出

该技能可以做什么

  • 定义星座程序
  • 创建星系集合
  • 重写图结构
  • 执行进程
  • 统一项
  • 复合操作
  • 制备贝尔态
  • 实现图灵机
  • 验证交互
  • 运行stellogen文件

输入

  • Stellogen源文件
  • 进程定义
  • 星座规范
  • 星系结构
  • 命令参数

输出

  • 计算结果
  • 图重写输出
  • 进程输出
  • 验证状态
  • 错误信息

要求

  • OCaml运行环境
  • Dune构建系统
  • Nix环境

来源

  • 规范: SKILL.md

ClawIndex

OpenClaw Skills 与 Use Case 索引

ClawIndex 是一个生态驱动的 OpenClaw Skills 与真实 Use Case 索引站。

索引

Skills·
Cases

Meta

关于·
声明·
邮箱·
GitHub
© 2026 ClawIndex 保留所有权利。
定义星座程序
创建星系集合
重写图结构
执行进程
Stellogen源文件
进程定义
星座规范
计算结果
图重写输出
进程输出