cryspen/hax

A Rust verification tool

GitHub repository with 416 stars and 58 forks.

Language: OCaml

Topics: formal-verification, rust

Open provider repository

Latest metric snapshot

2026-06-05: 416 stars and 58 forks.

Trending in OCaml

  1. 1. ocaml/ocaml

    The core OCaml system: compilers, runtime system, base libraries

    GitHub repository with 6,390 stars and 1,237 forks.

    Trending score: 1.39; stars gained: +28; forks gained: +2.

    Language: OCaml

    Topics: compiler, functional-language, ocaml

  2. 2. opengrep/opengrep

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

    GitHub repository with 2,649 stars and 218 forks.

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

    Language: OCaml

  3. 3. 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

  4. 4. 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

  5. 5. 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

  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: formal-verification

  1. 1. Robby955/FormalSLT

    Zero-sorry Lean 4 library: finite-sample SLT bounds, sharp McDiarmid, PAC-Bayes Bernstein margin shell, and Dudley chaining. Standard Lean/Mathlib axioms only.

    GitHub repository with 33 stars and 1 forks.

    Trending score: 0.90; stars gained: +7; forks gained: +0.

    Language: Lean

    Topics: lean4, machine-learning, mathematics, pac-learning, statistical-learning, theorem-proving

  2. 2. p-org/P

    The P programming language.

    GitHub repository with 3,622 stars and 218 forks.

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

    Language: C#

    Topics: asynchronous, programming-language, systematic-testing, event-driven, p, distributed-systems

  3. 3. jasisz/aver

    Aver is a programming language for auditable AI-written code

    GitHub repository with 47 stars and 0 forks.

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

    Language: Rust

    Topics: ai-code, dafny, effect-system, formal-verification, lean4, programming-language

  4. 4. AeneasVerif/charon

    Analyze Rust crates without touching compiler internals

    GitHub repository with 357 stars and 43 forks.

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

    Language: Rust

    Topics: compiler, formal-methods, formal-verification, program-verification, rust, rust-lang

  5. 5. cryspen/libcrux

    The formally verified crypto library for Rust

    GitHub repository with 237 stars and 49 forks.

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

    Language: C

    Topics: cryptography, encryption, formal-verification, signatures

  6. 6. awslabs/AutoCorrode

    Verification infrastructure for the Isabelle/HOL interactive proof assistant

    GitHub repository with 87 stars and 17 forks.

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

    Language: Isabelle

    Topics: formal-verification, isabelle-hol, proof-automation, rust