🧪 | Rinha de Backend Lean4
☆69Sep 12, 2023Updated 3 years ago
Alternatives and similar repositories for rinha
Users that are interested in rinha are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 📜 | Example of how to create an interpreter for Rinha, providing insights into interpreter development.☆14Sep 7, 2023Updated 3 years ago
- 🥤 | Toy parser combinator☆23Dec 8, 2023Updated 2 years ago
- 🕸️ | Incomplete HTTP/1.1 Server in Lean4 for Rinha de backends☆16Sep 12, 2023Updated 3 years ago
- ☆15Sep 7, 2020Updated 6 years ago
- 🐔 Implementação da RINHA DE BACKEND 2023 Q3™ em Kotlin☆11Aug 27, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).☆47Mar 25, 2022Updated 4 years ago
- Minecraft java and bedrock library☆23Apr 15, 2023Updated 3 years ago
- 🪵| Incomplete Express like library☆10Sep 12, 2023Updated 3 years ago
- Lambda Calculus parser and interpreter made in TypeScript's type system☆14May 24, 2024Updated 2 years ago
- 🥖 | Rinha de compiladores (ou interpretadores kkkk☆925Oct 4, 2023Updated 3 years ago
- Código da minha aplicação para a Rinha de Back-end do @zanfranceschi☆79Nov 7, 2023Updated 2 years ago
- 🐔 Cansei de gente falando mal da JVM no Twitter - Implementação da RINHA DE BACKEND 2023 Q3™ em Kotlin que pega 40k+ pessoas inseridas☆54Sep 23, 2023Updated 3 years ago
- Rinha backend 2023☆35Aug 22, 2023Updated 3 years ago
- Backend Competition Winner Project (2023)☆166Sep 29, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Rinha de Backend - Edição 2023 Q3☆1,705Jun 10, 2025Updated last year
- Chip 8 emulator written in Rust 🕹️☆11Feb 6, 2024Updated 2 years ago
- Site para acompanhar ao vivo os resultados das eleições no Brasil.☆10Oct 30, 2022Updated 4 years ago
- 🦊 | A language that compiles to LLVM and has algebraic effects☆111Nov 26, 2023Updated 2 years ago
- 🌐 | HTTP primitives for Lean 4☆57Dec 23, 2025Updated 10 months ago
- ☆19Oct 5, 2023Updated 3 years ago
- Canais de Youtube e Podcasts BR sobre ciência!☆14Aug 31, 2021Updated 5 years ago
- ⚙️ REST api with NodeJS(KoaJS) MongoDB and Jest Tests.☆11Mar 21, 2025Updated last year
- 📜 | Functional programming language written in kotlin.☆60Oct 20, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A simple viewer of the cutoff scores for all Brazilian universities participating in SISU☆16Dec 26, 2023Updated 2 years ago
- Sqlite3 bindings for lean4☆12Jul 12, 2026Updated 3 months ago
- 🦄 Front-end build with React, Relay and GraphQL☆22Oct 30, 2025Updated last year
- ☆14May 28, 2023Updated 3 years ago
- ☆12Mar 2, 2026Updated 8 months ago
- A brainfuck interpreter in Haskell. Rewrite of tsfuck☆11Aug 30, 2021Updated 5 years ago
- 🐿️ compiled from my go lang studies☆14Sep 13, 2022Updated 4 years ago
- Aprenda Elixir em 4 Pull Requests!☆322Jan 1, 2024Updated 2 years ago
- ☆49Sep 15, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆11Oct 31, 2022Updated 4 years ago
- ☆21Sep 3, 2020Updated 6 years ago
- 🦀 A fearless approach to Rocketseat's OminiStack week.☆13Jan 18, 2020Updated 6 years ago
- fullstack twitter clone developed with GraphQL and Relay☆35Apr 25, 2024Updated 2 years ago
- List your favorite GitHub repositories and see it's information and issues.☆19Jan 4, 2023Updated 3 years ago
- ☆13May 5, 2023Updated 3 years ago
- ☆10Dec 14, 2023Updated 2 years ago