pablolessa / dibujos_hiperbolicosLinks
A python tool to create drawings in the hyperbolic disk (e.g. for inclusion in LaTex documents). The output is either a Tikz figure (a .pgf file) of an SVG file (viewable in all modern web-browsers). I usually use KTikz to get eps, pdf, and pgn figures from pgf or Inkscape to convert svg files.
☆10Updated last year
Alternatives and similar repositories for dibujos_hiperbolicos
Users that are interested in dibujos_hiperbolicos are comparing it to the libraries listed below
Sorting:
- An inference engine for extensional untyped λ-calculus☆3Updated this week
- Julia Implementation of Unums☆42Updated 8 years ago
- The Aldor Programming Language☆34Updated 5 months ago
- ☆19Updated 8 years ago
- A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language☆11Updated 9 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆13Updated 8 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 7 years ago
- Write LaTeX-formatted documents using J evaluation☆18Updated 9 years ago
- A low-level probabilistic programming framework embedded in Terra.☆29Updated 8 years ago
- Deposited packages of the homalg project☆15Updated 2 months ago
- Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/☆11Updated 10 months ago
- git svn clone --stdlayoout https://lush.svn.sourceforge.net/svnroot/lush + suggestions + debianisation☆21Updated 12 years ago
- OBSOLETE, ARCHIVED mirror of the OCaml manual☆16Updated last year
- PRolog Equation Solving System☆30Updated 8 years ago
- A textual front end to Mathematica.☆12Updated 5 years ago
- Poplog☆21Updated 14 years ago
- A scalable implementation of the multifrontal method for symmetric and Hermitian systems (with intrafrontal pivoting)☆19Updated 9 years ago
- utilities for filesystem exploration and automated builds☆21Updated 3 weeks ago
- Annie's version of talespin☆12Updated 6 years ago
- A MiniKanren in Python☆35Updated 9 years ago
- ☆19Updated 6 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- Awesome Geometric Algebra☆28Updated 5 years ago
- An Image Dictionary for Co-dfns☆14Updated 8 years ago
- Metamath verifier in Python☆40Updated last month
- A datalog implementation in pure Lua (LPEG parser).☆22Updated 2 years ago
- An implementation of the APL language in Python with the Numpy module☆30Updated 8 years ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆13Updated 6 years ago
- Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.☆25Updated 2 years ago
- ☆34Updated 4 years ago