软件开发 Skill技能列表
Makepad字体渲染技能Skill makepad-font
Makepad字体渲染技能是一个专业用于在Makepad框架中进行字体配置、文本布局和GPU-based文本渲染的工具。它利用SDF（签名距离场）技术确保文本在任何分辨率下保持清晰，支持字体家族、大小、样式配置，以及文本整形和布局管理。关键词：Makepad, 字体渲染, 文本布局, SDF, GPU, 字体配置, 文本整形, 字体图集, 前端开发, UI框架
Makepad事件与动作处理技能Skill makepad-event-action
这个技能专注于Makepad框架中的事件和动作处理，用于处理鼠标、键盘、触摸等用户输入事件，定义和传播动作以实现GUI组件交互。关键词包括：Makepad、事件处理、动作系统、GUI开发、Rust编程、用户界面、交互设计。
MakepadDSL技能Skill makepad-dsl
这个技能专注于Makepad DSL的语法和继承机制，帮助用户编写和解释Makepad界面设计语言。它支持Rust环境下的实时界面开发，适用于前端界面构建。关键词：Makepad DSL, Rust, 界面设计, 继承, 属性覆盖, 实时设计。
Makepad打包与部署Skill makepad-deployment
此技能用于Makepad应用程序的跨平台打包和部署，支持桌面（Linux/Windows/macOS）、移动（Android/iOS）和Web平台。它涵盖使用cargo-packager和cargo-makepad工具进行打包，并集成了CI/CD流程如GitHub Actions。关键词：Makepad, 打包, 部署, Rust, 跨平台, CI/CD, cargo-packager, cargo-makepad, 应用程序分发, GitHub Actions, 自动化部署。
Makepad基础技能Skill makepad-basics
这个技能是关于使用Rust的makepad-widgets库进行跨平台UI开发的入门指南。它帮助开发者快速上手Makepad，学习如何编写实时设计的UI代码，处理事件，并构建适用于多个平台的应用。关键词：Rust, Makepad, UI开发, 跨平台, 实时设计, 前端开发, 入门教程。
Makepad动画技能Skill makepad-animation
这个技能提供了Makepad动画系统的全面指南，专注于使用Rust编程语言创建用户界面的平滑动画和交互效果。它包括编写动画代码、定义状态和过渡、使用缓动函数和时间线，适用于前端GUI开发。关键词：Makepad, 动画, Rust, 用户界面, 前端开发, GUI, 交互设计, 缓动, 状态机
Lambda演算解释器技能Skill skill-name
这是一个用于实现和理解lambda演算解释器的技能，帮助开发者掌握传值调用和传名调用评估策略，适用于函数式编程学习和实践。
系统F（多态Lambda演算）Skill system-f
系统F（多态Lambda演算）是一种编程语言理论技能，用于实现多态类型系统、构建泛型编程结构、研究类型理论基础。它扩展了简单类型Lambda演算，支持类型抽象和类型应用，使得可以对类型进行全称量化，适用于ML风格模块系统、参数多态性理解等场景。关键词：多态Lambda演算、类型抽象、类型应用、泛型编程、类型安全、参数性、全称量化、编程语言理论、类型系统、多态性。
子类型验证器Skill subtyping-verifier
子类型验证器是一种用于在编程语言中验证子类型关系的关键技能，确保类型系统的正确性、安全性和多态性检查。它广泛应用于编译器开发、形式验证和软件测试领域。关键词：子类型、类型系统、验证、编程语言、编译器、形式方法、软件测试。
SSA构造器Skill ssa-constructor
SSA构造器是编译器技术中的关键技能，用于将程序代码转换为静态单赋值（SSA）形式，以支持编译器优化、程序分析和验证。关键词：SSA，编译器，优化，程序分析，静态单赋值，中间表示，支配关系，φ函数。
软件事务内存Skill software-transactional-memory
软件事务内存（STM）是一种并发编程技术，通过将读写操作组合成原子事务来简化无锁算法的设计，确保数据一致性，适用于并发数据结构构建和原子操作组合。关键词：软件事务内存、并发编程、无锁代码、原子操作、数据一致性、事务处理。
简单类型化λ演算Skill simply-typed-lambda-calculus
这个技能用于实现简单类型化λ演算（STLC），包括函数类型、积类型、和类型和单位类型。它适用于学习类型系统、构建编程语言解释器、进行形式化验证和语言原型设计。关键词：类型系统、λ演算、解释器、形式化验证、编程语言理论、健全性证明。