SauersML/Descent — GitHub trending stats & insights | Trendshift

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

What they build speaks louder than words

© 2026 Trendshift, created by Julian Li with ❤️

Signal Advertise

Signal Advertise

Discover trends that matter

Daily Weekly Monthly Yearly

Live mentions Topics

Repositories Developers

SauersML/Descent — GitHub trending stats & insights | Trendshift

Featured

SauersML/Descent

A Lean 4 formalization of genetics, with simulation-based validation

Lean

3 contributors

Apache License 2.0

Social mentions

Recent discussions about this repository across the web

If you want to vibe code some Lean for biology for fun, feel free to use this new project. Link in comments.

@Sauers_ · x.com

Repository activities

repository's daily and monthly activities across stars, forks, merged PRs, issues, and closed issues

Featured

open-source connector gateway for AI agents

150K+ monthly visitors

Want to advertise your product to high-intent tech audiences at a simple, flat rate?

Advertise on Trendshift