Giters

adolfont / rinha_lean_sofia_gabi

🧪 | Rinha de Backend Lean4

Home Page:https://meoowers.github.io/rinha/rinhabackendsimulation-20230911191507033/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Submissão Rinha de Backend

Usamos Lean4 e C++ para fazer o servidor, e PostgreSQL para database. O mundo precisa de monads.

About

🧪 | Rinha de Backend Lean4

https://meoowers.github.io/rinha/rinhabackendsimulation-20230911191507033/

Languages

Language:Lean 92.0%Language:Dockerfile 7.5%Language:Shell 0.5%