art-w/sherlocode
1
2
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
Realtime grep for OCaml/Coq sources available on opam
24 commits 1 branch 0 tags 98 KiB
  • OCaml 88%
  • CSS 10.5%
  • Dune 1%
  • Shell 0.5%
Find a file
Exact
art-w d87e61f4d5
 Merge pull request #11 from muzimuzhi/monospace-input 
Use monospace font for input text
2024-09-05 11:40:54 +02:00
db fix formatting 2023-06-18 11:17:09 +02:00
index fix formatting 2023-06-18 11:17:09 +02:00
regex regex: add range negation \[^..\] 2022-02-13 18:38:44 +01:00
scripts index: use cmdliner 2022-02-11 10:10:23 +01:00
static Use monospace font for input text 2024-09-05 04:45:15 +08:00
www fix formatting 2023-06-18 11:17:09 +02:00
.gitignore ship it 2022-02-09 01:25:09 +01:00
.ocamlformat ship it 2022-02-09 01:25:09 +01:00
dune-project www: upgrade dream 2022-02-14 02:06:12 +01:00
LICENSE ship it 2022-02-09 01:25:09 +01:00
README.md fix formatting 2023-06-18 11:17:09 +02:00
sherlocode.opam www: upgrade dream 2022-02-14 02:06:12 +01:00

README.md

Find it online at sherlocode.com for OCaml projects!

And at sherlocoq.sirref.org for Coq libraries! (thanks to patricoferris <3)

This is a straightforward implementation of Regular Expression Matching with a Trigram Index by Russ Cox. For each of the characters, bigrams and trigrams, we store the set of line numbers where they appear. To answer a query, we first approximate the regex by enumerating the ngrams that are required/optional: the intersection/union of their indexed set yields good line candidates against which we can match the query.