This is stars and forks stats for /rzk-lang/rzk repository. As of 05 May, 2024 this repository has 154 stars and 3 forks.
Rzk proof assistant An experimental proof assistant for synthetic ∞-categories. https://rzk-lang.github.io About this project This project has started with the idea of bringing Riehl and Shulman's 2017 paper [1] to "life" by implementing a proof assistant based on their type theory with shapes. Currently an early prototype with an online playground is available. The current implementation is capable of checking various formalisations. Perhaps, the largest formalisations are available in two related...
Rzk proof assistant An experimental proof assistant for synthetic ∞-categories. https://rzk-lang.github.io About this project This project has started with the idea of bringing Riehl and Shulman's 2017 paper [1] to "life" by implementing a proof assistant based on their type theory with shapes. Currently an early prototype with an online playground is available. The current implementation is capable of checking various formalisations. Perhaps, the largest formalisations are available in two related...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
D3ch/hell | HTMLJavaScriptCSS | 38 | 0 | 47 | 0 |
shivammehta25/Matcha-TTS | Jupyter NotebookPythonOther | 168 | +33 | 20 | +4 |
opentofu/manifesto | HTMLCSSJavaScript | 35.9k | +63 | 1.1k | +2 |
godotengine/godot-website | HTMLCSSRuby | 221 | 0 | 123 | 0 |
Tencent/LightDiffusionFlow | JavaScriptPythonCSS | 426 | 0 | 15 | 0 |
faisalman/ua-parser-js | JavaScriptOther | 8.2k | +16 | 1.2k | +4 |
BeamMP/BeamMP | LuaJavaScriptHTML | 256 | 0 | 65 | 0 |
foomo/redirects | GoMakefile | 0 | 0 | 0 | 0 |
neurodebian/spm12 | MATLABMercuryTeX | 68 | 0 | 67 | 0 |
SebMadgwick/RFID_Eval_13_56MHz | Other | 3 | 0 | 16 | 0 |