semgrep / semgrep
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
See what the GitHub community is most excited about today.
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Imandra FIX Engine
IML-compatible version of the Ptime library
A static analyzer for Java, C, C++, and Objective-C
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
Elm-inspired decoders for Ocaml
Store the ATD/openapi/protobuf/... interfaces between semgrep components
OCaml bindings to Google Cloud Platform APIs
Extracted version of imandra's prelude
The core OCaml system: compilers, runtime system, base libraries
Test framework for OCaml
Unison file synchronizer
magic-trace collects and displays high-resolution traces of what a process is doing
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
OCaml code generator and runtime library for handling typed tree-sitter CSTs
A composable build system for OCaml.