penrose / penroseLinks
Create beautiful diagrams just by typing notation in plain text.
☆7,770Updated this week
Alternatives and similar repositories for penrose
Users that are interested in penrose are comparing it to the libraries listed below
Sorting:
- A modern commutative diagram editor for the web.☆3,274Updated this week
- LaTeX.css is a CSS library that makes your website look like a LaTeX document☆3,341Updated last month
- Self-rendering Markdown + LaTeX documents☆2,395Updated last year
- SwiftLaTeX, a WYSIWYG Browser-based LaTeX Editor☆2,192Updated last year
- Best practice and tips & tricks to write scientific papers in LaTeX, with figures generated in Python or Matlab.☆3,680Updated 2 years ago
- Enso Analytics is a self-service data prep and analysis platform designed for data teams.☆7,434Updated this week
- A simple visual editor for creating commutative diagrams.☆1,940Updated 4 years ago
- Animation engine for explanatory math videos☆78,696Updated 3 weeks ago
- Renders papers from arXiv as responsive web pages so you don't have to squint at a PDF.☆1,625Updated 2 years ago
- Examples of how to create colorful, annotated equations in Latex using Tikz.☆3,861Updated 2 years ago
- Code for A Programmer's Introduction to Mathematics☆3,609Updated 2 years ago
- Productive, portable, and performant GPU programming in Python.☆27,242Updated 2 weeks ago
- Parsing, analyzing, and comparing source code across many languages☆9,042Updated 3 months ago
- A new markup-based typesetting system that is powerful and easy to learn.☆43,905Updated this week
- Lean 3's obsolete mathematical components library: please use mathlib4☆1,667Updated last year
- A visual programing environment for scientific computing with python☆894Updated 4 years ago
- A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.☆4,260Updated this week
- Lean 4 programming language and theorem prover☆5,924Updated this week
- rga: ripgrep, but also search in PDFs, E-Books, Office documents, zip, tar.gz, etc.☆8,924Updated 2 months ago
- Sioyek is a PDF viewer with a focus on textbooks and research papers☆8,009Updated last month
- High precision scientific calculator with support for physical units☆3,177Updated 5 months ago
- Convert your ascii diagram scribbles into happy little SVG☆4,013Updated 3 months ago
- The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, ex…☆5,147Updated this week
- Haskell library for building declarative animations based on SVG graphics☆1,161Updated 5 months ago
- Visually explore, understand, and present your data.☆6,503Updated last week
- ✍️ Fusuma makes slides with Markdown easily.☆5,411Updated 7 months ago
- Lean Theorem Prover☆2,155Updated last year
- Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, …☆20,807Updated last week
- Save matplotlib figures as TikZ/PGFplots for smooth integration into LaTeX.☆2,513Updated 10 months ago
- An open access book on scientific visualization using python and matplotlib☆10,970Updated last year