jemmybutton / byrne-euclid
MetaPost + TeX rendition of Oliver Byrne's "The first six books of the Elements of Euclid"
☆1,209Updated 3 months ago
Alternatives and similar repositories for byrne-euclid:
Users that are interested in byrne-euclid are comparing it to the libraries listed below
- MetaPost library initially written to automate some elements of black and white illustrations for a physics textbook☆367Updated 3 months ago
- LaTeX facsimile of a Bible de Genève, 1564☆412Updated last year
- This repository is for archival. Please see https://github.com/Mathics3/mathics-core☆2,072Updated 2 years ago
- The SILE Typesetter — Simon’s Improved Layout Engine☆1,683Updated this week
- Collection of quotes on notation design & how it affects thought.☆1,846Updated 4 years ago
- Haskell library for building declarative animations based on SVG graphics☆1,141Updated last year
- Galley of Tikz drawings.☆453Updated 2 years ago
- 2D & 3D TeX-Aware Vector Graphics Language☆571Updated this week
- A Tufte-inspired LaTeX class for producing handouts, papers, and books☆1,710Updated 6 months ago
- Lean Theorem Prover☆2,148Updated last year
- An open-source Mathematica Kernel. This repository contains the Python modules for WL Built-in functions, variables, core primitives, e.g…☆1,067Updated this week
- TikZJax is TikZ running under WebAssembly in the browser☆471Updated 6 months ago
- KtikZ provides a nice user interface for making pictures using TikZ.☆359Updated 6 months ago
- A textbook on informal homotopy type theory☆2,050Updated 7 months ago
- Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra☆838Updated this week
- Source Code of GNU TeXmacs, Developers Guide ==>☆607Updated this week
- Make your own quadrille, graph, hex, etc paper! Uses the pgf/TikZ package for LaTeX, which should be part of any modern TeX installation.☆469Updated 3 years ago
- A modern commutative diagram editor for the web.☆3,159Updated 3 weeks ago
- A simple visual editor for creating commutative diagrams.☆1,905Updated 4 years ago
- Describing Chinese Characters with Recursive Radical Packing Language (RRPL)☆928Updated 4 years ago
- Wolfram Language kernel for Jupyter notebooks☆1,066Updated last year
- A new home for asciimathml☆970Updated 2 years ago
- LaTeX/MetaPost package for making geometry diagrams in the style of Oliver Byrne's rendition of Euclid's Elements☆18Updated 3 months ago
- Introduction to modern Prolog☆1,246Updated 3 weeks ago
- A growing collection of interactive tutorials, demos, and quizzes about maths, algorithms, and programming.☆489Updated 3 months ago
- A JavaScript framework for interactive (mathematical) content.☆668Updated last week
- A LaTeX package that executes Python and other code in LaTeX documents, and includes the output☆892Updated 10 months ago
- Axiom is a free, open source computer algebra system☆373Updated last year
- A Portable Graphic Format for TeX☆1,168Updated last month
- The formal proof of the Kepler conjecture☆152Updated 8 months ago