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

mathlingua/mathlingua

Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written, read, and understood by both people and computers.

Visit GitHub
Rust
71
1
3 contributors
Apache License 2.0
website
FeaturedAdvertise to 180K+ monthly visitors
Bifrost

Fastest Enterprise AI Gateway for Routing, Governing, and Securing all your AI Traffic

Momentum

How fast mathlingua/mathlingua 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

Jan 2025 – Oct 2026

Stars +0 in 22 months

01

Forks +1 in 22 months

01
1

Merged PRs 1 in 22 months

01
1

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

Not in the Trendshift top 25 in this period

Jan 2025Apr 2025Jul 2025Oct 2025Jan 2026Apr 2026Jul 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
January 2025+0+10
February 2025+0+00
March 2025+0+00
April 2025+0+00
May 2025+0+00
June 2025+0+00
July 2025+0+00
August 2025+0+00
September 2025+0+00
October 2025+0+00
November 2025+0+00
December 2025+0+00
January 2026+0+00
February 2026+0+00
March 2026+0+00
April 2026+0+00
May 2026+0+01
June 2026+0+00
July 2026+0+00
August 2026+0+00
September 2026+0+00
October 2026+0+00
Total+0+11
  • 1#1 on the list
  • 7Best rank that month
  • Not trending

You might also like

Repositories close to mathlingua/mathlingua
FeaturedAdvertise to 180K+ monthly visitors
Bifrost

Fastest Enterprise AI Gateway for Routing, Governing, and Securing all your AI Traffic

naproche/naproche

TeX

Write formal proofs in natural language and LaTeX.

539

facebookresearch/autoform-bot

Python

Autoform Bot

12934

impermeable/rocq-waterproof

Rocq Prover

The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.

5219

scottnarmstrong/LeanAutoformalizationSkills

Python

Portable Lean 4 autoformalization skills for Codex and Claude Code

567

ulamai/ulamai

Python

UlamAI is an open-source Lean theorem prover and formalizer.

1628

nbro/understanding-math

Links to resources talking about how to learn & understand mathematics, and mathematical language, terminology and notation.

1.3k96

openai/math

Lean
15.5k1.8k

litexlang/golitex

Rust

Litex: write math, get formalized code. Because the math already is.

67810

frenzymath/Danus

Python

Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory

48882