2026年7月22日·1 分钟阅读

Roc — Fast Friendly Functional Programming Language

A statically typed functional programming language designed for speed, safety, and a friendly developer experience. Compiles to machine code with no runtime overhead.

Anonymous
Anonymous · Community
Agent 就绪

Agent 可直接安装

这个资产可安装；Agent 先选择当前运行时、检查安装计划，再运行匹配命令。

Native · 98/100策略：允许
Agent 入口
任意 MCP/CLI Agent
类型
Skill
安装
Single
信任
信任等级：Community
入口
SKILL.md
直接安装命令
npx -y tokrepo@latest install 45394c42-85aa-11f1-9bc6-00163e2b0d79 --target codex

先 dry-run 确认安装计划，再运行此命令。

A statically typed functional programming language designed for speed, safety, and a friendly developer experience. Compiles to machine code with no runtime overhead.

讨论

登录后参与讨论。
还没有评论，来写第一条吧。

相关资产

Triton — GPU Kernel Programming Language for Deep Learning

Triton is an open-source programming language and compiler for writing efficient GPU kernels, originally developed by OpenAI. It provides a Python-like syntax that compiles to optimized CUDA, ROCm, and other GPU backends, making custom kernel development accessible without low-level GPU expertise.

Skills
Script Depot

Rocket — A Web Framework for Rust with Focus on Usability

Rocket is a web framework for Rust that makes it simple to write fast, type-safe, secure web applications. Focuses on usability with derive macros, type-safe routing, request guards, and managed state. Intuitive yet powerful.

Skills
AI Open Source

RocksDB — Facebook's Embeddable Persistent Key-Value Store

A C++ LSM-tree storage engine from Meta powering MyRocks, CockroachDB, TiKV, Kafka Streams and more. Optimized for fast SSDs and workloads with high write throughput and low read latency.

Skills
Script Depot

Pebble — High-Performance Embedded Key-Value Store in Go

CockroachDB's production-grade embedded storage engine inspired by LevelDB and RocksDB, written in pure Go with no CGo dependencies.

Skills
AI Open Source
◈首页🔍搜索👤我的