Search Results - RepositoryStats

3

64

unknown

2

🧪 | Rinha de Backend Lean4

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

Created 2023-08-20

59 commits to main branch, last one about a year ago

6

53

mpl-2.0

2

🐔 Cansei de gente falando mal da JVM no Twitter - Implementação da RINHA DE BACKEND 2023 Q3™ em Kotlin que pega 40k+ pessoas inseridas

jdbc ktor kotlin postgresql rinha-de-backend rinha-de-backend-2023 rinha-de-backend-2023-q3

Created 2023-08-28

13 commits to main branch, last one about a year ago

7

28

apache-2.0

2

Rinha de Backend 2023 Q3 - Java + Vert.x

java vertx rinha-de-backend rinha-de-backend-2023-q3

Created 2023-09-12

6 commits to main branch, last one about a year ago