LogoClawIndex
CasesSkillsAbout
LogoClawIndex

ClawIndex

OpenClaw Skills & Use Case Index

ClawIndex is an ecosystem-driven index of OpenClaw skills and real-world use cases.

Index

Skills·
Cases

Meta

About·
Disclaimer·
Email·
GitHub
© 2026 ClawIndex All Rights Reserved.

Skills tagged: linear logic

Browse skills that share this tag.

  • stellogen - Logic-agnostic programming language
    stellogenlogic programmingmulti-paradigm programminginteraction nets

    ★ 22 · Updated 2026-03-20

    Logic-agnostic programming language based on term unification with interaction nets

    ⚙ run code file⚙ define constellation⚙ define galaxy
  • stellogen - Logic-Agnostic Programming Language
    interaction netsterm unificationlogic programmingparallel computation

    ★ 650 · Updated 2026-03-20

    Logic-agnostic programming language based on term unification using interaction nets

    ⚙ define constellations⚙ create galaxies⚙ rewrite graphs