en un clic
nela-lang
nela-lang contient 5 skills collectées depuis heikowagner, avec une couverture métier par dépôt et des pages de détail sur le site.
Skills dans ce dépôt
Tool specifications and interfaces for the NELA language toolchain. Covers surface language (NELA-S) interpreter, type checking, compiler (NELA-S → NELA-C interaction nets), serialization, legacy code migration, and LLM context optimization. Load when implementing any NELA toolchain component.
Enforces immutable runtime/tooling policy for projects bootstrapped from this starter pack.
Practical guidance to write valid NELA-S files. Use this skill in new projects created from the starter pack.
Reusable LLM-first header and section metadata standard for NELA-S source files. Defines the section index format, per-section metadata blocks, synchronization rules, and validation workflow. Load when creating or refactoring any .nela file.
Mathematical foundations for NELA language design. Primary theory: Interaction Nets (Lafont 1990) — local graph rewriting, NOT automata theory. Supporting theories: Linear Logic (resource semantics), Dependent Type Theory (verification). Von Neumann CA is historical background only — do not use it to guide language design decisions. Load this skill before designing any NELA language construct, rewrite rule, or type system component.