Tools for code analysis, visualizations, or style-preserving source transformation.
☆2,439Mar 27, 2019Updated 6 years ago
Alternatives and similar repositories for pfff
Users that are interested in pfff are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A static analyzer for Java, C, C++, and Objective-C☆15,544Updated this week
- Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems☆10,296Mar 8, 2026Updated 2 weeks ago
- Typed Regular Expressions☆180Dec 8, 2025Updated 3 months ago
- ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.☆7,361Updated this week
- Context sensitive completion for OCaml in Vim and Emacs☆1,673Mar 16, 2026Updated last week
- A curated collection of awesome OCaml tools, frameworks, libraries and articles.☆3,061Nov 5, 2025Updated 4 months ago
- Irmin is a distributed database that follows the same design principles as Git☆1,930Feb 26, 2026Updated 3 weeks ago
- Kythe is a pluggable, (mostly) language-agnostic ecosystem for building tools that work with code.☆2,097Updated this week
- Declarative terminal graphics for OCaml☆375Apr 6, 2024Updated last year
- The core OCaml system: compilers, runtime system, base libraries☆6,220Updated this week
- Jane Street Capital's standard library overlay☆1,219Jan 15, 2026Updated 2 months ago
- Implementation of the SPDY protocol in ocaml☆14Oct 2, 2011Updated 14 years ago
- Batteries Included project☆522Oct 7, 2025Updated 5 months ago
- Low-level Lisp for LLVM☆501May 15, 2016Updated 9 years ago
- Implementations of various type systems in OCaml.☆1,600Aug 31, 2015Updated 10 years ago
- Parser combinators built for speed and memory efficiency☆703Sep 12, 2024Updated last year
- MirageOS is a library operating system that constructs unikernels☆2,856Mar 11, 2026Updated last week
- opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git…☆1,340Feb 20, 2026Updated last month
- srclib is a polyglot code analysis library, built for hackability. It consists of language analysis toolchains (currently for Go and Java…☆937Sep 19, 2016Updated 9 years ago
- Cabal like system for OCaml☆129Oct 24, 2020Updated 5 years ago
- A modern editor with a backend written in Rust.☆19,843Mar 19, 2024Updated 2 years ago
- Writing Emacs plugin in OCaml☆283Jan 15, 2026Updated 2 months ago
- The Opa Language for Web Application Development☆1,265Sep 30, 2020Updated 5 years ago
- Multicore OCaml☆766Dec 9, 2022Updated 3 years ago
- A Proof-oriented Programming Language☆2,986Updated this week
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆324Jul 14, 2016Updated 9 years ago
- OCaml promises and concurrent I/O☆782Mar 14, 2026Updated last week
- A Haskell library that simplifies access to remote data, such as databases or web-based services.☆4,432Mar 15, 2026Updated last week
- Deprecated; use https://github.com/ocaml/ocaml instead☆19Feb 1, 2013Updated 13 years ago
- Optional compilation for OCaml☆68Jan 15, 2026Updated 2 months ago
- GitHub APIv3 OCaml bindings☆103Dec 19, 2025Updated 3 months ago
- An OCaml library for HTTP clients and servers using Lwt or Async☆773Jan 15, 2026Updated 2 months ago
- Adds static typing to JavaScript to improve developer productivity and code quality.☆22,217Updated this week
- Programming Language Theory λΠ☆5,328Dec 2, 2024Updated last year
- A REST toolkit for OCaml☆222Oct 19, 2021Updated 4 years ago
- Parsing, analyzing, and comparing source code across many languages☆9,054Apr 1, 2025Updated 11 months ago
- Caml-Shcaml: An Ocaml library for Unix shell programming☆70Aug 10, 2019Updated 6 years ago
- Pure OCaml Git format and protocol☆370May 14, 2025Updated 10 months ago
- A composable build system for OCaml.☆1,855Updated this week