A static analyzer for Java, C, C++, and Objective-C
Repository Index
47,133 repositories indexed
1–24 of 208 · Most stars
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
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.
Unison file synchronizer
MirageOS is a library operating system that constructs unikernels
Binary Analysis Platform
Irmin is a distributed database that follows the same design principles as Git
A composable build system for OCaml.
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.
Context sensitive completion for OCaml in Vim and Emacs
Owl - OCaml Scientific Computing @ https://ocaml.xyz
Jane Street Capital's standard library overlay
Terraform without the state file bottleneck
Standard library for OCaml
Universal toplevel for OCaml
OCaml Language Server Protocol implementation
Sinatra like web toolkit for OCaml
An OCaml library for HTTP clients and servers using Lwt or Async
Effects-based direct-style IO for multicore OCaml
Auto-formatter for OCaml code
Parser combinators built for speed and memory efficiency
GraphQL servers in OCaml