没有合适的资源?快使用搜索试试~
我知道了~
文库首页
开发技术
其它
zenn.dev
zenn.dev
共36个文件
md:29个
json:2个
gitkeep:1个
需积分: 5
0 下载量
171 浏览量
2021-03-29
06:45:46
上传
评论
收藏
356KB
ZIP
举报
温馨提示
立即下载
Zenn目录
资源推荐
资源详情
资源评论
zenn-gkz:zenn.dev的书
浏览:125
Zenn目录
zenn
浏览:65
Zenn目录
.dev
浏览:46
.dev
zenn-docs:如何使用zenn.dev
浏览:28
zenn.dev的文档
zenn-community:zenn.dev路线图
浏览:41
岑社区Zenn用户可以在此存储库中发布他们的请求和问题。如果对安全性或隐私有任何疑问或报告,请使用与我们。如何使用,为适用的类别选择一个模板并将其发布。如果没有适用的类别,请使用与我们。
zenn-to-pdf:使用puppeteer将zenn.dev上的文章导出为pdf
浏览:61
zenn-to-pdf 该工具使用puppeteer将zenn文章导出为PDF,要使用顶级await功能,您需要使用高于14.8.0 Node版本。 安装 $ npm install 设置环境变量 这是获取ZENN_PAGE_URL 。 顺便说一句,它似乎是一个隐藏的功能,...
zenn-docs:zenn.dev的文档环境
浏览:153
-文档环境 (由提供支持) 链接 : はTwitter Emojiを使っているらしい :よく使いそうなのは以下かな :めっさ有难う!
feedsnippet
浏览:178
安装go install github.com/ikawaha/feedsnippet@latest设定档最小配置- urls : - https://zenn.dev/ikawaha/feed limit : 5- urls : - https://qiita.com/ikawaha/feed limit : 5 输出:列出多个提要- urls : ...
zenn:zenn用リポジトリ
浏览:188
曾恩 zenn用リポジトリ
dev
浏览:163
开发人员 设置开发人员环境的代码。 当前支持AWS免费套餐
sync-zenn-with-dev-action:只需将Zenn文章同步到DEV
浏览:96
只需将Zenn文章同步到DEV它可以用于将用编写的文章同步到 。用法参见 。最小用法如下。 name : ' build-test 'on : push : branches : ... actions/checkout@v2 - run : | npm install npm run all - name : dev.to act
demo-nextjs-firebase-app
浏览:183
$ yarn dev NextJS打字稿样板 引导开发人员友好的NextJS应用程序,该应用程序配置为: 用 用格式 默认情况下使用进行提交挂钩的类型检查,类型检查和格式化 用和 Testing 自己部署 使用部署示例: 如何使用 使用或...
team-blog-hub:基于RSS的团队博客入门套件
浏览:32
成员可以将其发布到可以获取RSS feed的任何站点,例如Zenn,Qiita,Medium,note和Hatena Blog。 有关详细信息,请参见下面的文章。 演示版 发展 $ yarn install $ yarn build $ yarn dev 基本站点设置在site....
-dev
浏览:190
-dev
Qt 5实现串口调试助手 (源工程文件、0积分下载)
浏览:171
5星 · 资源好评率100%
基于Qt 5实现串口调试助手,程序仅供参考,修改了之前十六进制接收0xA0--0xFF有误的问题,新增了窗口自适应(ui文件设置栅格),文件详情可看博客链接https://blog.csdn.net/m0_51294753/article/details/121405661。
【SystemVerilog】路科验证V2学习笔记(全600页).pdf
浏览:93
5星 · 资源好评率100%
SystemVerilog的听课学习笔记,包括讲义截取、知识点记录、注意事项等细节的标注。 目录如下: 第一章 SV环境构建常识 1 1.1 数据类型 1 四、二值逻辑 4 定宽数组 9 foreach 13 动态数组 16 队列 19 关联数组 21 枚举类型 23 字符串 25 1.2 过程块和方法 27 initial和always 30 func
AutoSAR标准协议4.2.2
浏览:58
5星 · 资源好评率100%
AutoSAR标准协议规范4.2.2,里面包含了AutoSAR组织所规定的AutoSAR架构的标准规范协议原文档。对AutoSAR的学习有一定的借鉴意义
光伏-储能并网系统仿真.rar
浏览:39
5星 · 资源好评率100%
该文件是清华大学储能课的期末大作业。用SIMULINK搭建了一个完整的光伏-储能并网系统。我的博客中介绍了系统实现的具体方法,欢迎查看!
收起资源包目录
zenn_dev-master.zip
(36个子文件)
zenn.dev-master
.gitignore
22B
articles
pinephone-review.md
11KB
package.json
499B
package-lock.json
632KB
.gitkeep
0B
books
introduction-to-idris
repl.md
17KB
TODOs.md
286B
cover.png
66KB
bmi.md
5KB
test-and-ci.md
14KB
standard-library.md
23KB
packages-and-ipkg.md
16KB
io-monad.md
5KB
writing-bitmap-writer.md
32KB
type-driven-development.md
2KB
list-maybe-either.md
21KB
syntax.md
12KB
dependent-avl-tree.md
21KB
with-notation-and-view.md
12KB
elaborator-reflection.md
25KB
types-and-datatypes.md
22KB
installation.md
6KB
what-is-idris.md
6KB
syntax-sugar-and-other-syntaxes.md
7KB
try-competitive-programming-in-idris.md
24KB
monads.md
16KB
theorem-prooving.md
21KB
module-prelude-and-standard-library.md
13KB
named-parameters-and-gadts.md
4KB
literate-idris.md
2KB
interface-monad-and-more.md
23KB
idrisdoc.md
11KB
codegen-and-ffi.md
14KB
config.yaml
3KB
.keep
0B
README.md
154B
共 36 条
1
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
weirdquirky
粉丝: 30
资源:
4683
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
matlab画爱心代码,直接可以运行!!
EPLAN建立自己的部件
如何获取自己的公网IP
基于Python实现的银行管理系统(控制台实现)
Shader Graph Example Library
自然语言处理前馈网络实现根据姓氏预测种族
unity shadergraph 特效案例 - ShaderGraph-MasterStack-Samples
yolov5数据集处理代码
EPLAN元件触点印象显示
基于C语言的职工管理系统
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功