bisect_ppx VS pyre-check

Compare bisect_ppx vs pyre-check and see what are their differences.

Our great sponsors
  • Scout APM - Less time debugging, more time building
  • OPS - Build and Run Open Source Unikernels
  • SonarQube - Static code analysis for 29 languages.
bisect_ppx pyre-check
1 12
239 5,748
- 1.0%
8.7 9.9
8 days ago about 22 hours ago
OCaml OCaml
MIT License MIT License
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.


Posts with mentions or reviews of bisect_ppx. We have used some of these posts to build our list of alternatives and similar projects.
  • Debugging/Profiling/VM library for Ocaml.
    1 project | | 21 Sep 2021
    It's not so clear to me what you want, the following come to mind: - if you want to "inspect the recursive calls" of a recursive function, you may not need any instrumentation: you can turn your function in open-recursion style, and provide a fixpoint combinator that does the inspection (see code below) - if you want to instrument the code globally, one easier-than-most approach is to use a ppx preprocessor to instrument the code (this assumes that the logic you want can be expressed as a slight modification of the user-written code), see ppx_bisect (code-coverage instrumentation) for example.


Posts with mentions or reviews of pyre-check. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-11-30.

What are some alternatives?

When comparing bisect_ppx and pyre-check you can also consider the following projects:

mypy - Optional static typing for Python

pytype - A static type analyzer for Python code

pyright - Static type checker for Python

typeshed - Collection of library stubs for Python, with static types


typing - Python static typing home. Contains the source for typing_extensions and the documentation. Also hosts a user help forum.

psst - Fast and multi-platform Spotify client with native GUI

librespot - Open Source Spotify client library

mamba - The Fast Cross-Platform Package Manager

isort - A Python utility / library to sort imports.

algoneer - The Algoneer Python library.

spot - Native Spotify client for the GNOME desktop