🧪 | Rinha de Backend Lean4
☆67Sep 12, 2023Updated 2 years ago
Alternatives and similar repositories for rinha
Users that are interested in rinha are comparing it to the libraries listed below
Sorting:
- 🥤 | Toy parser combinator☆23Dec 8, 2023Updated 2 years ago
- 🕸️ | Incomplete HTTP/1.1 Server in Lean4 for Rinha de backends☆16Sep 12, 2023Updated 2 years ago
- ☆15Sep 7, 2020Updated 5 years ago
- ☆13May 5, 2023Updated 2 years ago
- Twitter clone with relay/mongodb/typescript☆15Sep 26, 2022Updated 3 years ago
- ☆48Sep 15, 2023Updated 2 years ago
- 📜 | Example of how to create an interpreter for Rinha, providing insights into interpreter development.☆14Sep 7, 2023Updated 2 years ago
- fullstack twitter clone developed with GraphQL and Relay☆35Apr 25, 2024Updated last year
- Backend Competition Winner Project (2023)☆168Sep 29, 2023Updated 2 years ago
- 🦄 Front-end build with React, Relay and GraphQL☆22Oct 30, 2025Updated 4 months ago
- 📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).☆48Mar 25, 2022Updated 3 years ago
- 🥖 | Rinha de compiladores (ou interpretadores kkkk☆925Oct 4, 2023Updated 2 years ago
- Rinha backend 2023☆35Aug 22, 2023Updated 2 years ago
- Código da minha aplicação para a Rinha de Back-end do @zanfranceschi☆78Nov 7, 2023Updated 2 years ago
- Minecraft java and bedrock library☆23Apr 15, 2023Updated 2 years ago
- ☆157Sep 19, 2023Updated 2 years ago
- 📱| Tiktok web clone☆23Jun 13, 2024Updated last year
- Site para acompanhar ao vivo os resultados das eleições no Brasil.☆10Oct 30, 2022Updated 3 years ago
- Lambda Calculus parser and interpreter made in TypeScript's type system☆14May 24, 2024Updated last year
- ⚙️ REST api with NodeJS(KoaJS) MongoDB and Jest Tests.☆11Mar 21, 2025Updated 11 months ago
- Helpers you can use in tests that relate to the passage of time (i.e. code that involves setTimeout, setInterval, new Date(), Date.now(),…☆11Feb 17, 2026Updated 2 weeks ago
- ☆10May 5, 2023Updated 2 years ago
- 🐔 Implementação da RINHA DE BACKEND 2023 Q3™ em Kotlin☆11Aug 27, 2023Updated 2 years ago
- A **dummy** k8s from scratch with my name☆25Oct 9, 2023Updated 2 years ago
- Rinha de Backend - Edição 2023 Q3☆1,702Jun 10, 2025Updated 8 months ago
- My github pages☆22Feb 11, 2026Updated 3 weeks ago
- Playing with Telegram Bot + OpenAI to describe some picture.☆11May 6, 2024Updated last year
- ☆17Feb 18, 2026Updated 2 weeks ago
- ☆13Mar 24, 2024Updated last year
- Arch DDD Nestjs☆11Mar 25, 2024Updated last year
- A brainfuck interpreter in Haskell. Rewrite of tsfuck☆11Aug 30, 2021Updated 4 years ago
- relay nextjs implementation☆11Jun 7, 2022Updated 3 years ago
- ☆11May 13, 2022Updated 3 years ago
- ActiveCampaign Event Tracking Proxy for GTM via Google Cloud Functions☆10Apr 22, 2021Updated 4 years ago
- A programming language, aka a THING☆10Sep 22, 2020Updated 5 years ago
- 🧪 | Lisp with REPL and macros which will compile itself☆13Dec 4, 2024Updated last year
- GraphQL - Nodejs - React - Relay☆11Sep 19, 2024Updated last year
- ☆17Jun 25, 2021Updated 4 years ago
- Schedule appointments in a Barber Shop - built with React Native and Styled Components☆13Jan 6, 2023Updated 3 years ago