penrose / penroseLinks
Create beautiful diagrams just by typing notation in plain text.
☆7,908Updated last 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,459Updated 3 weeks ago
- A simple visual editor for creating commutative diagrams.☆1,962Updated 5 years ago
- LaTeX.css is a CSS library that makes your website look like a LaTeX document☆3,433Updated 8 months ago
- Self-rendering Markdown + LaTeX documents☆2,426Updated 2 years ago
- An extension for VS Code that visualizes data during debugging.☆8,167Updated 10 months ago
- Renders papers from arXiv as responsive web pages so you don't have to squint at a PDF.☆1,636Updated 2 years ago
- Convert your ascii diagram scribbles into happy little SVG☆4,130Updated last week
- Lean 4 programming language and theorem prover☆7,293Updated this week
- Animation engine for explanatory math videos☆84,378Updated 3 months ago
- SwiftLaTeX, a WYSIWYG Browser-based LaTeX Editor☆2,248Updated last year
- Lean Theorem Prover☆2,156Updated 2 years ago
- The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, ex…☆5,351Updated this week
- A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.☆4,579Updated 4 months ago
- Parsing, analyzing, and comparing source code across many languages☆9,057Updated 10 months ago
- High precision scientific calculator with support for physical units☆3,175Updated last year
- rga: ripgrep, but also search in PDFs, E-Books, Office documents, zip, tar.gz, etc.☆9,427Updated 3 weeks ago
- A community-maintained Python framework for creating mathematical animations.☆36,716Updated this week
- Enso Analytics is a self-service data prep and analysis platform designed for data teams.☆7,433Updated this week
- MetaPost + TeX rendition of Oliver Byrne's "The first six books of the Elements of Euclid"☆1,290Updated 2 months ago
- Scalene: a high-performance, high-precision CPU, GPU, and memory profiler for Python with AI-powered optimization proposals☆13,269Updated this week
- Quadsort is a branchless stable adaptive mergesort faster than quicksort.☆2,203Updated last year
- An Infinitely Large Napkin☆1,812Updated last week
- An experimental code editor for writing algorithms☆2,904Updated 6 years ago
- Sioyek is a PDF viewer with a focus on textbooks and research papers☆8,523Updated this week
- A memory profiler for Linux.☆4,757Updated 2 years ago
- Haskell library for building declarative animations based on SVG graphics☆1,174Updated last year
- A modern proof language☆3,719Updated last year
- Distributed, offline-first bug tracker embedded in git☆9,668Updated this week
- This repository is for archival. Please see https://github.com/Mathics3/mathics-core☆2,066Updated 3 years ago
- 🎈 Simple reactive notebooks for Julia☆5,291Updated this week