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

language

话题找到数量

actonlang/acton

Haskell

基于Actor模型、类型安全且快速的编程语言。

actor-model compiler distributed-computing
actonlang
actonlang 开发者
183
13
243
排名 #20
6月29日
查看详情

JacquesCarette/Drasil

Haskell

生成一切（专注于研究型软件）

code-generation documentation-generator drasil-framework
JacquesCarette
JacquesCarette 开发者
169
33
261
排名 #15
6月26日
查看详情

fluencelabs/aqua

Scala

用于分布式系统与点对点网络的编程语言

p2p programming-language
fluencelabs
fluencelabs 开发者
162
24
165
排名 #13
6月28日
查看详情

modelica/ModelicaSpecification

TeX

Modelica语言规范

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

viperproject/silver

Scala

Viper中间验证语言的定义

programming-language verification viper
viperproject
viperproject 开发者
98
53
239
排名 #20
6月28日
查看详情

atomfinger/brunost

Zig

Brunot - 带有挪威风情的编程语言

norwegian norwegian-language programming-language
atomfinger
atomfinger 开发者
62
5
267
+17
排名 #12
5月3日
查看详情

digital-asset/cn-quickstart

Haskell

使用此快速入门指南，加速在Canton网络上构建应用程序！

canton cantonnetwork daml
digital-asset
digital-asset 开发者
47
39
528
+1
排名 #8
7月12日
查看详情
助手