We ( @art-w , @EmileTrotignon ) are pleased to announce the first release of Sherlodoc on opam! Sherlodoc is a search engine for OCaml documentation, which supports search by name, documentation and fuzzy type search (similar to Hoogle in the Haskell world). You can try it at doc.sherlocode.com on the…

doc.sherlocode.com is amazing. It has been my number 1 tool to search for the functions that I need, for a while now.

Amazing! Is there a plan to integrate it directly into ocaml.org OCaml Packages · Browse Community Packages ?

Yaya!!! :heart: Plus one to this!!! :heart: Just a point for the impact and utility of Sherlodoc and Sherlocode, Sherlocode ended up being invaluable for collecting benchmark programs for our publication Mostly Automated Proof Repair for Verified Libraries . Thanks so much to the Sherlodoc and Sher…

The one major thing that is needed to add Sherlodoc with ocaml.org is to implement indexing of new packages and new package versions, so that the search index stays up to date.

Wonderful! Have you considered compiling to Wasm with wasm_of_ocaml instead? We’ve seen some impressive performance gains there, ranging from 1.5x to 3x improvements in some cases.

Thanks everyone for your interest, it’s super motivating! There was a lot more work done by @EmileTrotignon that led to this release than listed in the announce (one of the secret improvement was to keep the database as small as possible for client-side usage, but also a ton of quality testing). An…

[ANN] Sherlodoc, a search engine for OCaml documentation

Ecosystem

UnixJunkie February 7, 2024, 1:11am 3

Thanks a lot for this kind of Hoogle for OCaml programmers; very useful !

Topic		Replies	Views
[ANN] Release of odoc 2.4.0 Ecosystem announce , odoc , search	4	678	March 18, 2024
Sorry, in-package search is not yet implemented, but this is where it's going to appear Ecosystem ocamlorg	5	706	April 14, 2023
Searching for functions Learning documentation	21	5164	April 30, 2019
[ANN] docs.ocaml.pro : an OCaml Documentation Hub Community announce , documentation	34	4633	April 28, 2021
Suggestions for ocaml documentation Community documentation , ocamlorg	84	7693	July 16, 2020

[ANN] Sherlodoc, a search engine for OCaml documentation

Related topics