Gödel, Escher, Bach: an Eternal Golden Braid
☆89Jul 7, 2022Updated 4 years ago
Alternatives and similar repositories for GEB
Users that are interested in GEB are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Selected Works of Mao Tse-Tung☆17May 26, 2020Updated 6 years ago
- 《力学概论》LaTeX 重排版☆291Aug 22, 2026Updated last month
- Some personal TeX packages☆13Feb 29, 2020Updated 6 years ago
- Implementation of C-based METAFONT☆11Sep 5, 2017Updated 9 years ago
- OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations☆27Sep 10, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Chinese translation of the book "TeX by Topic"☆78May 2, 2023Updated 3 years ago
- A technical guide for pairing CJK and Latin fonts☆14Oct 5, 2021Updated 5 years ago
- Documents for Chinese TeX users☆81Jun 7, 2016Updated 10 years ago
- Calculate distances between strings by how similar they look☆11Jan 28, 2024Updated 2 years ago
- A Type System Attempt for Wolfram Language☆13Feb 28, 2021Updated 5 years ago
- Category Theory in Programming☆14Jan 22, 2026Updated 8 months ago
- small (la)tex files showing features, solutions, and attempts☆101Mar 14, 2024Updated 2 years ago
- Repository for the Racket News Website☆11Feb 14, 2025Updated last year
- Manual translation of tex.web version 3.141592653 into C++ (and other related programs)☆20May 4, 2026Updated 5 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Development tools for expl3 programmers☆23Sep 24, 2026Updated 3 weeks ago
- Chinese typesetting infrastructure for LaTeX — ctex, xeCJK, and satellite packages (XeLaTeX / LuaLaTeX / pdfLaTeX / upLaTeX)☆1,058Updated this week
- Wolfram Function Repository Issue Tracer☆13Sep 10, 2020Updated 6 years ago
- Asiatic pTeX☆308Oct 6, 2026Updated last week
- Tree data structure supporting functional manipulation. Works closely with FSet.☆17Jul 21, 2026Updated 2 months ago
- A very simple minecraft mod which allows users to disable the spawning on any minecraft entity. This will also remove all existing entiti…☆11Oct 1, 2025Updated last year
- PGF/TikZ 中文手册☆436Oct 15, 2020Updated 6 years ago
- Scala 3 Standard Library with bracket syntax.☆11Jul 10, 2021Updated 5 years ago
- Adds color to your Wolfram Language outputs in an ANSI capable terminal☆10Sep 19, 2019Updated 7 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- 🤖 A telegram bot to monitor Tsinghua web learning and push new updates to user in Telegram.☆12Mar 20, 2026Updated 6 months ago
- 基於 TikZ 水印的 upLaTeX genko (原稿紙) 的重寫☆13Sep 28, 2019Updated 7 years ago
- A simple and educational compiler for the SASL programming language☆23Apr 16, 2018Updated 8 years ago
- ☆20Aug 11, 2026Updated 2 months ago
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Mar 25, 2018Updated 8 years ago
- Adobe Swatch Exchange (ASE) to JSON Converter☆12Apr 21, 2015Updated 11 years ago
- Translation of professor Joseph Polchinski's article 'Memories of a Theoretical Physicist'☆24Oct 2, 2017Updated 9 years ago
- A static site generator that generates routes based on directories naturally.☆19Jul 11, 2026Updated 3 months ago
- ☆12Jan 18, 2019Updated 7 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆19Jul 24, 2024Updated 2 years ago
- Installer of TeX Live - for issues please contact the tex-live mailing list at tug.org☆35Updated this week
- My type-ups for copilot to learn from.☆11Aug 30, 2022Updated 4 years ago
- ☆41Aug 20, 2026Updated last month
- Debian root filesystems for multiple architectures☆14Apr 3, 2021Updated 5 years ago
- Trans-dimensional Bayesian sampler for gravitational-wave data analysis in pulsar timing array data☆11Dec 3, 2021Updated 4 years ago
- ☆17Apr 20, 2018Updated 8 years ago