Skip to content

art-w/sherlocode

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

24 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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.

About

Realtime grep for OCaml/Coq sources available on opam

Resources

License

Stars

Watchers

Forks

Languages