h5i-app-bench

h5i-app-bench

h5i-dev

Can a web backend be proved correct and still be fast?

web-framework
View on GitHub Website
3 Stars
0 Forks
0 Watchers
Lean Language
apache-2.0 License
54.1 SrcLog Score
Cost to Build
$313.2K
Market Value
$261.3K
How is this calculated?

Growth over time

2 data points  ·  2026-10-08 → 2026-10-31
Stars Forks Watchers
💬

How do you feel about this project?

Ask AI about h5i-app-bench

Question copied to clipboard

What is the h5i-dev/h5i-app-bench GitHub project? Description: "Can a web backend be proved correct and still be fast?". Written in Lean. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

🏆 Show off this rank

h5i-dev/h5i-app-bench on SrcLog (holo style)

Add it to a GitHub README or profile — the card updates as the ranking changes:

How to clone h5i-app-bench

Clone via HTTPS

git clone https://github.com/h5i-dev/h5i-app-bench.git

Clone via SSH

[email protected]:h5i-dev/h5i-app-bench.git

Download ZIP

Download main.zip

Found an issue?

Report bugs or request features on the h5i-app-bench issue tracker:

Open GitHub Issues

Similar to h5i-app-bench

angular flask vapor phoenix echo iris playframework sinatra cakephp dropwizard cowboy Rocket yew ktor pyramid macaron scalatra kemal kite mojo ChicagoBoss trails javalin amber Binding.scala faygo rapidoid UserFrosting routing-controllers lucky