是一个描述式查询语言，可以用于搜索和修改代码，支持多种编程语言 | #工具

None

相关推荐

封面图片

样板代码，用于多种框架语言的样板代码集合。|
封面图片

- 一个用于在线编程和学习不同语言的服务。免费，基于浏览器的协作式IDE，可以用50多种语言进行编码，包括Python、Ruby
封面图片

能通过语音进行交互的编程框架，可以用口述的方式编写程序，支持多种编程语言，包括TypeScript、SCSS、Python、Ja
封面图片

APL 编程语言源代码 |
封面图片

：允许用户在多种编程语言中运行命令，并支持混合使用这些语言
封面图片

编程语言基础：Agda 语言描述

编程语言基础：Agda 语言描述 本书是 Philip Wadler 和 Wen Kokke 所著的《Programming Language Foundations in Agda》的中文翻译。是对编程语言理论的介绍。书中的程序使用证明助理 Agda 编写 || #电子书

🔍 发送关键词来寻找群组、频道或视频。

启动SOSO机器人