creusot-rs/creusot — 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

onedump
gosnakego
Contact us

Social

X (Twitter)
GitHub

What they build speaks louder than words

© 2026 Trendshift, created by Julian Li with ❤️

Discover trends that matter

Daily Weekly Monthly Yearly

Live mentions Topics

Repositories Developers

creusot-rs/creusot — GitHub trending stats & insights | Trendshift

Featured

creusot-rs/creusot

#Static analysis

Creusot helps you prove your Rust code is correct.

Rust

1.8k

76

43 contributors

GNU Lesser General Public License v2.1

Social mentions

Recent discussions about this repository across the web

Creusot helps you prove your Rust code is correct (

@betterhn50 · x.com

How long until AI automates all cognitive labor? (

@betterhn20 · x.com

Creusot helps you prove your Rust code is correct #technews #TechNews

@techdaily24 · x.com

Creusot: a deductive verifier for Rust code. verifies code is safe from panics, overflows, and assertion failures. works by translating Rust code to Coma, an intermediate verification language of the…

@jreuben1 · x.com

No trending activity

This repository has not yet been featured on GitHub Trending

Repository activities

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

Featured

Bindu: The identity, communication, and payments layer for AI agents

100K+ monthly visitors

High-intent: developers tracking what's rising in OSS to decide what to try next

No tracking pixels, no popups

Become a sponsor