Gödel, Escher, Bach: an Eternal Golden Braid
☆89Jul 7, 2022Updated 3 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:
- 《力学概论》LaTeX 重排版☆281Dec 19, 2025Updated 3 months ago
- Some personal TeX packages☆12Feb 29, 2020Updated 6 years ago
- Implementation of C-based METAFONT☆11Sep 5, 2017Updated 8 years ago
- OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations☆26Aug 13, 2024Updated last year
- Chinese translation of the book "TeX by Topic"☆82May 2, 2023Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Adds syntax to racket languages☆11Aug 17, 2022Updated 3 years ago
- A Type System Attempt for Wolfram Language☆13Feb 28, 2021Updated 5 years ago
- Some code in the Rhombus/Shrubbery prototype☆12Dec 9, 2024Updated last year
- Calculate distances between strings by how similar they look☆11Jan 28, 2024Updated 2 years ago
- A playground for type theory implementations in Racket☆20Dec 2, 2015Updated 10 years ago
- a ConTeXt LMTX module for Jiazhu (or 夹注, 割注)☆17Nov 6, 2024Updated last year
- GitHub action to run Wolfram language code [Deprecated]☆18Dec 4, 2021Updated 4 years ago
- small (la)tex files showing features, solutions, and attempts☆102Mar 14, 2024Updated 2 years ago
- Category Theory in Programming☆13Jan 22, 2026Updated 2 months ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- New implementation of xeCJK☆22Feb 1, 2023Updated 3 years ago
- Repository for the Racket News Website☆11Feb 14, 2025Updated last year
- A metafont-glyphs dataset which facilitate people to define CJK-like glyphs with their metafont scripts by machine learning☆11Oct 26, 2024Updated last year
- Development tools for expl3 programmers☆21Mar 18, 2026Updated last week
- ☆82Nov 18, 2021Updated 4 years ago
- Asiatic pTeX☆305Updated this week
- PGF/TikZ 中文手册☆434Oct 15, 2020Updated 5 years ago
- Scala 3 Standard Library with bracket syntax.☆11Jul 10, 2021Updated 4 years ago
- Tree data structure supporting functional manipulation. Works closely with FSet.☆17Mar 16, 2026Updated last week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Prior Sampling for high dimension data with domain knowledge.☆10Jan 11, 2022Updated 4 years ago
- Adds color to your Wolfram Language outputs in an ANSI capable terminal☆10Sep 19, 2019Updated 6 years ago
- Additional features supporting paclets in Mathematica☆15Oct 3, 2017Updated 8 years ago
- HTML rendering of chapters 5 and 6 of "The Art of the Metaobject Protocol".☆19May 28, 2025Updated 9 months ago
- Physics, mathematics and computer science notes, mostly in Mandarin Chinese, some in English.☆11Mar 13, 2026Updated 2 weeks ago
- 🤖 A telegram bot to monitor Tsinghua web learning and push new updates to user in Telegram.☆12Mar 20, 2026Updated last week
- 基於 TikZ 水印的 upLaTeX genko (原稿紙) 的重寫☆13Sep 28, 2019Updated 6 years ago
- Tiny TeX distribution built on Web2C and LuaTeX.☆10Oct 2, 2025Updated 5 months ago
- Translation of professor Joseph Polchinski's article 'Memories of a Theoretical Physicist'☆24Oct 2, 2017Updated 8 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Mar 25, 2018Updated 8 years ago
- My type-ups for copilot to learn from.☆11Aug 30, 2022Updated 3 years ago
- ☆19Feb 21, 2026Updated last month
- Adobe Swatch Exchange (ASE) to JSON Converter☆12Apr 21, 2015Updated 10 years ago
- Wolfram学生大使演讲PPT☆14Aug 26, 2020Updated 5 years ago
- ☆16Apr 20, 2018Updated 7 years ago
- Rapid population synthesis code for binary black hole mergers in dynamical environments.☆15Mar 20, 2026Updated last week