facebook / infer
A static analyzer for Java, C, C++, and Objective-C
See what the GitHub community is most excited about today.
A static analyzer for Java, C, C++, and Objective-C
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
A composable build system for OCaml.
Binary Analysis Platform
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
OCaml Language Server Protocol implementation
OCaml code generator and runtime library for handling typed tree-sitter CSTs
FUSE filesystem over Google Drive
Adds static typing to JavaScript to improve developer productivity and code quality.
Performant type-checking for python.
Simple high-level language for writing Internet Computer canisters
Store the ATD/openapi/protobuf/... interfaces between semgrep components
OCaml bindings for Wasmer
The core OCaml system: compilers, runtime system, base libraries
An [option]-like type that incurs no allocation, without requiring a reserved value in the underlying type
Unison file synchronizer
Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
A code rewrite tool for structural search and replace that supports ~every language.