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 重排版☆289Aug 22, 2026Updated 2 weeks ago
- Some personal TeX packages☆12Feb 29, 2020Updated 6 years ago
- Implementation of C-based METAFONT☆11Sep 5, 2017Updated 9 years ago
- OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations☆27Aug 24, 2026Updated 2 weeks 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.
- Chinese translation of the book "TeX by Topic"☆78May 2, 2023Updated 3 years ago
- A technical guide for pairing CJK and Latin fonts☆13Oct 5, 2021Updated 4 years ago
- Documents for Chinese TeX users☆81Jun 7, 2016Updated 10 years ago
- A playground for type theory implementations in Racket☆20Dec 2, 2015Updated 10 years ago
- Calculate distances between strings by how similar they look☆11Jan 28, 2024Updated 2 years ago
- a ConTeXt LMTX module for Jiazhu (or 夹注, 割注)☆18Nov 6, 2024Updated last year
- Category Theory in Programming☆14Jan 22, 2026Updated 7 months ago
- GitHub action to run Wolfram language code [Deprecated]☆19Dec 4, 2021Updated 4 years ago
- small (la)tex files showing features, solutions, and attempts☆101Mar 14, 2024Updated 2 years 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.
- New implementation of xeCJK☆22Feb 1, 2023Updated 3 years ago
- ☆82Nov 18, 2021Updated 4 years ago
- Wolfram Function Repository Issue Tracer☆13Sep 10, 2020Updated 5 years ago
- Prior Sampling for high dimension data with domain knowledge.☆10Jan 11, 2022Updated 4 years ago
- Scala 3 Standard Library with bracket syntax.☆11Jul 10, 2021Updated 5 years ago
- 张三浦都在用的Latex好模板☆15Feb 20, 2023Updated 3 years ago
- A simple and educational compiler for the SASL programming language☆23Apr 16, 2018Updated 8 years ago
- A static site generator that generates routes based on directories naturally.☆19Jul 11, 2026Updated last month
- Tiny TeX distribution built on Web2C and LuaTeX.☆10Jul 21, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Mar 25, 2018Updated 8 years ago
- ☆12Jan 18, 2019Updated 7 years ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆19Jul 24, 2024Updated 2 years ago
- ☆41Aug 20, 2026Updated 2 weeks ago
- ☆20Aug 11, 2026Updated 3 weeks ago
- Physics, mathematics and computer science notes, mostly in Mandarin Chinese, some in English.☆12Updated this week
- Trans-dimensional Bayesian sampler for gravitational-wave data analysis in pulsar timing array data☆11Dec 3, 2021Updated 4 years ago
- Wolfram学生大使演讲PPT☆14Aug 26, 2020Updated 6 years ago
- Rapid population synthesis code for compact object coalescences and tidal disruptions in dynamical environments.☆15Aug 21, 2026Updated 2 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A collection of my talks☆11Jan 19, 2026Updated 7 months ago
- mirror of A simple type-theoretic language: Mini-TT☆41Feb 15, 2017Updated 9 years ago
- C-struct like usage of records in Haskell☆13Jul 18, 2024Updated 2 years ago
- Unified Clipboard, just a demo, DO NOT USE!☆19Feb 4, 2023Updated 3 years ago
- My CV☆11Jan 15, 2022Updated 4 years ago
- Interface Repository for omniORB, a CORBA ORB for C++ and Python.☆11May 15, 2024Updated 2 years ago
- COSMIC (Compact Object Synthesis and Monte Carlo Investigation Code)☆62Aug 4, 2026Updated last month