@penrose/components NPM | npm.io

3.2.0 • Published 1 year ago

Install

Weekly downloads

-

License

MIT

Repository

Last release

1 year 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

1 year ago

1 year 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

3 years ago

3 years ago

3 years ago

3 years ago

3 years ago

1.3.1-alpha.363

3 years ago

1.3.1-alpha.360

3 years ago

1.3.1-alpha.362

3 years ago

1.3.1-alpha.361

3 years ago

1.3.1-alpha.353

3 years ago

1.3.1-alpha.352

3 years ago

1.3.1-alpha.355

3 years ago

1.3.1-alpha.354

3 years ago

1.3.1-alpha.351

3 years ago

1.3.1-alpha.350

3 years ago

1.3.1-alpha.357

3 years ago

1.3.1-alpha.356

3 years ago

1.3.1-alpha.359

3 years ago

1.3.1-alpha.358

3 years ago

1.3.1-alpha.342

3 years ago

1.3.1-alpha.341

3 years ago

1.3.1-alpha.344

3 years ago

1.3.1-alpha.343

3 years ago

1.3.1-alpha.340

3 years ago

1.3.1-alpha.349

3 years ago

1.3.1-alpha.346

3 years ago

1.3.1-alpha.345

3 years ago

1.3.1-alpha.348

3 years ago

1.3.1-alpha.347

3 years ago

1.3.1-alpha.331

3 years ago

1.3.1-alpha.330

3 years ago

1.3.1-alpha.333

3 years ago

1.3.1-alpha.332

3 years ago

1.3.1-alpha.339

3 years ago

1.3.1-alpha.338

3 years ago

1.3.1-alpha.335

3 years ago

1.3.1-alpha.334

3 years ago

1.3.1-alpha.337

3 years ago

1.3.1-alpha.336

3 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

4 years ago

1.3.1-alpha.253

4 years ago

1.3.1-alpha.256

3 years ago

1.3.1-alpha.255

3 years ago

1.3.1-alpha.250

4 years ago

1.3.1-alpha.252

4 years ago

1.3.1-alpha.251

4 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

4 years ago

1.3.1-alpha.190

4 years ago

1.3.1-alpha.193

4 years ago

1.3.1-alpha.192

4 years ago

1.3.1-alpha.199

4 years ago

1.3.1-alpha.198

4 years ago

1.3.1-alpha.195

4 years ago

1.3.1-alpha.194

4 years ago

1.3.1-alpha.197

4 years ago

1.3.1-alpha.196

4 years ago

1.3.1-alpha.188

4 years ago

1.3.1-alpha.189

4 years ago

1.3.1-alpha.243

4 years ago

1.3.1-alpha.242

4 years ago

1.3.1-alpha.245

4 years ago

1.3.1-alpha.244

4 years ago

1.3.1-alpha.241

4 years ago

1.3.1-alpha.240

4 years ago

1.3.1-alpha.247

4 years ago

1.3.1-alpha.246

4 years ago

1.3.1-alpha.249

4 years ago

1.3.1-alpha.248

4 years ago

1.3.1-alpha.232

4 years ago

1.3.1-alpha.231

4 years ago

1.3.1-alpha.234

4 years ago

1.3.1-alpha.233

4 years ago

1.3.1-alpha.230

4 years ago

1.3.1-alpha.239

4 years ago

1.3.1-alpha.236

4 years ago

1.3.1-alpha.235

4 years ago

1.3.1-alpha.238

4 years ago

1.3.1-alpha.237

4 years ago

1.3.1-alpha.221

4 years ago

1.3.1-alpha.220

4 years ago

1.3.1-alpha.223

4 years ago

1.3.1-alpha.222

4 years ago

1.3.1-alpha.229

4 years ago

1.3.1-alpha.228

4 years ago

1.3.1-alpha.225

4 years ago

1.3.1-alpha.224

4 years ago

1.3.1-alpha.227

4 years ago

1.3.1-alpha.226

4 years ago

1.3.1-alpha.210

4 years ago

1.3.1-alpha.212

4 years ago

1.3.1-alpha.211

4 years ago

1.3.1-alpha.218

4 years ago

1.3.1-alpha.217

4 years ago

1.3.1-alpha.219

4 years ago

1.3.1-alpha.214

4 years ago

1.3.1-alpha.213

4 years ago

1.3.1-alpha.216

4 years ago

1.3.1-alpha.215

4 years ago

1.3.1-alpha.201

4 years ago

1.3.1-alpha.200

4 years ago

1.3.1-alpha.207

4 years ago

1.3.1-alpha.206

4 years ago

1.3.1-alpha.209

4 years ago

1.3.1-alpha.208

4 years ago

1.3.1-alpha.203

4 years ago

1.3.1-alpha.202

4 years ago

1.3.1-alpha.205

4 years ago

1.3.1-alpha.204

4 years ago

1.3.1-alpha.180

4 years ago

1.3.1-alpha.182

4 years ago

1.3.1-alpha.181

4 years ago

1.3.1-alpha.187

4 years ago

1.3.1-alpha.184

4 years ago

1.3.1-alpha.183

4 years ago

1.3.1-alpha.186

4 years ago

1.3.1-alpha.185

4 years ago

1.3.1-alpha.171

4 years ago

1.3.1-alpha.170

4 years ago

1.3.1-alpha.177

4 years ago

1.3.1-alpha.176

4 years ago

1.3.1-alpha.178

4 years ago

1.3.1-alpha.173

4 years ago

1.3.1-alpha.172

4 years ago

1.3.1-alpha.175

4 years ago

1.3.1-alpha.174

4 years ago

1.3.1-alpha.166

4 years ago

1.3.1-alpha.165

4 years ago

1.3.1-alpha.168

4 years ago

1.3.1-alpha.167

4 years ago

1.3.1-alpha.169

4 years ago

1.3.1-alpha.162

4 years ago

1.3.1-alpha.161

4 years ago

1.3.1-alpha.164

4 years ago

1.3.1-alpha.163

4 years ago

1.3.1-alpha.155

4 years ago

1.3.1-alpha.154

4 years ago

1.3.1-alpha.157

4 years ago

1.3.1-alpha.156

4 years ago

1.3.1-alpha.151

4 years ago

1.3.1-alpha.153

4 years ago

1.3.1-alpha.152

4 years ago

1.3.1-alpha.159

4 years ago

1.3.1-alpha.158

4 years ago

1.3.1-alpha.133

4 years ago

4 years ago

1.3.1-alpha.132

4 years ago

4 years ago

1.3.1-alpha.135

4 years ago

4 years ago

1.3.1-alpha.134

4 years ago

4 years ago

4 years ago

1.3.1-alpha.131

4 years ago

1.3.1-alpha.130

4 years ago

4 years ago

1.3.1-alpha.137

4 years ago

4 years ago

1.3.1-alpha.136

4 years ago

4 years ago

1.3.1-alpha.139

4 years ago

1.3.1-alpha.138

4 years ago

4 years ago

1.3.1-alpha.122

4 years ago

1.3.1-alpha.121

4 years ago

1.3.1-alpha.124

4 years ago

4 years ago

1.3.1-alpha.123

4 years ago

4 years ago

1.3.1-alpha.120

4 years ago

4 years ago

1.3.1-alpha.129

4 years ago

4 years ago

4 years ago

1.3.1-alpha.126

4 years ago

1.3.1-alpha.125

4 years ago

1.3.1-alpha.128

4 years ago

1.3.1-alpha.127

4 years ago

1.3.1-alpha.111

4 years ago

1.3.1-alpha.110

4 years ago

1.3.1-alpha.113

4 years ago

1.3.1-alpha.112

4 years ago

4 years ago

1.3.1-alpha.119

4 years ago

4 years ago

1.3.1-alpha.118

4 years ago

4 years ago

4 years ago

4 years ago

1.3.1-alpha.115

4 years ago

4 years ago

1.3.1-alpha.114

4 years ago

4 years ago

1.3.1-alpha.117

4 years ago

4 years ago

1.3.1-alpha.116

4 years ago

4 years ago

1.3.1-alpha.100

4 years ago

4 years ago

4 years ago

1.3.1-alpha.102

4 years ago

1.3.1-alpha.101

4 years ago

1.3.1-alpha.108

4 years ago

4 years ago

1.3.1-alpha.107

4 years ago

4 years ago

4 years ago

1.3.1-alpha.109

4 years ago

4 years ago

1.3.1-alpha.104

4 years ago

4 years ago

1.3.1-alpha.103

4 years ago

4 years ago

1.3.1-alpha.106

4 years ago

4 years ago

1.3.1-alpha.105

4 years ago

4 years ago

4 years ago

4 years ago

4 years ago

4 years ago

1.3.1-alpha.150

4 years ago

1.3.1-alpha.144

4 years ago

1.3.1-alpha.143

4 years ago

1.3.1-alpha.146

4 years ago

1.3.1-alpha.145

4 years ago

1.3.1-alpha.140

4 years ago

1.3.1-alpha.142

4 years ago

1.3.1-alpha.141

4 years ago

4 years ago

1.3.1-alpha.148

4 years ago

4 years ago

1.3.1-alpha.147

4 years ago

4 years ago

4 years ago

1.3.1-alpha.149

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

4 years ago

4 years ago

4 years ago

4 years ago

4 years ago