penrose/penrose

Features

• Mathematical Notation Diagramming - Creates mathematical diagrams by compiling plain-text Domain, Substance, and Style programs.
• Structured Notation Compilers - Transforms structured mathematical notation into optimized SVG diagrams through a three-stage pipeline of domain, substance, and style files.
• Declarative Visualization DSLs - Defines custom mathematical domains and visual styles through separate declarative DSL files.
• Diagram Embedding Components - Ships a pre-built React component that renders mathematical diagrams by accepting source files.
• Declarative Content Specifications - Defines the objects and relationships that appear in a diagram using domain-specific predicates and functions.
• Diagrammatic Notation Renderers - Generates diagrams from plain-text mathematical notation using a domain-specific language.
• Mathematical Domain Definitions - Describes the types of objects, predicates, and functions that can appear in a diagram for a specific subject area.
• Mathematical Notation Compilers - Generates mathematical diagrams from plain-text notation using a domain-specific language.
• Diagram Layout Algorithms - Runs the full layout optimization on a compiled diagram state to produce a final arrangement.
• Framework-Specific Embeddings - Ships pre-built React and SolidJS components for embedding interactive mathematical diagrams in web applications.
• Domain Specific Languages - Compiles separate domain, substance, and style DSL files into an intermediate representation for diagram generation.
• Mathematical Domain Languages - Defines the types, objects, and operations within a mathematical field using a dedicated domain-specific language.
• Diagram DSLs - Provides a declarative DSL to define mathematical objects, relationships, and visual styles.
• Diagram - Defines the kinds of objects that can appear in a diagram, establishing the vocabulary for the visual domain.
• Numerical Parameter Optimization - Minimizes a continuous objective function with constraints to automatically position diagram elements.
• Repulsion Penalty Functions - Implements repulsion penalties that grow as diagram shapes get closer together.
• Mathematical Predicate Declarations - Defines named predicates with typed arguments to represent mathematical or logical statements about diagram objects.
• Instance Specifications - Lists the specific instances of objects to include in a diagram using a dedicated notation file.
• Optimization Problem Solvers - Sets up a problem with constraints and an objective, then runs the optimizer until convergence or a stopping condition is met.
• Layout Constraints - Defines spatial relationships as optimization constraints and objectives that the solver minimizes to produce a diagram layout.
• Spatial Objective Functions - Defines continuous objective functions encoding spatial relationships for diagram optimization.
• Geometric Containment Constraints - Defines geometric containment relationships as optimization constraints for diagram layout.
• Continuous Optimization Layout Engines - Arranges diagram elements by solving continuous optimization problems with spatial constraints.
• Content-Style Separation Languages - Separates diagram content from visual presentation using distinct declarative languages.
• Diagram Element Styling - Defines how domain objects and relationships are visually displayed in the generated diagram.
• Relationship Declarations - Specifies relationships between object types, like subset or disjoint, that the diagram can illustrate between objects.
• Text-to-Diagram Compilers - Compiles structured notation into optimized SVG diagrams through a three-stage pipeline.
• Multi-File Diagram Compilers - Accepts a trio of domain, substance, and style programs and returns a compiled state ready for layout.
• SVG Renderers - Converts optimized diagram state into SVG elements for web-based display and interaction.
• Live SVG DOM Renderers - Converts compiled diagram state into live SVG DOM elements for web page display.
• Substance Object Collections - Groups multiple Substance objects into named collections for aggregate operations across diagram elements.
• Browser-Based Diagramming Tools - Runs the diagramming system directly in a web browser without requiring any local installation or setup.
• Optimized Scalar Placeholders - Assigns placeholders that the engine initializes randomly and optimizes to suitable values for diagram layout.
• TypeScript Diagram Authoring - Provides native TypeScript definitions and React components for type-safe diagram development.
• Hot-Reload Diagram Editors - Supports interactive diagram development with hot-reload and browser-based testing.
• Interactive Diagramming Libraries - Creates optimization-driven interactive diagrams in JavaScript using a domain-specific language for mathematical visualizations.
• Typed Function Declarations - Declares functions with typed inputs and outputs that diagram schemas can reference.
• Typed Constructors - Declares constructors that create objects of specified types for diagram generation.
• Literal Type Definitions - Provides String and Number as predeclared types that can be inferred from literal expressions and used as arguments to predicates and functions.
• Optimization Variable Declarations - Declares a numeric variable with an initial value that the optimizer can adjust during the solving process.
• Domain-Specific - Provides a typed domain language with subtype hierarchies and built-in literal types for mathematical objects.
• Subtype Hierarchies - Declares 'is-a' relationships between types so subtype objects are accepted wherever parent types are expected.
• TypeScript Type Definitions - Provides native TypeScript type definitions and React component support for type-safe diagram development.
• Constrained Shape Draggers - Enables drag-based translation and scaling of diagram shapes with movement constraints.

Star history