caffeinelabs/motoko

Simple high-level language for writing Internet Computer canisters

GitHub repository with 588 stars and 126 forks.

Language: OCaml

Topics: internet-computer, motoko, motoko-language, programming-language

Open provider repository

Latest metric snapshot

2026-06-05: 588 stars and 126 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: compiler, functional-language, ocaml

  2. 2. opengrep/opengrep

    🔎 Static code analysis engine to find security issues in code.

    GitHub repository with 2,649 stars and 218 forks.

    Trending score: 1.04; stars gained: +11; forks gained: +1.

    Language: OCaml

  3. 3. jeong-sik/masc-mcp

    MASC - Multi-Agent Streaming Coordination in OCaml

    GitHub repository with 5 stars and 1 forks.

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

    Language: OCaml

  4. 4. facebook/infer

    A static analyzer for Java, C, C++, and Objective-C

    GitHub repository with 15,635 stars and 2,092 forks.

    Trending score: 0.49; stars gained: +2; forks gained: -1.

    Language: OCaml

    Topics: static-analysis, static-code-analysis, code-quality, java, c, cpp

  5. 5. jrh13/hol-light

    The HOL Light theorem prover

    GitHub repository with 535 stars and 94 forks.

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

    Language: OCaml

  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: internet-computer

  1. 1. dfinity/oisy-wallet

    A browser-based, multi-chain wallet hosted on the Internet Computer

    GitHub repository with 172 stars and 43 forks.

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

    Language: TypeScript

    Topics: blockchain, ethereum, internet-computer, wallet, erc20, bitcoin

  2. 2. dfinity/agent-rs

    A collection of libraries and tools for building software around the Internet Computer, in Rust.

    GitHub repository with 143 stars and 85 forks.

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

    Language: Rust

    Topics: rust, internet-computer, dfinity, agent, icp, blockchain

  3. 3. open-chat-labs/open-chat

    This is the main repository for the OpenChat application which runs on the Internet Computer

    GitHub repository with 203 stars and 71 forks.

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

    Language: Rust

    Topics: chat-application, internet-computer

  4. 4. dfinity/examples

    Example applications, microservices, and code samples for the Internet Computer

    GitHub repository with 611 stars and 436 forks.

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

    Language: Rust

    Topics: dfx, icp, blockchain, microservices, examples, internet-computer