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

spec

话题找到数量

mockito/mockito-scala

Scala

Scala语言的Mockito

cats mock mocking-framework
mockito
mockito 开发者
366
59
270
排名 #6
6月19日
查看详情

zcash/zips

TeX

Zcash改进提案

cryptocurrency cryptography specifications
zcash
zcash 开发者
304
179
397
排名 #12
6月20日
查看详情

spm/spm

MATLAB

统计参数映射开发版

brain dcm eeg
spm
spm 开发者
211
59
410
排名 #3
7月17日
查看详情

modelica/ModelicaSpecification

TeX

Modelica语言规范

hacktoberfest language map-lang
modelica
modelica 开发者
144
45
214
+1
排名 #3
6月7日
查看详情

Ceyron/exponax

Jupyter Notebook

基于JAX的高效可微分n维偏微分方程求解器。

deep-learning differentiable-physics equinox
Ceyron
Ceyron 开发者
137
12
544
+5
排名 #9
2月22日
查看详情

vehicle-lang/vehicle

Haskell

用于在神经网络上实施逻辑规范的工具包

agda haskell neural-network
vehicle-lang
vehicle-lang 开发者
130
16
257
排名 #25
6月26日
查看详情

CliMA/ClimaCore.jl

Julia

CliMA模型动力核心

climate-modeling dynamical-core earth-system-model
CliMA
CliMA 开发者
114
18
432
排名 #6
8月5日
查看详情

SpeciesFileGroup/taxonworks

Ruby

生物多样性信息学工作台

biodiversity biodiversity-informatics collections
SpeciesFileGroup
SpeciesFileGroup 开发者
112
35
282
排名 #15
6月22日
查看详情

jszmajda/lid

CSS

链式意图开发——一种面向智能体编程的SDD方法论

agentic-coding ai-coding claude-code
jszmajda
jszmajda 开发者
79
14
194
+1
排名 #15
7月8日
查看详情

algolia/api-clients-automation

PHP

🤖 Algolia API规范及其自动生成的客户端与文档的单一仓库

algolia api-clients codegen
algolia
algolia 开发者
54
39
391
排名 #13
6月27日
查看详情

IBM/ibm-spectrum-scale-cloud-install

HCL

适用于IBM Storage Scale（或GPFS）的云资源预配框架

ansible aws azure
IBM
IBM 开发者
32
39
303
排名 #1
5月17日
查看详情
助手