This is stars and forks stats for /leanprover-community/lean-liquid repository. As of 28 Mar, 2024 this repository has 136 stars and 11 forks.
Liquid Tensor Experiment For the eponymous blogpost by Peter Scholze which started it all: see https://xenaproject.wordpress.com/2020/12/05/liquid-tensor-experiment/. The main aim of this community-owned repository is to digitise some mathematical definitions, theorem statements and theorem proofs. Digitisation, or formalisation, is a process where the source material, typically a mathematical textbook or a pdf file or website or video, is transformed into definitions in a target system consisting...
Liquid Tensor Experiment For the eponymous blogpost by Peter Scholze which started it all: see https://xenaproject.wordpress.com/2020/12/05/liquid-tensor-experiment/. The main aim of this community-owned repository is to digitise some mathematical definitions, theorem statements and theorem proofs. Digitisation, or formalisation, is a process where the source material, typically a mathematical textbook or a pdf file or website or video, is transformed into definitions in a target system consisting...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
revarbat/BOSL2 | OpenSCADOther | 616 | +1 | 87 | 0 |
jaredtao/TaoQuick | QMLPowerShellCMake | 1.2k | 0 | 313 | 0 |
tidymodels/TMwR | RMarkdownRTeX | 537 | 0 | 232 | 0 |
twitter/scrooge | ScalaJavaMustache | 780 | 0 | 255 | 0 |
CBATeam/CBA_A3 | SQFC++Pawn | 350 | 0 | 143 | 0 |
TheBloodthirster/BUAA_Course_Sharing | MathematicaJavaMATLAB | 1.1k | +6 | 245 | +3 |
NixOS/nixos-hardware | NixRubyPython | 1.2k | +9 | 422 | +5 |
robbiehanson/CocoaAsyncSocket | Objective-CSwiftOther | 12.4k | 0 | 3k | 0 |
joeldev/JLRoutes | Objective-COther | 5.7k | +1 | 703 | 0 |
zoontek/react-native-permissions | Objective-CTypeScriptJava | 3.7k | 0 | 811 | 0 |