logical_verification_2020
luna
Our great sponsors
| logical_verification_2020 | luna | |
|---|---|---|
| 3 | 8 | |
| 97 | 140 | |
| - | - | |
| 0.0 | 0.0 | |
| over 3 years ago | over 1 year ago | |
| Lean | Clojure | |
| - | MIT License |
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
-
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.
luna
-
Lisp feature - domain specific language
https://github.com/AbhinavOmprakash/luna (creating RegEx without having to write RegEx)
- GitHub - AbhinavOmprakash/luna: A DSL that translates to regex
- Learn RegEx step by step, from zero to advanced
-
[ANN] London Clojurians Talk: Macrobrew: Clojure macros distilled (by Abhinav Omprakash)
Abhinav is the author of luna (https://github.com/AbhinavOmprakash/luna) a DSL and functionali. He is fascinated with functional programming, programming language design, and clojure's persistent data structures. When he is not writing code, he is probably writing about code on his blog.
- luna is a Domain specific language that translates to regex. It's an attempt to make regex more readable.
- Show HN: Luna is a Clojure Domain specific language that translates to regex
What are some alternatives?
unison - Unison file synchronizer
regal - Royally reified regular expressions
re-ext - Sometimes you want to compose regexs.
iregex - A way to write regex with objects instead of strings.
xregexp - Extended JavaScript regular expressions