@penrose/components NPM | npm.io

3.2.0 • Published 8 months ago

Install

Weekly downloads

-

License

MIT

Repository

Last release

8 months ago

`@penrose/components`: a React component library for Penrose

@penrose/components includes a collection of React components for building Penrose clients (e.g. @penrose/panels and @penrose/browser-ui).

Getting started

For a minimal example, try using the Simple component in your React application:

import { Simple } from `@penrose/components`;

const domain = `
type Set
`;

const substance = `
Set A
AutoLabel All
`;

const style = `
canvas {
  width = 500
  height = 500
}
Set X {
  X.shape = Circle { }
  X.text  = Text { string: X.label }
  ensure contains(X.shape, X.text)
  ensure maxSize(X.shape, canvas.width / 2)
}
`;

const App = () => <Embed domainString={domain} substanceString={substance} styleString={style} />

export default App;

Building and Running

Run yarn build to build the library
In your client library, make sure you have react and react-dom as dependencies. @penrose/components has both packages as peer dependencies and does not bundle them.
Run yarn storybook to preview the components with some examples.

@lezer-unofficial/printer @lezer/generator @penrose/core @replit/codemirror-css-color-picker @replit/codemirror-vim @uiw/codemirror-extensions-color @uiw/codemirror-theme-quietlight @uiw/codemirror-themes markdown-it markdown-it-katex react-datasheet-grid react-latex-next react-select styled-components

@infinitebrahmanuniverse/nolb-_pen @everything-registry/sub-chunk-711 @zalastax/nolb-_pen

8 months ago

8 months ago

9 months ago

11 months ago

11 months ago

1 year ago

2 years ago

2 years ago

2 years ago

2 years ago

2 years ago

2 years ago

2 years ago

2 years ago

2 years ago

2 years ago

1.3.1-alpha.363

2 years ago

1.3.1-alpha.360

2 years ago

1.3.1-alpha.362

2 years ago

1.3.1-alpha.361

2 years ago

1.3.1-alpha.353

2 years ago

1.3.1-alpha.352

2 years ago

1.3.1-alpha.355

2 years ago

1.3.1-alpha.354

2 years ago

1.3.1-alpha.351

2 years ago

1.3.1-alpha.350

2 years ago

1.3.1-alpha.357

2 years ago

1.3.1-alpha.356

2 years ago

1.3.1-alpha.359

2 years ago

1.3.1-alpha.358

2 years ago

1.3.1-alpha.342

2 years ago

1.3.1-alpha.341

2 years ago

1.3.1-alpha.344

2 years ago

1.3.1-alpha.343

2 years ago

1.3.1-alpha.340

2 years ago

1.3.1-alpha.349

2 years ago

1.3.1-alpha.346

2 years ago

1.3.1-alpha.345

2 years ago

1.3.1-alpha.348

2 years ago

1.3.1-alpha.347

2 years ago

1.3.1-alpha.331

3 years ago

1.3.1-alpha.330

3 years ago

1.3.1-alpha.333

2 years ago

1.3.1-alpha.332

2 years ago

1.3.1-alpha.339

2 years ago

1.3.1-alpha.338

2 years ago

1.3.1-alpha.335

2 years ago

1.3.1-alpha.334

2 years ago

1.3.1-alpha.337

2 years ago

1.3.1-alpha.336

2 years ago

1.3.1-alpha.322

3 years ago

1.3.1-alpha.321

3 years ago

1.3.1-alpha.328

3 years ago

1.3.1-alpha.327

3 years ago

1.3.1-alpha.329

3 years ago

1.3.1-alpha.324

3 years ago

1.3.1-alpha.323

3 years ago

1.3.1-alpha.326

3 years ago

1.3.1-alpha.325

3 years ago

1.3.1-alpha.320

3 years ago

1.3.1-alpha.311

3 years ago

1.3.1-alpha.310

3 years ago

1.3.1-alpha.317

3 years ago

1.3.1-alpha.316

3 years ago

1.3.1-alpha.319

3 years ago

1.3.1-alpha.318

3 years ago

1.3.1-alpha.313

3 years ago

1.3.1-alpha.312

3 years ago

1.3.1-alpha.315

3 years ago

1.3.1-alpha.314

3 years ago

1.3.1-alpha.306

3 years ago

1.3.1-alpha.308

3 years ago

1.3.1-alpha.307

3 years ago

1.3.1-alpha.309

3 years ago

1.3.1-alpha.290

3 years ago

1.3.1-alpha.292

3 years ago

1.3.1-alpha.291

3 years ago

1.3.1-alpha.298

3 years ago

1.3.1-alpha.297

3 years ago

1.3.1-alpha.299

3 years ago

1.3.1-alpha.294

3 years ago

1.3.1-alpha.293

3 years ago

1.3.1-alpha.296

3 years ago

1.3.1-alpha.295

3 years ago

1.3.1-alpha.300

3 years ago

1.3.1-alpha.305

3 years ago

1.3.1-alpha.302

3 years ago

1.3.1-alpha.301

3 years ago

1.3.1-alpha.304

3 years ago

1.3.1-alpha.303

3 years ago

1.3.1-alpha.281

3 years ago

1.3.1-alpha.280

3 years ago

1.3.1-alpha.287

3 years ago

1.3.1-alpha.286

3 years ago

1.3.1-alpha.289

3 years ago

1.3.1-alpha.288

3 years ago

1.3.1-alpha.283

3 years ago

1.3.1-alpha.282

3 years ago

1.3.1-alpha.285

3 years ago

1.3.1-alpha.284

3 years ago

1.3.1-alpha.270

3 years ago

1.3.1-alpha.276

3 years ago

1.3.1-alpha.275

3 years ago

1.3.1-alpha.278

3 years ago

1.3.1-alpha.277

3 years ago

1.3.1-alpha.272

3 years ago

1.3.1-alpha.271

3 years ago

1.3.1-alpha.274

3 years ago

1.3.1-alpha.273

3 years ago

1.3.1-alpha.279

3 years ago

1.3.1-alpha.265

3 years ago

1.3.1-alpha.264

3 years ago

1.3.1-alpha.267

3 years ago

1.3.1-alpha.266

3 years ago

1.3.1-alpha.263

3 years ago

1.3.1-alpha.269

3 years ago

1.3.1-alpha.268

3 years ago

1.3.1-alpha.261

3 years ago

1.3.1-alpha.260

3 years ago

1.3.1-alpha.262

3 years ago

1.3.1-alpha.254

3 years ago

1.3.1-alpha.253

3 years ago

1.3.1-alpha.256

3 years ago

1.3.1-alpha.255

3 years ago

1.3.1-alpha.250

3 years ago

1.3.1-alpha.252

3 years ago

1.3.1-alpha.251

3 years ago

1.3.1-alpha.258

3 years ago

1.3.1-alpha.257

3 years ago

1.3.1-alpha.259

3 years ago

1.3.1-alpha.191

3 years ago

1.3.1-alpha.190

3 years ago

1.3.1-alpha.193

3 years ago

1.3.1-alpha.192

3 years ago

1.3.1-alpha.199

3 years ago

1.3.1-alpha.198

3 years ago

1.3.1-alpha.195

3 years ago

1.3.1-alpha.194

3 years ago

1.3.1-alpha.197

3 years ago

1.3.1-alpha.196

3 years ago

1.3.1-alpha.188

3 years ago

1.3.1-alpha.189

3 years ago

1.3.1-alpha.243

3 years ago

1.3.1-alpha.242

3 years ago

1.3.1-alpha.245

3 years ago

1.3.1-alpha.244

3 years ago

1.3.1-alpha.241

3 years ago

1.3.1-alpha.240

3 years ago

1.3.1-alpha.247

3 years ago

1.3.1-alpha.246

3 years ago

1.3.1-alpha.249

3 years ago

1.3.1-alpha.248

3 years ago

1.3.1-alpha.232

3 years ago

1.3.1-alpha.231

3 years ago

1.3.1-alpha.234

3 years ago

1.3.1-alpha.233

3 years ago

1.3.1-alpha.230

3 years ago

1.3.1-alpha.239

3 years ago

1.3.1-alpha.236

3 years ago

1.3.1-alpha.235

3 years ago

1.3.1-alpha.238

3 years ago

1.3.1-alpha.237

3 years ago

1.3.1-alpha.221

3 years ago

1.3.1-alpha.220

3 years ago

1.3.1-alpha.223

3 years ago

1.3.1-alpha.222

3 years ago

1.3.1-alpha.229

3 years ago

1.3.1-alpha.228

3 years ago

1.3.1-alpha.225

3 years ago

1.3.1-alpha.224

3 years ago

1.3.1-alpha.227

3 years ago

1.3.1-alpha.226

3 years ago

1.3.1-alpha.210

3 years ago

1.3.1-alpha.212

3 years ago

1.3.1-alpha.211

3 years ago

1.3.1-alpha.218

3 years ago

1.3.1-alpha.217

3 years ago

1.3.1-alpha.219

3 years ago

1.3.1-alpha.214

3 years ago

1.3.1-alpha.213

3 years ago

1.3.1-alpha.216

3 years ago

1.3.1-alpha.215

3 years ago

1.3.1-alpha.201

3 years ago

1.3.1-alpha.200

3 years ago

1.3.1-alpha.207

3 years ago

1.3.1-alpha.206

3 years ago

1.3.1-alpha.209

3 years ago

1.3.1-alpha.208

3 years ago

1.3.1-alpha.203

3 years ago

1.3.1-alpha.202

3 years ago

1.3.1-alpha.205

3 years ago

1.3.1-alpha.204

3 years ago

1.3.1-alpha.180

3 years ago

1.3.1-alpha.182

3 years ago

1.3.1-alpha.181

3 years ago

1.3.1-alpha.187

3 years ago

1.3.1-alpha.184

3 years ago

1.3.1-alpha.183

3 years ago

1.3.1-alpha.186

3 years ago

1.3.1-alpha.185

3 years ago

1.3.1-alpha.171

3 years ago

1.3.1-alpha.170

3 years ago

1.3.1-alpha.177

3 years ago

1.3.1-alpha.176

3 years ago

1.3.1-alpha.178

3 years ago

1.3.1-alpha.173

3 years ago

1.3.1-alpha.172

3 years ago

1.3.1-alpha.175

3 years ago

1.3.1-alpha.174

3 years ago

1.3.1-alpha.166

3 years ago

1.3.1-alpha.165

3 years ago

1.3.1-alpha.168

3 years ago

1.3.1-alpha.167

3 years ago

1.3.1-alpha.169

3 years ago

1.3.1-alpha.162

3 years ago

1.3.1-alpha.161

3 years ago

1.3.1-alpha.164

3 years ago

1.3.1-alpha.163

3 years ago

1.3.1-alpha.155

3 years ago

1.3.1-alpha.154

3 years ago

1.3.1-alpha.157

3 years ago

1.3.1-alpha.156

3 years ago

1.3.1-alpha.151

3 years ago

1.3.1-alpha.153

3 years ago

1.3.1-alpha.152

3 years ago

1.3.1-alpha.159

3 years ago

1.3.1-alpha.158

3 years ago

1.3.1-alpha.133

3 years ago

3 years ago

1.3.1-alpha.132

3 years ago

3 years ago

1.3.1-alpha.135

3 years ago

3 years ago

1.3.1-alpha.134

3 years ago

3 years ago

3 years ago

1.3.1-alpha.131

3 years ago

1.3.1-alpha.130

3 years ago

3 years ago

1.3.1-alpha.137

3 years ago

3 years ago

1.3.1-alpha.136

3 years ago

3 years ago

1.3.1-alpha.139

3 years ago

1.3.1-alpha.138

3 years ago

3 years ago

1.3.1-alpha.122

3 years ago

1.3.1-alpha.121

3 years ago

1.3.1-alpha.124

3 years ago

3 years ago

1.3.1-alpha.123

3 years ago

3 years ago

1.3.1-alpha.120

3 years ago

3 years ago

1.3.1-alpha.129

3 years ago

3 years ago

3 years ago

1.3.1-alpha.126

3 years ago

1.3.1-alpha.125

3 years ago

1.3.1-alpha.128

3 years ago

1.3.1-alpha.127

3 years ago

1.3.1-alpha.111

3 years ago

1.3.1-alpha.110

3 years ago

1.3.1-alpha.113

3 years ago

1.3.1-alpha.112

3 years ago

3 years ago

1.3.1-alpha.119

3 years ago

3 years ago

1.3.1-alpha.118

3 years ago

3 years ago

3 years ago

3 years ago

1.3.1-alpha.115

3 years ago

3 years ago

1.3.1-alpha.114

3 years ago

3 years ago

1.3.1-alpha.117

3 years ago

3 years ago

1.3.1-alpha.116

3 years ago

3 years ago

1.3.1-alpha.100

3 years ago

3 years ago

3 years ago

1.3.1-alpha.102

3 years ago

1.3.1-alpha.101

3 years ago

1.3.1-alpha.108

3 years ago

3 years ago

1.3.1-alpha.107

3 years ago

3 years ago

3 years ago

1.3.1-alpha.109

3 years ago

3 years ago

1.3.1-alpha.104

3 years ago

3 years ago

1.3.1-alpha.103

3 years ago

3 years ago

1.3.1-alpha.106

3 years ago

3 years ago

1.3.1-alpha.105

3 years ago

3 years ago

3 years ago

3 years ago

3 years ago

3 years ago

1.3.1-alpha.150

3 years ago

1.3.1-alpha.144

3 years ago

1.3.1-alpha.143

3 years ago

1.3.1-alpha.146

3 years ago

1.3.1-alpha.145

3 years ago

1.3.1-alpha.140

3 years ago

1.3.1-alpha.142

3 years ago

1.3.1-alpha.141

3 years ago

3 years ago

1.3.1-alpha.148

3 years ago

3 years ago

1.3.1-alpha.147

3 years ago

3 years ago

3 years ago

1.3.1-alpha.149

3 years ago

3 years ago

4 years ago

4 years ago

3 years ago

4 years ago

4 years ago

4 years ago

4 years ago

4 years ago

4 years ago

4 years ago

4 years ago

4 years ago

4 years ago

4 years ago

4 years ago

4 years ago

4 years ago

4 years ago

4 years ago