由于 trendforge.devlive.top 访问受限,请切换到 trendforge.devlive.org 域名

tla

话题找到数量

openfoodfacts/smooth-app

🤳🥫 全新开源食品信息移动应用,适用于Android与iOS,采用Flutter与Dart开发

1.3k
450
992
+2
排名 #9
6月14日
查看详情

matlab/simulink-agentic-toolkit

Simulink Agentic Toolkit 为您的 AI 智能体提供了有效使用 Simulink 和基于模型的设计所需的工具与专业知识。

1.1k
104
633
+4
排名 #4
9月17日
查看详情

matlab/matlab-agentic-toolkit

MATLAB Agentic Toolkit 为 AI 代理带来了值得信赖的 MATLAB 功能,使工程和科学工作流程可供代理使用。

1.1k
133
272
+41
排名 #1
9月20日
查看详情

fieldtrip/fieldtrip

用于脑磁图、脑电图和颅内脑电图分析的MATLAB工具箱

988
768
1.1k
+2
排名 #2
9月16日
查看详情

CERN/TIGRE

TIGRE:基于GPU的断层扫描迭代重建工具箱

795
256
795
+1
排名 #3
8月4日
查看详情

sccn/eeglab

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

776
274
1k
+4
排名 #1
7月5日
查看详情

matlab/matlab-mcp-core-server

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

694
66
877
+19
排名 #9
5月19日
查看详情

apalache-mc/apalache

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

578
49
704
排名 #17
6月29日
查看详情

ImranR98/apps.obtainium.imranr.dev

为Obtainium推荐的应用程序集合。

572
180
755
排名 #3
9月11日
查看详情

ImranR98/apps.obtainium.page

为Obtainium推荐的应用程序集合。

519
121
673
+1
排名 #7
7月2日
查看详情

farming-labs/farm-ui

Treating UI Libraries as first class citizen and making sure they are headless

497
31
305
排名 #16
9月6日
查看详情

change-metrics/monocle

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

411
58
796
排名 #13
6月12日
查看详情

mtex-toolbox/mtex

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

376
208
883
+1
排名 #2
8月25日
查看详情

SciML/SciMLBenchmarks.jl

科学机器学习(SciML)基准测试、人工智能驱动的科学以及(微分)方程求解器。涵盖Julia、Python(PyTorch、Jax)、MATLAB、R

343
111
743
排名 #1
7月5日
查看详情

spm/spm

统计参数映射开发版

211
59
860
排名 #3
7月17日
查看详情

ahatem/QTranslate

快速、可扩展的桌面翻译套件。翻译、OCR、TTS、拼写检查 — 使用插件系统。

157
24
342
+4
排名 #14
8月26日
查看详情

psmarter/CUDA-Practice

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

155
12
685
+49
排名 #4
5月31日
查看详情

Atlas-OS/docs

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

150
174
1.1k
排名 #15
9月9日
查看详情

zimbadev/crystalserver

用于 15.25 协议的 Crystal Server,具有职业平衡功能。

114
164
284
+1
排名 #15
8月19日
查看详情

atcollab/at

加速器工具箱

64
42
528
排名 #2
6月29日
查看详情

atlassian/atlassian-mcp-server

远程MCP服务器能够安全地将Jira和Confluence与您选择的LLM、IDE或智能体平台相连接。

0
0
885
排名 #10
9月12日
查看详情

iamaisim/ProjectAirSim

Project AirSim 是 Microsoft 对 AirSim 的改进,AirSim 是一个先进的仿真平台,用于在高保真虚拟环境中构建、训练和测试自主系统

0
0
191
排名 #11
9月12日
查看详情
助手