This is stars and forks stats for /EdAyers/ProofWidgets4 repository. As of 05 May, 2024 this repository has 56 stars and 10 forks.
ProofWidgets ProofWidgets is a library of user interface components for Lean 4. It supports: symbolic visualizations of mathematical objects and data structures data visualization interfaces for tactics and tactic modes alternative and domain-specific goal state displays user interfaces for entering expressions and editing proofs Authors: Wojciech Nawrocki, E.W.Ayers with contributions from Tomáš Skřivan How does ProofWidgets relate to user widgets? ProofWidgets relies on the user widgets mechanism...
ProofWidgets ProofWidgets is a library of user interface components for Lean 4. It supports: symbolic visualizations of mathematical objects and data structures data visualization interfaces for tactics and tactic modes alternative and domain-specific goal state displays user interfaces for entering expressions and editing proofs Authors: Wojciech Nawrocki, E.W.Ayers with contributions from Tomáš Skřivan How does ProofWidgets relate to user widgets? ProofWidgets relies on the user widgets mechanism...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| JSv4/Delphic | PythonTypeScriptShell | 258 | 0 | 46 | 0 |
| mca91/EconometricsWithR | RHTMLTeX | 416 | 0 | 253 | 0 |
| ices-taf-dev/ices_cat_3_template | RTeX | 0 | 0 | 6 | 0 |
| WillKre/create-svelte-chatgpt | SvelteJavaScriptTypeScript | 45 | 0 | 11 | 0 |
| SyMind/netease-cloud-music | SvelteSCSSTypeScript | 24 | 0 | 2 | 0 |
| eliben/wasm-wat-samples | WebAssemblyJavaScriptC | 89 | 0 | 4 | 0 |
| SamurAIGPT/Camel-AutoGPT | JavaScriptPythonCSS | 1k | 0 | 84 | 0 |
| nbd-wtf/soma | ScalaJavaScriptDockerfile | 48 | 0 | 6 | 0 |
| cedricr/100joursdezbeul | SvelteTypeScriptJavaScript | 71 | 0 | 21 | 0 |
| okikio/inthistweet | SvelteTypeScriptAstro | 142 | 0 | 10 | 0 |