A static analyzer for Java, C, C++, and Objective-C
Repository Index
55,140 visible repositories in the index
1–24 of 48 · Most stars
The core OCaml system: compilers, runtime system, base libraries
- ocaml
- compiler
- functional-language
magic-trace collects and displays high-resolution traces of what a process is doing
- intel
- x86
- visualizer
- tracing
The Rocq Prover is an interactive theorem prover, or proof assistant. 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.
- proof-assistant
- coq
- theorem-proving
- dependent-types
MirageOS is a library operating system that constructs unikernels
- mirageos
- unikernel
- xen
- kvm
Binary Analysis Platform
- binary-analysis
- reverse-engineering
- program-analysis
- static-analysis
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
- ida-plugin
- taint-analysis
- reverse-engineering
- disassembly
Owl - OCaml Scientific Computing @ https://ocaml.xyz
- matrix
- linear-algebra
- ndarray
- statistical-functions
Terraform without the state file bottleneck
- automation
- cloud-management
- devops
- github-actions
Effects-based direct-style IO for multicore OCaml
- concurrency
- effects
- io
- multicore
Batteries Included project
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
- ocaml
- stdlib
- data-structure
- portable
A modern supercompiler for call-by-value functional languages
Library for binding to C libraries using pure OCaml
Functional HTML scraping and rewriting with CSS in OCaml
C Intermediate Language
The Xapi Project's XenAPI Server
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
- ocaml
- wasm
- webassembly
- interpreter
Code coverage for OCaml and ReScript
- coverage
- ocaml
OCaml project generator.
- spin
- ocaml
- reason
- template
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension
Elm architecture and (V)DOM for OCaml
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.
Cram like framework for OCaml