WhimRead 需要 JavaScript 才能使用站内搜索。
Whim
Read
随手一翻
发现
全部工具
推荐
惊喜
关于
搜索
English
工具
SATySFi
gfngfn/SATySFi
静态
类型
函数式
排版
系统,
用
类
LaTeX语法编写
文档
并
直接
编译生成
PDF。
去 GitHub 看仓库
复制链接
标签
ocaml
markup-language
latex
functional-programming
pdf-generation
opentype
satysfi
opam
同类项目
milewski-ctfp-pdf
11.7k
《程序员
范
畴论》
非官
方PDF
及
LaTeX源
码
仓库,
提供
书籍
构建
方式,
供人
阅读
学习
的
单书
学
习
资料。
resumake.io
3.6k
基于
模板
自动生成
优雅
LaTeX
简历
的
免费
开源
网站,
已
退
役仅
保留
告别静态页。
opam
1.4k
面
向
OCaml
的
多编
译器
版
本源
码
包
管理器,
支持
灵活
依赖
约束
与
类Git
开发
流程。
hazel
1.2k
基于
类型
理论
的
实时
函
数式
编程
环境,
支持
带类型
空洞
的
结构
化编辑
与
在
线试用。
pandoc-latex-template
7.3k
优雅
的
Pandoc LaTeX
模板,
可
将
Markdown文档
转换
为
排版
精美
的
PDF、
幻
灯片
或
LaTeX源
文件。
lila
18.9k
免费
开源
在
线
国际
象棋
服务器,
提供
实时
对
弈锦
标赛
战术
训练
与
复盘,
人
直接
游玩
对战。
1248
ocaml,markup-language,latex
静态类型函数式排版系统,用类LaTeX语法编写文档并直接编译生成PDF。
←
上一个
Decodo
下一个
→
PyPDFForm