microsoft / infersharp
Infer# is an interprocedural and scalable static code analyzer for C#. Via the capabilities of Facebook's Infer, this tool detects null pointer dereferences and resource leak.
See what the GitHub community is most excited about today.
Infer# is an interprocedural and scalable static code analyzer for C#. Via the capabilities of Facebook's Infer, this tool detects null pointer dereferences and resource leak.
A static analyzer for Java, C, C++, and Objective-C
The compiler for ReScript.
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
Adds static typing to JavaScript to improve developer productivity and code quality.
The core OCaml system: compilers, runtime system, base libraries
Binary Analysis Platform
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.
Declarative definition of command line interfaces for OCaml
Backport new syntax to older compilers
Ensure dune and opam dependencies are consistent
pfff is mainly an OCaml API to write static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source-to-source transformations such as refactorings on source code.
Unison file synchronizer
FUSE filesystem over Google Drive
Hardcaml is an OCaml library for designing hardware.
We use optional third-party analytics cookies to understand how you use GitHub.com so we can build better products. Learn more.
We use optional third-party analytics cookies to understand how you use GitHub.com so we can build better products.
You can always update your selection by clicking Cookie Preferences at the bottom of the page.
For more information, see our Privacy Statement.
We use essential cookies to perform essential website functions, e.g. they're used to log you in. Learn more
We use analytics cookies to understand how you use our websites so we can make them better, e.g. they're used to gather information about the pages you visit and how many clicks you need to accomplish a task. Learn more