Bleuje/ocaml-4dmaze-render

Rendering 4d mazes with OCaml

GitHub repository with 5 stars and 0 forks.

Language: OCaml

Open provider repository

Latest metric snapshot

2026-06-05: 5 stars and 0 forks.

Similar repositories

  1. 1. ocaml/ocaml

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

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

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

    Language: OCaml

    Topics: ocaml, compiler, functional-language

  2. 2. oxcaml/oxcaml

    OCaml - Oxidized!

    GitHub repository with 760 stars and 151 forks.

    Trending score: 0.81; stars gained: +3; forks gained: +2.

    Language: OCaml

  3. 3. rocq-prover/rocq

    The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

    GitHub repository with 5,471 stars and 733 forks.

    Trending score: 0.60; stars gained: +3; forks gained: +1.

    Language: OCaml

    Topics: coq, dependent-types, proof-assistant, theorem-proving

  4. 4. geneweb/geneweb

    GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.

    GitHub repository with 378 stars and 116 forks.

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

    Language: OCaml

    Topics: genealogy, software, web, database, family-tree, graph

  5. 5. tezos/tezos-mirror

    Github test mirror of the Octez software. Please do not submit pull-requests here!

    GitHub repository with 113 stars and 40 forks.

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

    Language: OCaml

    Topics: blockchain, tezos, ocaml, smart-contracts

  6. 6. savonet/liquidsoap

    Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.

    GitHub repository with 1,667 stars and 155 forks.

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

    Language: OCaml

    Topics: liquidsoap, streaming, webradio

Trending in OCaml

  1. 1. ocaml/ocaml

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

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

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

    Language: OCaml

    Topics: ocaml, compiler, functional-language

  2. 2. oxcaml/oxcaml

    OCaml - Oxidized!

    GitHub repository with 760 stars and 151 forks.

    Trending score: 0.81; stars gained: +3; forks gained: +2.

    Language: OCaml

  3. 3. rocq-prover/rocq

    The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

    GitHub repository with 5,471 stars and 733 forks.

    Trending score: 0.60; stars gained: +3; forks gained: +1.

    Language: OCaml

    Topics: coq, dependent-types, proof-assistant, theorem-proving

  4. 4. geneweb/geneweb

    GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.

    GitHub repository with 378 stars and 116 forks.

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

    Language: OCaml

    Topics: genealogy, software, web, database, family-tree, graph

  5. 5. tezos/tezos-mirror

    Github test mirror of the Octez software. Please do not submit pull-requests here!

    GitHub repository with 113 stars and 40 forks.

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

    Language: OCaml

    Topics: blockchain, tezos, ocaml, smart-contracts

  6. 6. savonet/liquidsoap

    Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.

    GitHub repository with 1,667 stars and 155 forks.

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

    Language: OCaml

    Topics: liquidsoap, streaming, webradio