OCaml C

Open-source OCaml projects categorized as C | Edit details
Related topics: #Java #CPP #Go #JavaScript #Python

Top 4 OCaml C Projects

  • infer

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

    Project mention: How to use Coq and C in practical software development for "verified C"? | reddit.com/r/C_Programming | 2022-03-28

    Also, a much more realistic approach would be to use static analyzers, such as fbinfer: https://fbinfer.com/

  • semgrep

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

    Project mention: Comby - Structural code search and replace for every language | news.ycombinator.com | 2022-05-17

    A more interesting comparison than with Coccinele is with semgrep (https://semgrep.dev/) since it also supports semantic/structural pattern matching over a number of languages, but also adds in a bunch of Boolean logic into the mix, as well as some more advanced semantic features like constant propagation.

    Curious whether the teams behind these tools are aware of each other? I suppose it's unlikely that they're not.

  • Scout APM

    Less time debugging, more time building. Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.

  • comby

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

    Project mention: How Our Engineering Team Used Python's AST to Patch 100,000s of Lines of Code | reddit.com/r/programming | 2021-06-06

    One tool that I know of like this is called Comby - https://github.com/comby-tools/comby

  • ramen

    A stream processing language and compiler for small-scale monitoring

    Project mention: High perf OSS comprehensive monitoring solution in the making, looking for testers | reddit.com/r/Monitoring | 2022-04-18

    It's called Ramen, it's OSS and its source code is on github

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). The latest post mention was on 2022-05-17.

OCaml C related posts


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

Project Stars
1 infer 13,291
2 semgrep 6,541
3 comby 1,686
4 ramen 13
Find remote jobs at our new job board 99remotejobs.com. There are 7 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives