CatalaLang/catala

Programming language for literate programming law specification

GitHub repository with 2,304 stars and 101 forks.

Language: OCaml

Topics: programming-language, legislative-texts

Open provider repository

Latest metric snapshot

2026-06-05: 2,304 stars and 101 forks.

Trending in OCaml

  1. 1. opengrep/opengrep

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

    GitHub repository with 2,648 stars and 218 forks.

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

    Language: OCaml

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

  3. 3. OCamlPro/owi

    Seamless bug-finding for C, C++, Go, Rust, Wasm and Zig

    GitHub repository with 304 stars and 41 forks.

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

    Language: OCaml

    Topics: ocaml, wasm, webassembly, interpreter, c, concolic-execution

  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. johnwhitington/camlpdf

    OCaml library for reading, writing and modifying PDF files

    GitHub repository with 230 stars and 33 forks.

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

    Language: OCaml

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

Trending topic: programming-language

  1. 1. golang/go

    The Go programming language

    GitHub repository with 134,282 stars and 19,098 forks.

    Trending score: 2.97; stars gained: +45; forks gained: +3.

    Language: Go

    Topics: programming-language, language, go, golang

  2. 2. JetBrains/kotlin

    The Kotlin Programming Language.

    GitHub repository with 52,806 stars and 6,324 forks.

    Trending score: 2.08; stars gained: +9; forks gained: +6.

    Language: Kotlin

    Topics: kotlin, programming-language, compiler, gradle-plugin, maven-plugin, kotlin-library

  3. 3. odin-lang/Odin

    Odin Programming Language

    GitHub repository with 10,566 stars and 973 forks.

    Trending score: 1.68; stars gained: +30; forks gained: +5.

    Language: Odin

    Topics: odin-programming-language, odin, language, compiler, odin-lang, programming-language

  4. 4. JuliaLang/julia

    The Julia Programming Language

    GitHub repository with 48,745 stars and 5,783 forks.

    Trending score: 1.16; stars gained: +15; forks gained: +0.

    Language: Julia

    Topics: julia-language, julia, scientific, hpc, numerical, machine-learning

  5. 5. dart-lang/sdk

    The Dart SDK, including the VM, JS and Wasm compilers, analysis, core libraries, and more.

    GitHub repository with 11,173 stars and 1,823 forks.

    Trending score: 0.97; stars gained: +7; forks gained: +2.

    Language: Dart

    Topics: dart, language, programming-language, sdk

  6. 6. tauraro/tauraro

    A compiled, statically-typed programming language with Python-style syntax, Rust-level performance, and full bilingual (English + Hausa) keyword support.

    GitHub repository with 42 stars and 11 forks.

    Trending score: 0.95; stars gained: +8; forks gained: +1.

    Language: C

    Topics: easy, friendly, native, programming-language, systems-programming, very-fast