logical_verification_2020
Companion files for Logical Verification 2020–2021 at VU Amsterdam (by blanchette)
re-ext
Sometimes you want to compose regexs. (by coltnz)
Our great sponsors
| logical_verification_2020 | re-ext | |
|---|---|---|
| 2 | 1 | |
| 88 | 4 | |
| - | - | |
| 0.0 | 10.0 | |
| over 1 year ago | over 4 years ago | |
| Lean | Clojure | |
| - | Eclipse Public License 1.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.
logical_verification_2020
Posts with mentions or reviews of logical_verification_2020.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-11-14.
-
Show HN: Luna is a Clojure Domain specific language that translates to regex
https://github.com/blanchette/logical_verification_2020/raw/...
Benjamin Pierce: Backtracking Generators for Random Testing
-
Types and Programming Languages (2002)
A recent book in the same vein: The Hitchhiker's Guide to Logical Verification
https://github.com/blanchette/logical_verification_2020
This is a tipping point work making the case that type theory is like a musician reading sheet music. Sure, the Beatles couldn't, but... Anyone developing a new programming language should understand languages at the level of Lean, even if the common uses of their constructs aren't theorem proving. The analogies are mind-blowing. Monadic parsing is the same thing as meta-programming tactics? I'm still wrapping my head arond that one.
re-ext
Posts with mentions or reviews of re-ext.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-11-14.
What are some alternatives?
When comparing logical_verification_2020 and re-ext you can also consider the following projects:
unison - Unison file synchronizer