flamingoponderado/flapjack — 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

flamingoponderado/flapjack — GitHub trending stats & insights | Trendshift

flamingoponderado/flapjack

porting pancake to Lean

Lean

1

3 contributors

BSD 3-Clause "New" or "Revised" License

Social mentions

Recent discussions about this repository across the web

I'm porting a formally verified compiler of Pancake from HOL to Lean. Today my bots finished porting the compiler correctness theorem from Pancake to RISC-V. I’m not sure if the used RISC-V is…

@pirapira · x.com

stateless-pancaketh is at

@pirapira · x.com

Repository activities

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

Featured

Control what AI can do before it acts

Your agents build it. Kane verifies it. Writes the tests, runs them, and maintains them

Enterprise AI Gateway Built For Scale: Route, Govern, and Secure All Your AI Traffic

180K+ monthly visitors

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

Advertise on Trendshift