Camelot

Apache-2.0OCaml2.0.1

A modular and fully-configurable OCaml linter and style checker for OCaml compiler versions 4.10.0 to 4.14.0.

46 stars6 forks0 contributors

Overview

A fully-modular OCaml style linter

Community-curated · Updated weekly · 100% open source

Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.

1 month ago

CreatedSince 2020

Auto-fetched 5 hours ago

Adds static typing to JavaScript to improve developer productivity and code quality.

A static analyzer for Java, C, C++, and Objective-C

SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.

Formal verification for OCaml, with Rocq