penrose/penroseDB

This repository has been archived on 09/Jul/2022
Stars
4
Rank 3,297,066 (Top 66 %)
Language
Python
Created over 7 years ago
Updated about 7 years ago

penrose/penroseDB

penrose

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A database for Penrose programs

penrose

Create beautiful diagrams just by typing notation in plain text.

penrose-python

python API client to interact with penrose component packages

arxiv-miner

analysis of arxiv equations and figures to guide Penrose development

Jupyter Notebook

nanofuzz

NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code

geometric-queries

domain-linear-algebra

Linear Algebra domain, including documentation and static API to serve production files

cookiecutter-domain

A cookiecutter template for easy creation of a Penrose domain Github repository

panels

penrose-old.github.io

Documentation pages for penrose (under development)

penrose-vscode

tutorials

Starter code repository for Penrose tutorials.

penrose-atom-syntax-highlighting

Atom syntax-highlighting package for languages in the Penrose system

introduction

experiments

An archive of experiments done to inform Penrose development.