This is stars and forks stats for /EdAyers/WidgetKit repository. As of 29 Apr, 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 |
---|---|---|---|---|---|
ai-ku/childes-pos | MaxTeXC | 0 | 0 | 4 | 0 |
thecodeholic/laravel-vue-ecommerce | PHPVueBlade | 371 | 0 | 110 | 0 |
reason-seoul/rescript-7guis | ReScriptHTMLJavaScript | 14 | 0 | 2 | 0 |
actuallymentor/battery | JavaScriptShell | 1.9k | 0 | 77 | 0 |
farazsth98/real-world-ethereum-hacks-remastered | SolidityTypeScriptPython | 24 | 0 | 0 | 0 |
xijaja/love-you | SvelteTypeScript | 15 | 0 | 13 | 0 |
harshmangalam/sveltekit-video-meet | SvelteJavaScriptTypeScript | 25 | 0 | 2 | 0 |
xiaoweiChen/Modern-CMake-for-Cpp | TeX | 146 | 0 | 17 | 0 |
mvsros/book | TeX | 14 | 0 | 29 | 0 |
etracslgurepo/etracs255-server-workshop-muni | TSQLHTMLGroovy | 2 | 0 | 0 | 0 |