bloomberg/crane

A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.

GitHub repository with 144 stars and 8 forks.

Language: C++

Topics: coq, cpp, rocq-prover, rocq, compiler, dependent-types, extraction, functional-programming, memory-safety, modern-cpp

Open provider repository

24h trend summary

Trending score 0.17, activity score 0.91, stars gained +0, forks gained +0.

Latest metric snapshot

2026-06-05: 144 stars and 8 forks.

Similar repositories

  1. 1. bloomberg/crane

    A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.

    GitHub repository with 144 stars and 8 forks.

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

    Language: C++

    Topics: coq, cpp, rocq-prover, rocq, compiler, dependent-types

Trending in C++

  1. 1. ggml-org/llama.cpp

    LLM inference in C/C++

    GitHub repository with 114,657 stars and 19,185 forks.

    Trending score: 4.40; stars gained: +304; forks gained: +99.

    Language: C++

    Topics: ggml

  2. 2. duckdb/duckdb

    DuckDB is an analytical in-process SQL database management system

    GitHub repository with 38,611 stars and 3,295 forks.

    Trending score: 3.50; stars gained: +40; forks gained: +6.

    Language: C++

    Topics: sql, database, olap, analytics, embedded-database

  3. 3. vllm-project/vllm-ascend

    Community maintained hardware plugin for vLLM on Ascend

    GitHub repository with 2,196 stars and 1,342 forks.

    Trending score: 3.25; stars gained: +16; forks gained: +22.

    Language: C++

    Topics: ascend, inference, llm, llm-serving, llmops, mlops

  4. 4. electron/electron

    :electron: Build cross-platform desktop apps with JavaScript, HTML, and CSS

    GitHub repository with 121,539 stars and 17,234 forks.

    Trending score: 3.02; stars gained: +16; forks gained: +2.

    Language: C++

    Topics: electron, javascript, c-plus-plus, html, css, chrome

  5. 5. ClickHouse/ClickHouse

    ClickHouse® is a real-time analytics database management system

    GitHub repository with 47,818 stars and 8,465 forks.

    Trending score: 2.96; stars gained: +53; forks gained: +10.

    Language: C++

    Topics: ai, analytics, big-data, clickhouse, cloud-native, cpp

  6. 6. LadybirdBrowser/ladybird

    Truly independent web browser

    GitHub repository with 63,750 stars and 3,075 forks.

    Trending score: 2.89; stars gained: +52; forks gained: +5.

    Language: C++

    Topics: browser, browser-engine

Trending topic: coq

  1. 1. jasmin-lang/jasmin

    Language for high-assurance and high-speed cryptography

    GitHub repository with 356 stars and 77 forks.

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

    Language: Rocq Prover

    Topics: compiler, language, coq

  2. 2. bloomberg/crane

    A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.

    GitHub repository with 144 stars and 8 forks.

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

    Language: C++

    Topics: coq, cpp, rocq-prover, rocq, compiler, dependent-types

  3. 3. SkyLabsAI/BRiCk

    Formalization of C++ for verification purposes.

    GitHub repository with 92 stars and 16 forks.

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

    Language: Rocq Prover

    Topics: coq, coq-formalization, coq-library, cplusplus, cplusplus-11, cplusplus-14

  4. 4. rocq-prover/vsrocq

    Visual Studio Code extension for Coq

    GitHub repository with 453 stars and 107 forks.

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

    Language: OCaml

    Topics: coq, vscode, vscode-extension, editor, vscodium, rocq