https://github.com/meoowers/rinha

🧪 | Rinha de Backend Lean4
https://github.com/meoowers/rinha

formal-proofs lean4 pgsql rinha-de-backend-2023-q3

Last synced: 3 months ago
JSON representation

🧪 | Rinha de Backend Lean4

• Host: GitHub
• URL: https://github.com/meoowers/rinha
• Owner: aripiprazole
• Created: 2023-08-20T15:33:09.000Z (about 1 year ago)
• Default Branch: main
• Last Pushed: 2023-09-12T18:22:49.000Z (about 1 year ago)
• Last Synced: 2024-07-07T01:10:38.207Z (4 months ago)
• Topics: formal-proofs, lean4, pgsql, rinha-de-backend-2023-q3
• Language: Lean
• Homepage: https://meoowers.github.io/rinha/rinhabackendsimulation-20230911191507033/
• Size: 11.4 MB
• Stars: 61
• Watchers: 2
• Forks: 3
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Submissão [Rinha de Backend](https://github.com/zanfranceschi/rinha-de-backend-2023-q3)

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