🧪 | Rinha de Backend Lean4
☆68Sep 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:
- 🥤 | Toy parser combinator☆23Dec 8, 2023Updated 2 years ago
- 📜 | Example of how to create an interpreter for Rinha, providing insights into interpreter development.☆14Sep 7, 2023Updated 3 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
- Minecraft java and bedrock library☆23Apr 15, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Lambda Calculus parser and interpreter made in TypeScript's type system☆14May 24, 2024Updated 2 years ago
- 🥖 | Rinha de compiladores (ou interpretadores kkkk☆923Oct 4, 2023Updated 3 years ago
- Backend Competition Winner Project (2023)☆166Sep 29, 2023Updated 3 years ago
- 🦄 Front-end build with React, Relay and GraphQL☆22Oct 30, 2025Updated 11 months ago
- Rinha de Backend - Edição 2023 Q3☆1,706Jun 10, 2025Updated last year
- Site para acompanhar ao vivo os resultados das eleições no Brasil.☆10Oct 30, 2022Updated 3 years ago
- 🌐 | HTTP primitives for Lean 4☆56Dec 23, 2025Updated 9 months ago
- fullstack twitter clone developed with GraphQL and Relay☆35Apr 25, 2024Updated 2 years ago
- Código da minha aplicação para a Rinha de Back-end do @zanfranceschi☆79Nov 7, 2023Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆19Oct 5, 2023Updated 3 years ago
- 🐔 Implementação da RINHA DE BACKEND 2023 Q3™ em Kotlin☆11Aug 27, 2023Updated 3 years ago
- Rinha backend 2023☆35Aug 22, 2023Updated 3 years ago
- ⚙️ REST api with NodeJS(KoaJS) MongoDB and Jest Tests.☆11Mar 21, 2025Updated last year
- 🐔 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
- Uma interface simples em pyqt5 para espelhar dispositivos android com scrcpy☆16May 4, 2022Updated 4 years ago
- 📜 | Functional programming language written in kotlin.☆59Oct 20, 2022Updated 3 years ago
- Twitter clone with relay/mongodb/typescript☆14Sep 26, 2022Updated 4 years ago
- 🗄️ GraphQL Back-end Server with Relay, Koa, MongoDB and Mongoose☆53Apr 7, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆160Sep 19, 2023Updated 3 years ago
- 🦊 | A language that compiles to LLVM and has algebraic effects☆111Nov 26, 2023Updated 2 years ago
- Arch DDD Nestjs☆12Mar 25, 2024Updated 2 years ago
- ☆49Sep 15, 2023Updated 3 years ago
- A **dummy** k8s from scratch with my name☆25Oct 9, 2023Updated 3 years ago
- Demo microservice application structured according to the Trinity Architecture.☆15Apr 26, 2021Updated 5 years ago
- A brainfuck interpreter in Haskell. Rewrite of tsfuck☆11Aug 30, 2021Updated 5 years ago
- ☆11Dec 14, 2023Updated 2 years ago
- ☆13May 5, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 📱| Tiktok web clone☆23Jun 13, 2024Updated 2 years ago
- 🧪 | Lisp with REPL and macros which will compile itself☆14Dec 4, 2024Updated last year
- The awesome dependency manager for AdvPL!☆13Feb 9, 2017Updated 9 years ago
- List your favorite GitHub repositories and see it's information and issues.☆19Jan 4, 2023Updated 3 years ago
- ✨ .NET-based JavaScript runtime focused in rapid prototyping of projects, using minimal dependencies and functional programming☆250Mar 8, 2025Updated last year
- ☆32Sep 11, 2023Updated 3 years 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(),…☆11Jun 12, 2026Updated 4 months ago