1.lukaszcz / coqhammerCoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theorycoqhammerautomationproof-searchtheorem-proververification+3 moreOCamlOther license249 total39 forks+6 starsfrom 243 · score 1.95
2.robur-coop / miouA simple scheduler for OCaml 5effectsocamlparallelismschedulerOCamlMIT144 total14 forks+2 starsfrom 142 · score 1.10
3.aantron / lambdasoupFunctional HTML scraping and rewriting with CSS in OCamlscrapinghtmlsoupocamlcssOCamlMIT409 total35 forks+1 starsfrom 408 · score 0.69