没有合适的资源?快使用搜索试试~ 我知道了~
lean4-raytracer:用精益4编写的简单raytracer
共18个文件
ppm:6个
lean:6个
png:2个
需积分: 5 0 下载量 163 浏览量
2021-05-24
08:44:55
上传
评论
收藏 2.21MB ZIP 举报
温馨提示
简单的光线追踪器在Lean 4中 是一种依赖类型化的编程语言,它既可以用作证明助手,也可以用于实际程序。 该存储库实现了“的光线跟踪”中描述的。 raytracer使用Task进行并行渲染。 光线跟踪器的一部分正在使用超采样来更好地估计进入每个像素的光量,因此并行化是微不足道的:整个图像被渲染多次,并将结果平均在一起。 (在Intel Xeon E5-2665上使用8个线程需要10分钟。500x333像素,每个像素80个样本,最大深度30。) (在Intel Xeon E5-2665上具有16个线程的2小时。800x533像素,每个像素480个样本,最大深度50。) 运行代码 假设您已经安装了Lean 4,它将生成一个可执行文件并运行它: $ leanpkg build build/bin/render && time ./build/bin/render test.ppm 渲
资源推荐
资源详情
资源评论
收起资源包目录
lean4-raytracer-master.zip (18个子文件)
lean4-raytracer-master
test13.ppm 1.78MB
test9.5.ppm 973KB
old
Algebra.lean 332B
NatExtra.lean 970B
vec.lean 9KB
ArrayExtra.lean 1KB
test13.bigger.ppm 4.56MB
test7.ppm 1.02MB
leanpkg.toml 58B
c
render.c 20KB
Makefile 114B
render.lean 11KB
render
vec3.lean 2KB
test10.2.ppm 977KB
test13.png 218KB
readme.md 2KB
test13.bigger.png 422KB
test12.2.ppm 934KB
共 18 条
- 1
资源评论
李川雨
- 粉丝: 33
- 资源: 4579
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功