regal
logical_verification_2020
Our great sponsors
regal | logical_verification_2020 | |
---|---|---|
5 | 3 | |
325 | 97 | |
2.5% | - | |
1.5 | 0.0 | |
9 days ago | over 3 years ago | |
Clojure | Lean | |
Mozilla Public License 2.0 | - |
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.
regal
-
RegEx gotchas? Looking for clarity/verification.
In Clojure this would be lambdaisland's regal
-
Melody - A language that compiles to regular expressions and aims to be more easily readable and maintainable
Another take on the same idea. https://github.com/lambdaisland/regal
-
luna is a Domain specific language that translates to regex. It's an attempt to make regex more readable.
regal might fit your style more then.
- Show HN: Luna is a Clojure Domain specific language that translates to regex
logical_verification_2020
-
The Hitchhiker’s Guide to Logical Verification [pdf]
heh, I like their syllabus format (linked from the first page of the PDF): https://lean-forward.github.io/logical-verification/2020/
also, to save one the trouble of url surgery here is the actual GH repo which contains what is labeled a "tablet" version of the PDF along with solutions exercises: https://github.com/blanchette/logical_verification_2020 (unlicensed)
-
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.
What are some alternatives?
melody - Melody is a language that compiles to regular expressions and aims to be more readable and maintainable
unison - Unison file synchronizer
luna - A DSL that translates to regex
re-ext - Sometimes you want to compose regexs.
xregexp - Extended JavaScript regular expressions