lean4-metaprogramming-book
By leanprover-community
batteries
The "batteries included" extended library for the Lean programming language and theorem prover (by leanprover-community)
lean4-metaprogramming-book | batteries | |
---|---|---|
1 | 1 | |
203 | 210 | |
3.9% | 7.1% | |
8.0 | 9.7 | |
about 1 month ago | 3 days ago | |
Lean | Lean | |
Apache License 2.0 | Apache License 2.0 |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
lean4-metaprogramming-book
Posts with mentions or reviews of lean4-metaprogramming-book.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-05-30.
-
Macro-ts: TypeScript compiler with typesafe syntactic macros (2022)
Lean4 manages to pull off changing the parser on the fly at compile time. You can add new productions, add new syntax node types, and add new tokens. Then define macros or code to process the additional syntax. Here is a sample I found that adds a simple JSX-like syntax starting around line 93 and then uses it at line 169:
https://github.com/leanprover/lean4/blob/master/tests/playgr...
I believe most of the language is defined this way, although it is pre-compiled.
For more details see the lean4 metaprogramming book: https://github.com/arthurpaulino/lean4-metaprogramming-book
batteries
Posts with mentions or reviews of batteries.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2024-03-20.
What are some alternatives?
When comparing lean4-metaprogramming-book and batteries you can also consider the following projects:
lean4-mode - Emacs major mode for Lean 4
mathlib4 - The math library of Lean 4
lean4-raytracer - A simple raytracer written in Lean 4
lean4 - Lean 4 programming language and theorem prover