❤️❤️❤️❤️❤️❤️ 我们已经正式推出微信小程序，在微信中搜索 TrendForge Pro 即可使用小程序，如果使用 Telegram 请搜索 trendforge_tg ❤️❤️❤️❤️❤️❤️

functional-programming

话题找到数量

lichess-org/lila

Scala

♞ lichess.org：永久免费、无广告、开源的国际象棋服务器 ♞

chess free-software functional-programming
lichess-org
lichess-org 开发者
18k
2.7k
837
+194
排名 #21
7月15日
查看详情

NixOS/nix

C++

Nix 纯函数式包管理器

c-plus-plus declarative-language functional-programming
NixOS
NixOS 开发者
16k
1.9k
623
+15
排名 #17
6月1日
查看详情

scala/scala

Scala

Scala 2编译器与标准库。Scala 2错误报告请提交至https://github.com/scala/bug；Scala 3项目位于https://github.com/scala/scala3

functional-programming jvm-languages object-oriented-programming
scala
scala 开发者
14k
3.2k
614
+126
排名 #22
7月13日
查看详情

hmemcpy/milewski-ctfp-pdf

TeX

Bartosz Milewski《程序员范畴论》非官方PDF与LaTeX源码

category-theory cpp functional-programming
hmemcpy
hmemcpy 开发者
11k
640
459
+44
排名 #11
6月10日
查看详情

carp-lang/Carp

Haskell

适用于实时应用的无垃圾收集静态类型Lisp语言

functional functional-programming game-development
carp-lang
carp-lang 开发者
6k
185
433
+12
排名 #18
7月6日
查看详情

roc-lang/roc

Zig

一门快速、友好、函数式的语言。

functional-language functional-programming language
roc-lang
roc-lang 开发者
5.8k
396
735
+107
排名 #18
7月15日
查看详情

scalaz/scalaz

Scala

Scala中的函数式编程原则

functional-programming scala scala-native
scalaz
scalaz 开发者
4.7k
702
409
排名 #21
3月21日
查看详情

zio/zio

Scala

ZIO —— 面向Scala异步与并发编程的类型安全可组合库

asynchronicity asynchronous asynchronous-programming
zio
zio 开发者
4.4k
1.6k
701
+19
排名 #21
7月13日
查看详情

typelevel/fs2

Scala

用于Scala的组合式、流式I/O库

fp functional-programming scala
typelevel
typelevel 开发者
2.4k
631
167
排名 #23
7月5日
查看详情

typelevel/doobie

Scala

面向Scala的函数式JDBC层。

database fp functional-programming
typelevel
typelevel 开发者
2.2k
377
594
+1
排名 #7
1月27日
查看详情

agentjido/jido

Elixir

🤖 专为分布式自主行为与动态工作流设计的Elixir自主智能体框架。

agent ai artificial-intelligence
agentjido
agentjido 开发者
1.7k
104
446
+438
排名 #15
5月17日
查看详情

softwaremill/tapir

Scala

自文档化API的快速开发

akka akka-http declarative
softwaremill
softwaremill 开发者
1.5k
468
265
排名 #23
6月16日
查看详情

ghostdogpr/caliban

Scala

面向Scala的函数式GraphQL库

functional-programming graphql graphql-client
ghostdogpr
ghostdogpr 开发者
995
263
220
排名 #23
6月29日
查看详情

Gabriella439/grace

Haskell

一种提示工程函数式编程语言

ai functional-programming interpreter
Gabriella439
Gabriella439 开发者
591
42
369
+9
排名 #14
5月18日
查看详情

mattlianje/layoutz

Scala

简洁美观的命令行界面输出

cli dsl functional-programming
mattlianje
mattlianje 开发者
337
11
376
+10
排名 #10
4月20日
查看详情

DataHaskell/dataframe

Haskell

一个快速、安全且直观的DataFrame库。

dataframe exploratory-data-analysis functional-programming
DataHaskell
DataHaskell 开发者
251
48
388
+2
排名 #11
6月12日
查看详情

laserdisc-io/tamer

Scala

Kafka Connect 连接器的独立替代方案

avro doobie fp
laserdisc-io
laserdisc-io 开发者
46
15
149
排名 #20
6月17日
查看详情
助手