tla

EEGLAB是一个基于Matlab运行的开源电生理信号处理环境，由SCCN/UCSD开发

通过 MathWorks® 官方提供的 MATLAB MCP 服务器，您可以在 AI 应用程序中运行 MATLAB®。此 MATLAB MCP 服务器支持 Claude Code® 和 Visual Studio® Code 等多种编码代理。

APALACHE：TLA+和Quint的符号模型检查器

Monocle帮助团队和个人更好地组织日常任务，并检测变更产生与审查过程中的异常。

MTEX是一款用于定量织构分析的免费Matlab工具箱。主页：

统计参数映射开发版

CUDA编程练习项目——动手实践CUDA内核与性能优化，涵盖GEMM、FlashAttention、Tensor Cores、CUTLASS、量化、KV缓存、NCCL及性能分析。

基于MkDocs构建并托管在Cloudflare Pages上的Atlas文档