logical_verification_2020
Companion files for Logical Verification 2020–2021 at VU Amsterdam (by blanchette)
xregexp
Extended JavaScript regular expressions (by slevithan)
Our great sponsors
| logical_verification_2020 | xregexp | |
|---|---|---|
| 2 | 2 | |
| 88 | 3,117 | |
| - | - | |
| 0.0 | 4.8 | |
| over 1 year ago | 4 months ago | |
| Lean | JavaScript | |
| - | MIT License |
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.
xregexp
Posts with mentions or reviews of xregexp.
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
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.
-
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?
When comparing logical_verification_2020 and xregexp you can also consider the following projects:
Dictu - Dictu is a high-level dynamically typed, multi-paradigm, interpreted programming language.
ShnooTalk - ShnooTalk is a new programming language
unison - Unison file synchronizer