Footer

Your go-to destination for discovering trending open-source projects and uncovering the insights that matter

Legal

  • Terms and conditions
  • Privacy policy

More

  • Pricing
  • Advertise
  • onedump
  • gosnakego
  • Contact us

Social

  • X (Twitter)
  • GitHub
Trendshift owl
What they build speaks louder than words
© 2026 Trendshift, created by Julian Li with ❤️
SignalAdvertise
Trendshift
SignalAdvertise
Sign in
Trendshift owl

Discover trends that matter

DailyWeeklyMonthlyYearly
Live mentionsTopics
RepositoriesDevelopers
InsightsStats
Bifrost
Bifrost
AxiomCode
AxiomCode
Busbar
Busbar

CatalaLang/catala

Programming language for literate programming law specification

Visit GitHub
OCaml
2.4k
115
48 contributors
Apache License 2.0
website
AchievementsView all →
FeaturedAdvertise to 180K+ monthly visitors
Bifrost

Enterprise AI Gateway Built For Scale: Route, Govern, and Secure All Your AI Traffic

AxiomCode

Give Al Agents a Deeper Understanding of Your Codebase with a Code Graph

Busbar

Control what AI can do before it acts

Momentum

How fast CatalaLang/catala is gaining stars, and where it lands on Trendshift and GitHub Trending

Activity and trending

Stars, forks and merged pull requests each day or month, lined up with the repository's rank on Trendshift Trending

Aug 20 – Oct 19, 2026

Stars +61 in 61 days

0510
7

Forks +9 in 61 days

012
2

Merged PRs 28 in 61 days

0246
5

Trendshift Trendingwhere the repository ranked each day it made the top 25

Top 25 in OCaml

1412222066418244517214101822116115191517213211512072819417
Aug 20Aug 28Sep 5Sep 13Sep 21Sep 29Oct 7Oct 15
The left and right arrow keys step from day to day; Home and End go to the first and the last

Stars, forks, merged pull requests and Trendshift Trending rank, by day
DayStars gainedForks gainedMerged PRsOCaml
Thu, Aug 20, 2026+1+00#14
Fri, Aug 21, 2026+1+00#12
Sat, Aug 22, 2026+0+00Not trending
Sun, Aug 23, 2026+0+10#22
Mon, Aug 24, 2026+0+01Not trending
Tue, Aug 25, 2026+0+01Not trending
Wed, Aug 26, 2026+1+01#20
Thu, Aug 27, 2026+2+02#6
Fri, Aug 28, 2026+0+00Not trending
Sat, Aug 29, 2026+1+10#6
Sun, Aug 30, 2026+2+00#4
Mon, Aug 31, 2026+0+00Not trending
Tue, Sep 1, 2026+0+01Not trending
Wed, Sep 2, 2026+1+00#18
Thu, Sep 3, 2026+0+00Not trending
Fri, Sep 4, 2026+1+00#24
Sat, Sep 5, 2026+2+00#4
Sun, Sep 6, 2026+2+00#5
Mon, Sep 7, 2026+1+01#17
Tue, Sep 8, 2026+0+02Not trending
Wed, Sep 9, 2026+3+01#2
Thu, Sep 10, 2026+1+10#14
Fri, Sep 11, 2026+0+00Not trending
Sat, Sep 12, 2026+0+00Not trending
Sun, Sep 13, 2026+0+00Not trending
Mon, Sep 14, 2026+1+01#10
Tue, Sep 15, 2026+1+00#18
Wed, Sep 16, 2026+1+00#22
Thu, Sep 17, 2026+2+01#1
Fri, Sep 18, 2026+1+00#16
Sat, Sep 19, 2026+1+10#11
Sun, Sep 20, 2026+0+00Not trending
Mon, Sep 21, 2026+1+00Not trending
Tue, Sep 22, 2026+2+01#5
Wed, Sep 23, 2026+1+00#19
Thu, Sep 24, 2026+0+00Not trending
Fri, Sep 25, 2026+1+01#15
Sat, Sep 26, 2026+1+10#17
Sun, Sep 27, 2026+1+00#21
Mon, Sep 28, 2026+3+11#3
Tue, Sep 29, 2026+0+02Not trending
Wed, Sep 30, 2026+1+24#21
Thu, Oct 1, 2026+0+01Not trending
Fri, Oct 2, 2026+0+00Not trending
Sat, Oct 3, 2026+1+10#15
Sun, Oct 4, 2026+7+00#1
Mon, Oct 5, 2026+1+00#20
Tue, Oct 6, 2026+0+00Not trending
Wed, Oct 7, 2026+2+00#7
Thu, Oct 8, 2026+4+00#2
Fri, Oct 9, 2026+2+00#8
Sat, Oct 10, 2026+0+00Not trending
Sun, Oct 11, 2026+1+00#19
Mon, Oct 12, 2026+0+00Not trending
Tue, Oct 13, 2026+0+00Not trending
Wed, Oct 14, 2026+0+00Not trending
Thu, Oct 15, 2026+3+01#4
Fri, Oct 16, 2026+1+05#17
Sat, Oct 17, 2026+2+00Not trending
Sun, Oct 18, 2026+0+00Not trending
Mon, Oct 19, 2026+0+00Not trending
Total+61+928
  • 1#1 on the list
  • 7Rank that day
  • Not trending

    • Mentions and achievements

    Where people are talking about CatalaLang/catala, and every badge it has earned
    1. Jun 291 post

      • For "unverifiable" domains, I think the world looks a lot trickier. Two approaches come to mind: 1. collapse the problem into something verifiable (e.g. all of law may be impossible, but contracts…

        Read full on X, posted by @asciimike

        @asciimike · x.com

    You might also like

    Repositories close to CatalaLang/catala
    FeaturedAdvertise to 180K+ monthly visitors
    AxiomCode

    Give Al Agents a Deeper Understanding of Your Codebase with a Code Graph

    Bifrost

    Enterprise AI Gateway Built For Scale: Route, Govern, and Secure All Your AI Traffic

    Busbar

    Control what AI can do before it acts

    publicodes/publicodes

    TypeScript

    Le langage pour les algorithmes d'intérêt public

    20842

    lawve-ai/awesome-legal-skills

    Python

    A curated list of awesome Agent Skills for automating legal work

    874121

    Vaquill-AI/awesome-legaltech

    A curated list of awesome LegalTech resources - open source platforms, AI models, MCP servers, companies, datasets, and tools for the global legal ecosystem.

    249130

    open-legal-products/mike

    TypeScript

    OSS Legal AI Platform

    4.4k1.5k

    cat-xierluo/legal-skills

    Python

    面向法律人的 Skills 集合。

    744111

    AnttiHero/lavern

    TypeScript

    An agentic law firm. Yours. 67 specialist AI agents that review documents through evidence-backed debate, with mandatory human gates and a 10-pass verification loop. Apache 2.0.

    313100

    rohasnagpal/legal-ai-skills

    JavaScript

    Set Up an AI-Powered Full-Service Law Firm in 90 Seconds

    18343

    michaleiatrak-star/Lex-Machina

    Python

    Analityka polskiego prawa, przygotowanie pism procesowych, weryfikacja przepisów prawa polskiego i orzecznictwa z oficjalnych źródeł z zakazem cytowania z pamięci, przygotowanie umów i ich weryfikacja wraz z analizą ryzyk.

    27650

    statedecoded/statedecoded

    PHP

    Legal codes, for humans.

    26948