Skip to content

Commit c5e07db

Browse files
committed
Red Knot Playground
1 parent 3e2cf5d commit c5e07db

32 files changed

+1679
-7
lines changed

playground/knot/index.html

Lines changed: 39 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,39 @@
1+
<!doctype html>
2+
<html lang="en">
3+
<head>
4+
<meta charset="UTF-8" />
5+
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
6+
<meta name="referrer" content="no-referrer-when-downgrade" />
7+
<link rel="apple-touch-icon" sizes="180x180" href="/apple-touch-icon.png" />
8+
<link rel="icon" type="image/png" sizes="32x32" href="/favicon-32x32.png" />
9+
<link rel="icon" type="image/png" sizes="16x16" href="/favicon-16x16.png" />
10+
<meta name="msapplication-TileColor" content="#d7ff64" />
11+
<meta name="theme-color" content="#ffffff" />
12+
<title>Playground | Red Knot</title>
13+
<meta
14+
name="description"
15+
content="An in-browser playground for Red Knot, an extremely fast Python type-checker written in Rust."
16+
/>
17+
<meta name="keywords" content="ruff, python, rust, webassembly, wasm" />
18+
<meta name="twitter:card" content="summary_large_image" />
19+
<meta name="twitter:site" content="@astral_sh" />
20+
<meta property="og:title" content="Playground | Ruff" />
21+
<meta
22+
property="og:description"
23+
content="An in-browser playground for Ruff, an extremely fast Python type-checker written in Rust."
24+
/>
25+
<meta property="og:url" content="https://play.ruff.rs" />
26+
<meta property="og:image" content="/Ruff.png" />
27+
<link rel="canonical" href="https://playknot.ruff.rs" />
28+
<link rel="icon" href="/favicon.ico" />
29+
<script
30+
src="https://cdn.usefathom.com/script.js"
31+
data-site="XWUDIXNB"
32+
defer
33+
></script>
34+
</head>
35+
<body>
36+
<div id="root"></div>
37+
<script type="module" src="/src/main.tsx"></script>
38+
</body>
39+
</html>

playground/knot/package.json

Lines changed: 35 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,35 @@
1+
{
2+
"name": "knot-playground",
3+
"private": true,
4+
"version": "0.0.0",
5+
"type": "module",
6+
"scripts": {
7+
"prebuild": "npm run build:wasm",
8+
"build": "vite build",
9+
"build:wasm": "wasm-pack build ../../crates/red_knot_wasm --target web --out-dir ../../playground/knot/red_knot_wasm",
10+
"dev:wasm": "wasm-pack build ../../crates/red_knot_wasm --dev --target web --out-dir ../../playground/knot/red_knot_wasm",
11+
"predev:build": "npm run dev:wasm",
12+
"dev:build": "vite build",
13+
"prestart": "npm run dev:wasm",
14+
"start": "vite",
15+
"preview": "vite preview"
16+
},
17+
"dependencies": {
18+
"@monaco-editor/react": "^4.7.0",
19+
"classnames": "^2.5.1",
20+
"lz-string": "^1.5.0",
21+
"monaco-editor": "^0.52.2",
22+
"react": "^19.0.0",
23+
"react-dom": "^19.0.0",
24+
"react-resizable-panels": "^2.1.7",
25+
"red_knot_wasm": "file:red_knot_wasm",
26+
"shared": "0.0.0",
27+
"smol-toml": "^1.3.1"
28+
},
29+
"overrides": {
30+
"@monaco-editor/react": {
31+
"react": "$react",
32+
"react-dom": "$react-dom"
33+
}
34+
}
35+
}

playground/knot/public/Ruff.png

563 KB
Loading
4.84 KB
Loading
1.16 KB
Loading
1.98 KB
Loading

playground/knot/public/favicon.ico

2.3 KB
Binary file not shown.

0 commit comments

Comments
 (0)