@penrose/components NPM | npm.io

3.2.0 • Published 4 days ago

Install

Weekly downloads

-

License

MIT

Repository

Last release

4 days 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.

@monaco-editor/react @penrose/core monaco-editor monaco-vim react-datasheet-grid react-latex-next react-select styled-components

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

4 days ago

9 months ago

10 months ago

10 months ago

10 months ago

10 months ago

1 year ago

1 year ago

1 year ago

1 year ago

1 year ago

1.3.1-alpha.363

1 year ago

1.3.1-alpha.360

1 year ago

1.3.1-alpha.362

1 year ago

1.3.1-alpha.361

1 year ago

1.3.1-alpha.353

1 year ago

1.3.1-alpha.352

1 year ago

1.3.1-alpha.355

1 year ago

1.3.1-alpha.354

1 year ago

1.3.1-alpha.351

1 year ago

1.3.1-alpha.350

1 year ago

1.3.1-alpha.357

1 year ago

1.3.1-alpha.356

1 year ago

1.3.1-alpha.359

1 year ago

1.3.1-alpha.358

1 year ago

1.3.1-alpha.342

1 year ago

1.3.1-alpha.341

1 year ago

1.3.1-alpha.344

1 year ago

1.3.1-alpha.343

1 year ago

1.3.1-alpha.340

1 year ago

1.3.1-alpha.349

1 year ago

1.3.1-alpha.346

1 year ago

1.3.1-alpha.345

1 year ago

1.3.1-alpha.348

1 year ago

1.3.1-alpha.347

1 year ago

1.3.1-alpha.331

1 year ago

1.3.1-alpha.330

1 year ago

1.3.1-alpha.333

1 year ago

1.3.1-alpha.332

1 year ago

1.3.1-alpha.339

1 year ago

1.3.1-alpha.338

1 year ago

1.3.1-alpha.335

1 year ago

1.3.1-alpha.334

1 year ago

1.3.1-alpha.337

1 year ago

1.3.1-alpha.336

1 year ago

1.3.1-alpha.322

1 year ago

1.3.1-alpha.321

1 year ago

1.3.1-alpha.328

1 year ago

1.3.1-alpha.327

1 year ago

1.3.1-alpha.329

1 year ago

1.3.1-alpha.324

1 year ago

1.3.1-alpha.323

1 year ago

1.3.1-alpha.326

1 year ago

1.3.1-alpha.325

1 year ago

1.3.1-alpha.320

1 year ago

1.3.1-alpha.311

1 year ago

1.3.1-alpha.310

1 year ago

1.3.1-alpha.317

1 year ago

1.3.1-alpha.316

1 year ago

1.3.1-alpha.319

1 year ago

1.3.1-alpha.318

1 year ago

1.3.1-alpha.313

1 year ago

1.3.1-alpha.312

1 year ago

1.3.1-alpha.315

1 year ago

1.3.1-alpha.314

1 year ago

1.3.1-alpha.306

2 years ago

1.3.1-alpha.308

1 year ago

1.3.1-alpha.307

2 years ago

1.3.1-alpha.309

1 year ago

1.3.1-alpha.290

2 years ago

1.3.1-alpha.292

2 years ago

1.3.1-alpha.291

2 years ago

1.3.1-alpha.298

2 years ago

1.3.1-alpha.297

2 years ago

1.3.1-alpha.299

2 years ago

1.3.1-alpha.294

2 years ago

1.3.1-alpha.293

2 years ago

1.3.1-alpha.296

2 years ago

1.3.1-alpha.295

2 years ago

1.3.1-alpha.300

2 years ago

1.3.1-alpha.305

2 years ago

1.3.1-alpha.302

2 years ago

1.3.1-alpha.301

2 years ago

1.3.1-alpha.304

2 years ago

1.3.1-alpha.303

2 years ago

1.3.1-alpha.281

2 years ago

1.3.1-alpha.280

2 years ago

1.3.1-alpha.287

2 years ago

1.3.1-alpha.286

2 years ago

1.3.1-alpha.289

2 years ago

1.3.1-alpha.288

2 years ago

1.3.1-alpha.283

2 years ago

1.3.1-alpha.282

2 years ago

1.3.1-alpha.285

2 years ago

1.3.1-alpha.284

2 years ago

1.3.1-alpha.270

2 years ago

1.3.1-alpha.276

2 years ago

1.3.1-alpha.275

2 years ago

1.3.1-alpha.278

2 years ago

1.3.1-alpha.277

2 years ago

1.3.1-alpha.272

2 years ago

1.3.1-alpha.271

2 years ago

1.3.1-alpha.274

2 years ago

1.3.1-alpha.273

2 years ago

1.3.1-alpha.279

2 years ago

1.3.1-alpha.265

2 years ago

1.3.1-alpha.264

2 years ago

1.3.1-alpha.267

2 years ago

1.3.1-alpha.266

2 years ago

1.3.1-alpha.263

2 years ago

1.3.1-alpha.269

2 years ago

1.3.1-alpha.268

2 years ago

1.3.1-alpha.261

2 years ago

1.3.1-alpha.260

2 years ago

1.3.1-alpha.262

2 years ago

1.3.1-alpha.254

2 years ago

1.3.1-alpha.253

2 years ago

1.3.1-alpha.256

2 years ago

1.3.1-alpha.255

2 years ago

1.3.1-alpha.250

2 years ago

1.3.1-alpha.252

2 years ago

1.3.1-alpha.251

2 years ago

1.3.1-alpha.258

2 years ago

1.3.1-alpha.257

2 years ago

1.3.1-alpha.259

2 years ago

1.3.1-alpha.191

2 years ago

1.3.1-alpha.190

2 years ago

1.3.1-alpha.193

2 years ago

1.3.1-alpha.192

2 years ago

1.3.1-alpha.199

2 years ago

1.3.1-alpha.198

2 years ago

1.3.1-alpha.195

2 years ago

1.3.1-alpha.194

2 years ago

1.3.1-alpha.197

2 years ago

1.3.1-alpha.196

2 years ago

1.3.1-alpha.188

2 years ago

1.3.1-alpha.189

2 years ago

1.3.1-alpha.243

2 years ago

1.3.1-alpha.242

2 years ago

1.3.1-alpha.245

2 years ago

1.3.1-alpha.244

2 years ago

1.3.1-alpha.241

2 years ago

1.3.1-alpha.240

2 years ago

1.3.1-alpha.247

2 years ago

1.3.1-alpha.246

2 years ago

1.3.1-alpha.249

2 years ago

1.3.1-alpha.248

2 years ago

1.3.1-alpha.232

2 years ago

1.3.1-alpha.231

2 years ago

1.3.1-alpha.234

2 years ago

1.3.1-alpha.233

2 years ago

1.3.1-alpha.230

2 years ago

1.3.1-alpha.239

2 years ago

1.3.1-alpha.236

2 years ago

1.3.1-alpha.235

2 years ago

1.3.1-alpha.238

2 years ago

1.3.1-alpha.237

2 years ago

1.3.1-alpha.221

2 years ago

1.3.1-alpha.220

2 years ago

1.3.1-alpha.223

2 years ago

1.3.1-alpha.222

2 years ago

1.3.1-alpha.229

2 years ago

1.3.1-alpha.228

2 years ago

1.3.1-alpha.225

2 years ago

1.3.1-alpha.224

2 years ago

1.3.1-alpha.227

2 years ago

1.3.1-alpha.226

2 years ago

1.3.1-alpha.210

2 years ago

1.3.1-alpha.212

2 years ago

1.3.1-alpha.211

2 years ago

1.3.1-alpha.218

2 years ago

1.3.1-alpha.217

2 years ago

1.3.1-alpha.219

2 years ago

1.3.1-alpha.214

2 years ago

1.3.1-alpha.213

2 years ago

1.3.1-alpha.216

2 years ago

1.3.1-alpha.215

2 years ago

1.3.1-alpha.201

2 years ago

1.3.1-alpha.200

2 years ago

1.3.1-alpha.207

2 years ago

1.3.1-alpha.206

2 years ago

1.3.1-alpha.209

2 years ago

1.3.1-alpha.208

2 years ago

1.3.1-alpha.203

2 years ago

1.3.1-alpha.202

2 years ago

1.3.1-alpha.205

2 years ago

1.3.1-alpha.204

2 years ago

1.3.1-alpha.180

2 years ago

1.3.1-alpha.182

2 years ago

1.3.1-alpha.181

2 years ago

1.3.1-alpha.187

2 years ago

1.3.1-alpha.184

2 years ago

1.3.1-alpha.183

2 years ago

1.3.1-alpha.186

2 years ago

1.3.1-alpha.185

2 years ago

1.3.1-alpha.171

2 years ago

1.3.1-alpha.170

2 years ago

1.3.1-alpha.177

2 years ago

1.3.1-alpha.176

2 years ago

1.3.1-alpha.178

2 years ago

1.3.1-alpha.173

2 years ago

1.3.1-alpha.172

2 years ago

1.3.1-alpha.175

2 years ago

1.3.1-alpha.174

2 years ago

1.3.1-alpha.166

2 years ago

1.3.1-alpha.165

2 years ago

1.3.1-alpha.168

2 years ago

1.3.1-alpha.167

2 years ago

1.3.1-alpha.169

2 years ago

1.3.1-alpha.162

2 years ago

1.3.1-alpha.161

2 years ago

1.3.1-alpha.164

2 years ago

1.3.1-alpha.163

2 years ago

1.3.1-alpha.155

2 years ago

1.3.1-alpha.154

2 years ago

1.3.1-alpha.157

2 years ago

1.3.1-alpha.156

2 years ago

1.3.1-alpha.151

2 years ago

1.3.1-alpha.153

2 years ago

1.3.1-alpha.152

2 years ago

1.3.1-alpha.159

2 years ago

1.3.1-alpha.158

2 years ago

1.3.1-alpha.133

2 years ago

2 years ago

1.3.1-alpha.132

2 years ago

2 years ago

1.3.1-alpha.135

2 years ago

2 years ago

1.3.1-alpha.134

2 years ago

2 years ago

2 years ago

1.3.1-alpha.131

2 years ago

1.3.1-alpha.130

2 years ago

2 years ago

1.3.1-alpha.137

2 years ago

2 years ago

1.3.1-alpha.136

2 years ago

2 years ago

1.3.1-alpha.139

2 years ago

1.3.1-alpha.138

2 years ago

2 years ago

1.3.1-alpha.122

2 years ago

1.3.1-alpha.121

2 years ago

1.3.1-alpha.124

2 years ago

2 years ago

1.3.1-alpha.123

2 years ago

2 years ago

1.3.1-alpha.120

2 years ago

2 years ago

1.3.1-alpha.129

2 years ago

2 years ago

2 years ago

1.3.1-alpha.126

2 years ago

1.3.1-alpha.125

2 years ago

1.3.1-alpha.128

2 years ago

1.3.1-alpha.127

2 years ago

1.3.1-alpha.111

2 years ago

1.3.1-alpha.110

2 years ago

1.3.1-alpha.113

2 years ago

1.3.1-alpha.112

2 years ago

2 years ago

1.3.1-alpha.119

2 years ago

2 years ago

1.3.1-alpha.118

2 years ago

2 years ago

2 years ago

2 years ago

1.3.1-alpha.115

2 years ago

2 years ago

1.3.1-alpha.114

2 years ago

2 years ago

1.3.1-alpha.117

2 years ago

2 years ago

1.3.1-alpha.116

2 years ago

2 years ago

1.3.1-alpha.100

2 years ago

2 years ago

2 years ago

1.3.1-alpha.102

2 years ago

1.3.1-alpha.101

2 years ago

1.3.1-alpha.108

2 years ago

2 years ago

1.3.1-alpha.107

2 years ago

2 years ago

2 years ago

1.3.1-alpha.109

2 years ago

2 years ago

1.3.1-alpha.104

2 years ago

2 years ago

1.3.1-alpha.103

2 years ago

2 years ago

1.3.1-alpha.106

2 years ago

2 years ago

1.3.1-alpha.105

2 years ago

2 years ago

2 years ago

2 years ago

2 years ago

2 years ago

1.3.1-alpha.150

2 years ago

1.3.1-alpha.144

2 years ago

1.3.1-alpha.143

2 years ago

1.3.1-alpha.146

2 years ago

1.3.1-alpha.145

2 years ago

1.3.1-alpha.140

2 years ago

1.3.1-alpha.142

2 years ago

1.3.1-alpha.141

2 years ago

2 years ago

1.3.1-alpha.148

2 years ago

2 years ago

1.3.1-alpha.147

2 years ago

2 years ago

2 years ago

1.3.1-alpha.149

2 years ago

2 years ago

2 years ago

3 years ago

2 years ago

3 years ago

2 years ago

3 years ago

3 years ago

2 years ago

2 years ago

2 years ago

3 years ago

2 years ago

2 years ago

2 years ago

3 years ago

2 years ago

2 years ago

3 years ago

3 years ago