◉ Open Source Pulse
pmocz avatar
#31 today ▼ 7

pmocz/noether

Python Other Apache-2.0
View on GitHub View Trend

Automatically prove mathematical statements about your jax code in lean

Last active yesterday Created Aug 6, 2026
Stars
26
Today
+8
Forks
0
Quality
95/100
Momentum
20
First trending

Aug 7, 2026

first spotted on the list

Best rank

#31

highest position reached

Appearances

2

times on the trending list

Quality score

95

out of 100

Momentum

20

trend strength indicator

Star velocity

26

stars per day since creation

Activity — last 60 days

daily counts, collected every 6 hours
  • Stars
  • Forks
  • Merged PRs
  • Issues
  • Closed issues

Collecting activity data since launch — check back in a few days.

Star history

total stars per snapshot
18 20 22 24 26

Rank history

position on trending · lower is better
#1 #20 #38 Aug 7 Aug 7

Stars badge

Show current stars in your README or profile. Auto-updates every 6 hours.

pmocz/noether stars badge
Markdown
[![pmocz/noether](https://www.notionpulse.cc/api/badge/pmocz/noether.svg)](https://www.notionpulse.cc/repo/pmocz/noether)
HTML
<a href="https://www.notionpulse.cc/repo/pmocz/noether"><img src="https://www.notionpulse.cc/api/badge/pmocz/noether.svg" alt="pmocz/noether stars badge" /></a>

Repository of the Day

#31 Repository of the Day

Repository of the Week

#31 Repository of the Week

Repository of the Month

#31 Repository of the Month

Popular in Python

Related repos