Logical_verification_2020 Alternatives

Similar projects and alternatives to logical_verification_2020

unison

1 2,230 8.4 OCaml logical_verification_2020 VS unison

Unison file synchronizer (by bcpierce00)
xregexp

1 3,079 6.1 JavaScript logical_verification_2020 VS xregexp

Extended JavaScript regular expressions
Scout APM

scoutapm.com
sponsored

Less time debugging, more time building. Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.
regal

1 282 7.5 Clojure logical_verification_2020 VS regal

Royally reified regular expressions
luna

1 121 6.7 Clojure logical_verification_2020 VS luna

A DSL that translates to regex (by AbhinavOmprakash)
re-ext

1 2 10.0 Clojure logical_verification_2020 VS re-ext

Sometimes you want to compose regexs.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better logical_verification_2020 alternative or higher similarity.

Suggest an alternative to logical_verification_2020

Reviews and mentions

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
5 projects | news.ycombinator.com | 14 Nov 2021

https://github.com/blanchette/logical_verification_2020/raw/...
Benjamin Pierce: Backtracking Generators for Random Testing
Types and Programming Languages (2002)
2 projects | news.ycombinator.com | 10 Nov 2021

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.