rocq-community/reduction-effects

A Coq plugin to add reduction side effects to some Coq reduction strategies [maintainers=@liyishuai,@JasonGross]

GitHub repository with 7 stars and 7 forks.

Language: Makefile

Topics: coq, coq-ci, coq-plugin, side-effects

Open provider repository

Latest metric snapshot

2026-06-05: 7 stars and 7 forks.

Trending in Makefile

  1. 1. buildroot/buildroot

    Buildroot, making embedded Linux easy. Note that this is not the official repository, but only a mirror. The official Git repository is at https://gitlab.com/buildroot.org/buildroot/. Do not open issues or file pull requests here.

    GitHub repository with 3,497 stars and 2,817 forks.

    Trending score: 1.01; stars gained: +10; forks gained: +5.

    Language: Makefile

  2. 2. Mattral/SIMD-Microkernels-for-ML-Workloads

    Lightweight C++ implementations of SIMD-optimized microkernels for ML primitives, with Python bindings, benchmark automation, and optional OpenMP support.

    GitHub repository with 11 stars and 4 forks.

    Trending score: 0.88; stars gained: +5; forks gained: +4.

    Language: Makefile

  3. 3. freebsd/freebsd-ports

    FreeBSD ports tree (read-only mirror)

    GitHub repository with 1,179 stars and 853 forks.

    Trending score: 0.76; stars gained: +5; forks gained: -1.

    Language: Makefile

  4. 4. awesome-selfhosted/awesome-selfhosted-data

    machine-readable data for https://awesome-selfhosted.net

    GitHub repository with 993 stars and 1,030 forks.

    Trending score: 0.72; stars gained: +3; forks gained: +4.

    Language: Makefile

  5. 5. canonical/ubuntu-server-documentation

    Documentation for Ubuntu Server: https://documentation.ubuntu.com/server/

    GitHub repository with 78 stars and 134 forks.

    Trending score: 0.51; stars gained: +1; forks gained: +1.

    Language: Makefile

  6. 6. geneontology/go-ontology

    Source ontology files for the Gene Ontology

    GitHub repository with 243 stars and 48 forks.

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

    Language: Makefile

    Topics: ontology, go, owl, obo, obofoundry, gene-ontology

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