OCamlPro/owi

24h trend summary

Trending score 0.52, activity score 1.39, stars gained +1, forks gained +0.

Latest metric snapshot

2026-06-05: 304 stars and 41 forks.

Similar repositories

1. 1. OCamlPro/owi

   Seamless bug-finding for C, C++, Go, Rust, Wasm and Zig

   GitHub repository with 304 stars and 41 forks.

   Trending score: 0.52; stars gained: +1; forks gained: +0.

   Language: OCaml

   Topics: ocaml, wasm, webassembly, interpreter, c, concolic-execution

2. 2. ocaml-multicore/eio

   Effects-based direct-style IO for multicore OCaml

   GitHub repository with 693 stars and 83 forks.

   Trending score: 0.09; stars gained: +0; forks gained: +0.

   Language: OCaml

   Topics: concurrency, effects, io, multicore, ocaml

3. 3. ocaml/dune

   A composable build system for OCaml.

   GitHub repository with 1,882 stars and 478 forks.

   Trending score: 0.05; stars gained: +0; forks gained: +2.

   Language: OCaml

   Topics: build, ocaml, opam, dune, jbuilder

4. 4. c-cube/tiny_httpd

   Minimal HTTP server written in direct style, with a small request router, compression, SSE, websockets.

   GitHub repository with 85 stars and 12 forks.

   Trending score: 0.04; stars gained: +0; forks gained: +0.

   Language: OCaml

   Topics: ocaml, http, threads, simplehttpserver, tiny, httpd

5. 5. ml-in-barcelona/server-reason-react

   Native implementation of React's Server-side rendering (SSR) and React Server Components (RSC) architecture for Reason and OCaml

   GitHub repository with 171 stars and 16 forks.

   Trending score: 0.04; stars gained: +0; forks gained: +0.

   Language: OCaml

   Topics: ocaml, reason, reason-react, melange, server-reason-react

6. 6. yannham/mechaml

   OCaml functional web scraping library

   GitHub repository with 93 stars and 6 forks.

   Trending score: 0.00; stars gained: +0; forks gained: +0.

   Language: OCaml

   Topics: web, scraping, ocaml, html

Trending in OCaml

1. 1. opengrep/opengrep

   🔎 Static code analysis engine to find security issues in code.

   GitHub repository with 2,648 stars and 218 forks.

   Trending score: 1.04; stars gained: +11; forks gained: +1.

   Language: OCaml

2. 2. jeong-sik/masc-mcp

   MASC - Multi-Agent Streaming Coordination in OCaml

   GitHub repository with 5 stars and 1 forks.

   Trending score: 0.55; stars gained: +0; forks gained: +0.

   Language: OCaml

3. 3. OCamlPro/owi

   Seamless bug-finding for C, C++, Go, Rust, Wasm and Zig

   GitHub repository with 304 stars and 41 forks.

   Trending score: 0.52; stars gained: +1; forks gained: +0.

   Language: OCaml

   Topics: ocaml, wasm, webassembly, interpreter, c, concolic-execution

4. 4. facebook/infer

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

   GitHub repository with 15,635 stars and 2,092 forks.

   Trending score: 0.49; stars gained: +2; forks gained: -1.

   Language: OCaml

   Topics: static-analysis, static-code-analysis, code-quality, java, c, cpp

5. 5. johnwhitington/camlpdf

   OCaml library for reading, writing and modifying PDF files

   GitHub repository with 230 stars and 33 forks.

   Trending score: 0.48; stars gained: +1; forks gained: +0.

   Language: OCaml

6. 6. jrh13/hol-light

   The HOL Light theorem prover

   GitHub repository with 535 stars and 94 forks.

   Trending score: 0.37; stars gained: +1; forks gained: +0.

   Language: OCaml

Trending topic: ocaml

1. 1. FStarLang/FStar

   A Proof-oriented Programming Language

   GitHub repository with 3,040 stars and 254 forks.

   Trending score: 0.87; stars gained: +3; forks gained: +0.

   Language: F*

   Topics: programming-language, verification, dependent-types, smt, theorem-proving, proof-assistant

2. 2. hazelgrove/hazel

   Hazel, a live functional programming environment with typed holes

   GitHub repository with 1,093 stars and 63 forks.

   Trending score: 0.58; stars gained: +1; forks gained: +0.

   Language: Reason

   Topics: editor, functional-programming, ocaml, elm, reasonml, holes

3. 3. OCamlPro/owi

   Seamless bug-finding for C, C++, Go, Rust, Wasm and Zig

   GitHub repository with 304 stars and 41 forks.

   Trending score: 0.52; stars gained: +1; forks gained: +0.

   Language: OCaml

   Topics: ocaml, wasm, webassembly, interpreter, c, concolic-execution

4. 4. ocaml-multicore/eio

   Effects-based direct-style IO for multicore OCaml

   GitHub repository with 693 stars and 83 forks.

   Trending score: 0.09; stars gained: +0; forks gained: +0.

   Language: OCaml

   Topics: concurrency, effects, io, multicore, ocaml

5. 5. nix-ocaml/nix-overlays

   OCaml-focused, custom nix-overlays

   GitHub repository with 118 stars and 34 forks.

   Trending score: 0.09; stars gained: +0; forks gained: +0.

   Language: Nix

   Topics: nix, ocaml, overlays

6. 6. ocaml/dune

   A composable build system for OCaml.

   GitHub repository with 1,882 stars and 478 forks.

   Trending score: 0.05; stars gained: +0; forks gained: +2.

   Language: OCaml

   Topics: build, ocaml, opam, dune, jbuilder