vyos/vyos1x-config

OCaml library for parsing, manipulating, and exporting VyOS configs

GitHub repository with 10 stars and 14 forks.

Language: OCaml

Topics: vyos

Open provider repository

Latest metric snapshot

2026-06-05: 10 stars and 14 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: 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: consanguinity, database, family-tree, gedcom, genealogy, 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, ocaml, smart-contracts, tezos

  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,666 stars and 155 forks.

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

    Language: OCaml

    Topics: liquidsoap, streaming, webradio

Trending topic: vyos

  1. 1. Community-VyProjects/VyManager

    Centralized SDN controller to configure, deploy and monitor multi-site VyOS routers via a modern web interface

    GitHub repository with 287 stars and 34 forks.

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

    Language: TypeScript

    Topics: central-management, deployment, firewall, gui, monitoring, network-automation

  2. 2. vyos/vyos.vyos

    Ansible Network Collection for VyOS

    GitHub repository with 92 stars and 74 forks.

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

    Language: Python

    Topics: ansible-collection, vyos