A static analyzer for Java, C, C++, and Objective-C

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

FUSE filesystem over Google Drive

A code rewrite tool for structural search and replace that supports ~every language.

Implementations of various type systems in OCaml.

Programming Languages Zoo

A functional programming language based on algebraic effect handlers

Multicore OCaml

🏞 an OCaml compiler for an untyped lisp

✨Cross-platform set of tools for building native UIs with Reason/OCaml

All the examples in Real World OCaml

C Intermediate Language

Declarative terminal graphics for OCaml

SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.

Jane Street's standard library overlay (kernel)

Higher-kinded programming in OCaml

Lem semantic definition language

Reagents for multicore OCaml

Abstract engine for text edition in OCaml

OCaml Math Library

Continuation Passing C

OCaml implementation of the K 2.0 array programming language

OCaml bindings for D3.js

Git mirror of https://bitbucket.org/runhello/emily

Persistent vectors for OCaml

*DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers

some hacks

Transformer-based models for Natural Language Processing in OCaml

A PPX extension for big array literals in OCaml