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
Sorting:
- A static analyzer for Java, C, C++, and Objective-C☆15,527Updated this week
- Context sensitive completion for OCaml in Vim and Emacs☆1,669Feb 23, 2026Updated last week
- ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.☆7,335Updated this week
- Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems☆10,293Feb 22, 2026Updated last week
- Typed Regular Expressions☆181Dec 8, 2025Updated 2 months ago
- A curated collection of awesome OCaml tools, frameworks, libraries and articles.☆3,051Nov 5, 2025Updated 3 months ago
- Irmin is a distributed database that follows the same design principles as Git☆1,926Updated this week
- Jane Street Capital's standard library overlay☆1,208Jan 15, 2026Updated last month
- Kythe is a pluggable, (mostly) language-agnostic ecosystem for building tools that work with code.☆2,094Jan 13, 2026Updated last month
- Implementations of various type systems in OCaml.☆1,598Aug 31, 2015Updated 10 years ago
- The core OCaml system: compilers, runtime system, base libraries☆6,197Updated this week
- Cabal like system for OCaml☆128Oct 24, 2020Updated 5 years ago
- Declarative terminal graphics for OCaml☆374Apr 6, 2024Updated last year
- A Proof-oriented Programming Language☆2,975Feb 24, 2026Updated last week
- A modern editor with a backend written in Rust.☆19,846Mar 19, 2024Updated last year
- A Haskell library that simplifies access to remote data, such as databases or web-based services.☆4,428Oct 21, 2025Updated 4 months ago
- Low-level Lisp for LLVM☆501May 15, 2016Updated 9 years ago
- opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git…☆1,333Feb 20, 2026Updated last week
- MirageOS is a library operating system that constructs unikernels☆2,848Feb 24, 2026Updated last 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
- Parser combinators built for speed and memory efficiency☆699Sep 12, 2024Updated last year
- The Opa Language for Web Application Development☆1,265Sep 30, 2020Updated 5 years ago
- srclib is a polyglot code analysis library, built for hackability. It consists of language analysis toolchains (currently for Go and Java…☆936Sep 19, 2016Updated 9 years ago
- OCaml promises and concurrent I/O☆779Updated this week
- Batteries Included project☆520Oct 7, 2025Updated 4 months ago
- A composable build system for OCaml.☆1,847Updated this week
- Parsing, analyzing, and comparing source code across many languages☆9,054Apr 1, 2025Updated 11 months ago
- C to Rust translator☆2,182Mar 10, 2019Updated 6 years ago
- A REST toolkit for OCaml☆222Oct 19, 2021Updated 4 years ago
- Programming Language Theory λΠ☆5,325Dec 2, 2024Updated last year
- Pony is an open-source, actor-model, capabilities-secure, high performance programming language☆6,045Updated this week
- Record and Replay Framework☆10,393Feb 22, 2026Updated last week
- pfff is mainly an OCaml API to write static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source…☆183Feb 5, 2026Updated 3 weeks ago
- Adds static typing to JavaScript to improve developer productivity and code quality.☆22,213Updated this week
- Distributed code review system for Git repos☆5,298Aug 12, 2023Updated 2 years ago
- An OCaml library for HTTP clients and servers using Lwt or Async☆771Jan 15, 2026Updated last month
- A compile time transformation from JavaScript to OCaml, along with an OCaml implementation of the JavaScript builtin library.☆454Apr 12, 2017Updated 8 years ago
- 🏞 an OCaml compiler for an untyped lisp☆633Mar 31, 2015Updated 10 years ago
- A statically typed lisp, without a GC, for real-time applications.☆5,824Updated this week