软件开发 Skill技能列表
循环优化器Skill loop-optimizer
循环优化器是一种编译器和性能优化技能，通过循环展开、融合、平铺和向量化等变换，提升程序性能，减少开销，增加并行性，改善缓存局部性。适用于编译优化、数值计算、机器学习、图像处理等场景，关键词包括循环优化、编译器、性能提升、SIMD、缓存优化。
无锁数据结构Skill lock-free-data-structure
无锁数据结构技能专注于设计和实现无需锁机制的高并发数据结构，以提高系统性能和可扩展性。关键词：无锁数据结构，并发编程，高并发，CAS操作，ABA问题，内存安全，无等待算法。
LLVM后端生成器Skill llvm-backend-generator
LLVM后端生成器是一个用于生成LLVM中间表示（IR）和构建编译器后端的技能，广泛应用于编译器开发、代码生成和优化领域。它支持构建新语言编译器、实现语言后端、创建优化管道和生成原生代码，关键功能包括LLVM IR生成、指令选择构建、优化通行证实现和ABI处理。这个技能对于软件架构设计、系统编程和语言工具开发至关重要，便于SEO搜索的关键词有：LLVM、编译器、后端、代码生成、优化、IR、ABI、架构设计、软件工程。
活跃性分析Skill liveness-analysis
活跃性分析是编译器优化中的核心数据流分析技能，用于检测程序中的活跃变量，支持寄存器分配、死代码消除和优化编译过程。关键词：编译器优化、数据流分析、活跃变量检测、寄存器分配、死代码消除。
线性类型实现器Skill linear-type-implementer
该技能用于实现线性类型系统和线性 lambda 演算，支持资源管理、量子编程、内存验证等应用。关键词包括线性类型、线性 lambda 演算、资源管理、量子计算、内存管理、线性逻辑、类型系统。
词法分析器生成器Skill lexer-generator
词法分析器生成器技能用于从正则表达式规范自动生成词法分析器，广泛应用于编译器、解释器和领域特定语言的开发中。关键词：词法分析、正则表达式、编译器前端、分词器、NFA、DFA、正则表达式解析、词法分析器设计、编程语言实现。
语言服务器协议Skill language-server-protocol
语言服务器协议（LSP）是一种用于实现集成开发环境（IDE）功能的协议，提供代码自动补全、跳转到定义、悬停文档、重构等智能功能。它基于JSON-RPC，管理文本文档同步和代码分析，广泛应用于Python、TypeScript、Rust、Go等多种语言的开发工具中，提升开发效率和代码质量。关键词：LSP、语言服务器、IDE、代码导航、重构、开发工具。
λ演算解释器Skill lambda-calculus-interpreter
本技能用于实现和操作 lambda 演算解释器，支持无类型和简单类型变体，涵盖 β-归约、闭包、评估策略（如按值调用和按名调用）等核心概念。适用于学习功能性编程基础、构建语言解释器、研究编程语言理论。关键词：lambda 演算、解释器、功能性编程、闭包、β-归约、评估策略。
JIT编译器构建者Skill jit-compiler-builder
该技能用于构建即时编译（JIT）系统，应用于动态语言运行时、虚拟机设计和性能优化。它支持机器码生成、重新编译处理、动态优化和内存管理，关键词包括JIT编译器、动态优化、编译器构建、运行时系统、性能优化和即时编译。
循环不变式生成器Skill invariant-generator
该技能用于自动推断循环不变式，以支持程序验证、自动化证明和循环分析。关键词：不变式生成、程序验证、循环分析、自动化、软件测试。
跨过程分析Skill interprocedural-analysis
跨过程分析是一种静态分析技能，用于分析程序中函数或过程之间的交互，实现全程序分析。它涉及构建调用图、执行上下文敏感分析等，常用于安全漏洞检测、编译器优化和bug查找。关键词：跨过程分析、静态分析、程序分析、安全检测、编译器优化。
函数内联优化器Skill inline-expander
该技能用于编译器优化中的函数内联，通过替换函数调用来提升代码执行效率，减少调用开销，并促进进一步的代码优化，如常量传播和死代码消除。关键词：函数内联、编译器优化、代码优化、性能提升、LLVM、GCC、启发式决策。