推荐开源项目:Oberon TeX Typesetting Project
2024-05-31 06:59:44作者:江焘钦
在计算机科学的世界里,有一个名为Project Oberon的宝藏项目,它不仅仅是一个编程系统,更是一本展现计算机系统设计精髓的书籍。由Niklaus Wirth和Jürg Gutknecht共同创作的这部作品,以其精巧且可理解性极强的设计,展现了如何在一个程序员可以掌握的规模内构建一个可用的计算系统。
项目介绍
Project Oberon TeX Typesetting Project的目标是将这本书从不可编辑的PDF格式解放出来,重新以(plain)TeX和Knuth的taocpmac.tex宏进行排版,并添加完整的源代码以便读者能在阅读中轻松查看。此外,该项目还尝试将其转化为一个文献式编程项目,使得文本与代码更为紧密地交织在一起。这一举措旨在让未来的Oberon社区成员能够参与编辑和更新这本经典著作,使其始终保持与源代码同步。
项目技术分析
项目采用Luatex作为排版工具,这是一种强大的TeX版本,支持Lua脚本直接嵌入,为自定义排版提供了极大的灵活性。此外,通过对原始PDF进行复制和基础排版,再进行多轮校对,项目团队致力于呈现一个高质量的可编辑文档,使读者不仅能阅读,还能参与到内容的维护之中。
应用场景
这个项目对于学习操作系统原理、计算机体系结构和程序设计语言的学者极具价值。同时,对于热衷于文献式编程方法或对小型化系统感兴趣的开发者来说,也是一个探索和实践的好平台。
项目特点
- 可编辑性:不同于传统的PDF格式,此项目提供的是可以直接修改的TeX源文件,使得持续更新和维护成为可能。
- 文献式编程:代码被巧妙地融入到文本中,允许读者在理解概念的同时,直接查看和分析实现细节。
- 开源社区驱动:鼓励社区成员参与校对和改进,旨在打造一本不断进化的技术著作。
想要将Project Oberon捧在手中,与全球的Oberon爱好者一起探讨和改进吗?立即加入这个项目,一同打造这份属于我们大家的知识宝藏!
要构建最新的PDF版本,只需运行:
luatex oberon.tex
最新进展可在Release页面找到。
让我们携手共进,将这本关于Oberon的经典之作推向新的高度,让它在你的书架上与《计算机程序的构造和解释》等经典著作并肩闪耀!
登录后查看全文
热门项目推荐
atomcodeClaude Code 的开源替代方案。连接任意大模型,编辑代码,运行命令,自动验证 — 全自动执行。用 Rust 构建,极致性能。 | An open-source alternative to Claude Code. Connect any LLM, edit code, run commands, and verify changes — autonomously. Built in Rust for speed. Get StartedRust0239
GLM-5.2智谱开源 GLM-5.2,这是针对长文本任务的最新旗舰模型。相较于前代产品 GLM-5.1,它在长文本任务处理能力上实现了显著飞跃,并且首次在稳定的 100 万 token 上下文中提供这一能力。Jinja00
JoyAI-VL-Interaction-Preview京东开源首个开源、视觉驱动的实时交互模型——它能实时监控视频流,并自主决定何时发言、保持沉默或委托任务。Jinja00
cann-learning-hubCANN 学习中心仓,支持在线互动运行、边学边练,提供教程、示例与优化方案,一站式助力昇腾开发者快速上手。Jupyter Notebook0180
kornia🐍 空间人工智能的几何计算机视觉库Python03
PaddleParallel Distributed Deep Learning: Machine Learning Framework from Industrial Practice (『飞桨』核心框架,深度学习&机器学习高性能单机、分布式训练和跨平台部署)C++02
项目优选
收起
暂无描述
Dockerfile
786
5.14 K
本项目是CANN提供的transformer类大模型算子库,实现网络在NPU上加速计算。
C++
898
2.08 K
Ascend Extension for PyTorch
Python
767
985
本项目是CANN提供的神经网络类计算算子库,实现网络在NPU上加速计算。
C++
721
1.45 K
deepin linux kernel
C
32
16
openEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。
C
471
481
CANN 学习中心仓,支持在线互动运行、边学边练,提供教程、示例与优化方案,一站式助力昇腾开发者快速上手。
Jupyter Notebook
483
180
本项目是CANN提供的数学类基础计算算子库,实现网络在NPU上加速计算。
C++
1.13 K
1.17 K
JiuwenSwarm 是一款基于openJiuwen开发的智能AI Agent,它能够将大语言模型的强大能力,通过你日常使用的各类通讯应用,直接延伸至你的指尖。
Python
2.49 K
684
昇腾LLM分布式训练框架
Python
189
240