项目竞品
共找到 20 个竞品
unisonweb/unison
来自未来的友好编程语言
agda/agda
Agda是一种依赖类型编程语言/交互式定理证明器。
Gabriella439/grace
一种提示工程函数式编程语言
IntersectMBO/cardano-ledger
Cardano区块链的账本实现与规范。
argotorg/solidity
Solidity：智能合约编程语言
MystenLabs/sui
Sui是新一代智能合约平台，具有高吞吐、低延迟特性，采用Move编程语言实现面向资产的编程模型
aptos-labs/aptos-core
Aptos是通过更优技术和用户体验支持区块链广泛应用的Layer 1区块链
solana-foundation/anchor
⚓ Solana 程序框架
near/docs
NEAR协议文档
accordproject/techdocs
Accord项目文档
golang/go
Go 编程语言
JetBrains/kotlin
Kotlin编程语言
ethereum/go-ethereum
以太坊协议的Go语言实现
JuliaLang/julia
Julia 编程语言
vlang/v
用于开发可维护软件的简单、快速、安全编译型语言。在零库依赖条件下自编译时间小于1秒。支持自动将C代码转换为V代码。https://vlang.io
anoma/anoma
Anoma 协议的参考实现
linera-io/linera-protocol
Linera 协议的主代码库
bitcoinbook/bitcoinbook
精通比特币第三版——开放区块链编程
ruby/ruby
Ruby编程语言
clockworklabs/SpacetimeDB
光速级多人游戏框架
相关项目推荐
jgm/pandoc
通用标记转换器
koalaman/shellcheck
ShellCheck：用于Shell脚本的静态分析工具
PostgREST/postgrest
适用于任意Postgres数据库的REST API
hadolint/hadolint
用Haskell编写的Dockerfile语法检查工具，可验证内联bash代码
simplex-chat/simplex-chat
SimpleX - 首个无需任何用户标识符的通信网络，设计实现100%隐私保护！提供iOS、Android和桌面应用📱！
purescript/purescript
一种可编译为JavaScript的强类型语言