A static analyzer for Java, C, C++, and Objective-C
Repository Index
47,133 repositories indexed
1–22 of 22 · Most stars
MirageOS is a library operating system that constructs unikernels
- mirageos
- unikernel
- xen
- kvm
A composable build system for OCaml.
- build
- ocaml
- opam
- dune
OCaml Language Server Protocol implementation
package.json workflow for native development with Reason/OCaml
Auto-formatter for OCaml code
- ocaml
Pure OCaml Git format and protocol
- git
- ocaml
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
OCaml debug adapter
- debugger
- debug-adapter-protocol
- ocaml
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension
drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.
Typed Regular Expressions
- regex
- types
- gadt
- ocaml
OSnap is a snapshot testing tool, which mainly focuses on speed and ease of use.
- diff
- snapshot-testing
- testing
- snapshot
OCaml code generator plugin for the Cap'n Proto serialization framework
simple package build system for ocaml
A fully-modular OCaml style linter
OCaml build rules for Bazel
- ocaml
- bazel
- skylark
- bazel-rules
The MemCAD static analyzer
- abstract-interpretation
- static-analysis
- c
- shape-analysis
Pure OCaml implementation of libXdiff (Rabin's fingerprint)
A command-line tool to manage Github Issues
Example build system for making mixed C/Ocaml binaries where the main program is in C
Collect and view OSS cryptocurrency development.
- cryptocurrency
- open-source-software
- github
- software-metrics