logical_verification_2020
xregexp
Our great sponsors
logical_verification_2020 | xregexp | |
---|---|---|
3 | 3 | |
97 | 3,235 | |
- | - | |
0.0 | 0.0 | |
over 3 years ago | 5 months ago | |
Lean | JavaScript | |
- | 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.
xregexp
-
Regular Expression library to recommend?
Still, that hasn't stopped libraries appearing with extra features. I believe the most popular is XRegExp, but it's been a while since I checked.
-
Show HN: Luna is a Clojure Domain specific language that translates to regex
Completely agree. For js, xregexp [1] is a really nice long standing library that brings in these kind of enhancements and makes regular expressions a lot more readable.
[1] https://xregexp.com
-
October 2021 monthly "What are you working on?" thread
+ code literals for embedding other compiled languages, with built-in support for TypeScript/JavaScript (passthrough) and regular expressions (using XRegExp)
What are some alternatives?
unison - Unison file synchronizer
ShnooTalk - ShnooTalk is a new programming language
re-ext - Sometimes you want to compose regexs.
Dictu - Dictu is a high-level dynamically typed, multi-paradigm, interpreted programming language.
regal - Royally reified regular expressions
luna - A DSL that translates to regex
cish - Go + Generics + Sum Types