OCaml program-analysis

Open-source OCaml projects categorized as program-analysis

Top 3 OCaml program-analysis Projects

program-analysis
  • pyre-check

    Performant type-checking for python.

    Project mention: Pylyzer – A fast static code analyzer and language server for Python | news.ycombinator.com | 2024-04-11

    Did you come across pyre in your search? MIT license and pretty fast.

    https://github.com/facebook/pyre-check

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
  • bap

    Binary Analysis Platform

  • mazeppa

    A modern supercompiler for call-by-value functional languages

    Project mention: Mazeppa: A modern supercompiler for call-by-value functional languages | news.ycombinator.com | 2024-07-12
NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

OCaml program-analysis discussion

Log in or Post with

OCaml program-analysis related posts

  • Hacktoberfest and open-source security

    2 projects | /r/hacktoberfest | 12 Oct 2021
  • Starting ocaml

    1 project | /r/ocaml | 20 Jun 2021

Index

What are some of the best open-source program-analysis projects in OCaml? This list will help you:

Project Stars
1 pyre-check 6,821
2 bap 2,056
3 mazeppa 367

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com

Did you konow that OCaml is
the 41st most popular programming language
based on number of metions?