savonet/ocaml-srt

OCaml bindings for the Secure, Reliable, Transport protocol library

GitHub repository with 10 stars and 1 forks.

Language: OCaml

Topics: ocaml, srt

Open provider repository

Latest metric snapshot

2026-06-05: 10 stars and 1 forks.

Similar repositories

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

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

  4. 4. ocaml/dune

    A composable build system for OCaml.

    GitHub repository with 1,882 stars and 478 forks.

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

    Language: OCaml

    Topics: build, dune, jbuilder, ocaml, opam

  5. 5. c-cube/tiny_httpd

    Minimal HTTP server written in direct style, with a small request router, compression, SSE, websockets.

    GitHub repository with 85 stars and 12 forks.

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

    Language: OCaml

    Topics: ocaml, http, threads, simplehttpserver, tiny, httpd

  6. 6. ml-in-barcelona/server-reason-react

    Native implementation of React's Server-side rendering (SSR) and React Server Components (RSC) architecture for Reason and OCaml

    GitHub repository with 171 stars and 16 forks.

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

    Language: OCaml

    Topics: ocaml, reason, reason-react, melange, server-reason-react

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: 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. FStarLang/FStar

    A Proof-oriented Programming Language

    GitHub repository with 3,041 stars and 254 forks.

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

    Language: F*

    Topics: programming-language, verification, dependent-types, smt, theorem-proving, proof-assistant

  3. 3. hazelgrove/hazel

    Hazel, a live functional programming environment with typed holes

    GitHub repository with 1,093 stars and 63 forks.

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

    Language: Reason

    Topics: editor, functional-programming, ocaml, elm, reasonml, holes

  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. davesnx/styled-ppx

    Type-safe styled components for ReScript, Melange and native with type-safe CSS

    GitHub repository with 413 stars and 34 forks.

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

    Language: Reason

    Topics: ocaml, css, styled, vscode-extension, reasonml, reason