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

caotic123/PomPom-Language

The cuteness implementation of a dependently typed language.

Visit GitHub
Haskell
193
5
2 contributors
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 caotic123/PomPom-Language 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 2026 – Oct 2026

Stars +0 in 3 months

01

Forks +0 in 3 months

01

Merged PRs 0 in 3 months

01

Trendshift Trendingthe best rank each month, on any day it made the top 25

Not in the Trendshift top 25 in this period

Aug 2026Sep 2026Oct 2026
The left and right arrow keys step from month to month; Home and End go to the first and the last

Stars, forks, merged pull requests and best Trendshift Trending rank, by month
MonthStars gainedForks gainedMerged PRs
August 2026+0+00
September 2026+0+00
October 2026+0+00
Total+0+00
  • 1#1 on the list
  • 7Best rank that month
  • Not trending

You might also like

Repositories close to caotic123/PomPom-Language
FeaturedAdvertise to 180K+ monthly visitors
Busbar

Control what AI can do before it acts

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

aya-prover/aya-dev

Java

A proof assistant and a dependently-typed language

36423

agda/agda

Haskell

Agda is a dependently typed programming language / interactive theorem prover.

2.9k426

idris-lang/Idris2

Idris

A purely functional programming language with first class types

3.1k414

rzk-lang/rzk

Haskell

An experimental proof assistant based on a type theory for synthetic ∞-categories.

30935

FStarLang/FStar

F*

A Proof-oriented Programming Language

3.1k261

brendanzab/language-garden

OCaml

A garden of small programming language implementations 🪴

34610

sdiehl/typechecker-zoo

Rust

A menagerie of cute implementations of modern typechecking algorithms

46319

standardml/twelf

Standard ML

The Twelf Programming Language

16222

rocq-prover/equations

Rocq Prover

A function definition package for Rocq

23657