This is stars and forks stats for /leanprover-community/lean4-metaprogramming-book repository. As of 11 May, 2024 this repository has 145 stars and 33 forks.
A Lean 4 Metaprogramming Book Authors: Arthur Paulino, Damiano Testa, Edward Ayers, Evgenia Karunus, Henrik Böving, Jannis Limperg, Siddhartha Gadgil, Siddharth Bhat A PDF is available here for download (and is rebuilt on each change). Main Introduction Overview Expressions MetaM Syntax Macros Elaboration DSLs Tactics Cheat sheet Options Attributes Pretty Printing Solutions to exercises Introduction Overview Expressions MetaM Syntax Macros Elaboration DSLs Tactics Sources to extract material from: Material...
A Lean 4 Metaprogramming Book Authors: Arthur Paulino, Damiano Testa, Edward Ayers, Evgenia Karunus, Henrik Böving, Jannis Limperg, Siddhartha Gadgil, Siddharth Bhat A PDF is available here for download (and is rebuilt on each change). Main Introduction Overview Expressions MetaM Syntax Macros Elaboration DSLs Tactics Cheat sheet Options Attributes Pretty Printing Solutions to exercises Introduction Overview Expressions MetaM Syntax Macros Elaboration DSLs Tactics Sources to extract material from: Material...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| pikipity/what-to-eat | TclPython | 1 | 0 | 0 | 0 |
| abrown/thread-spawn | WebAssemblyPythonOCaml | 3 | +1 | 0 | 0 |
| AcademySoftwareFoundation/openvdb | C++MathematicaCMake | 2.2k | 0 | 584 | 0 |
| nomasystems/ndto | ErlangPython | 20 | +2 | 0 | 0 |
| cosmodesi/desi_cosmosim | FortranPythonC++ | 3 | 0 | 3 | 0 |
| aws-samples/amazon-bedrock-workshop | Jupyter NotebookPython | 339 | +40 | 139 | +26 |
| privacytrustlab/ml_privacy_meter | Jupyter NotebookPythonTeX | 484 | 0 | 85 | 0 |
| gebner/quote4 | LeanMakefile | 52 | 0 | 8 | 0 |
| dabeaz-course/python-mastery | Python | 9.7k | 0 | 1.4k | 0 |
| rany2/edge-tts | PythonShell | 2.1k | +30 | 244 | +3 |