☆19Oct 5, 2023Updated 2 years ago
Alternatives and similar repositories for rinha-compiler
Users that are interested in rinha-compiler are comparing it to the libraries listed below
Sorting:
- 📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).☆48Mar 25, 2022Updated 3 years ago
- ☆17Feb 18, 2026Updated last month
- fullstack twitter clone developed with GraphQL and Relay☆35Apr 25, 2024Updated last year
- 🧮 | Writing an Equation Solver☆34Aug 5, 2023Updated 2 years ago
- Meu próprio jardim digital☆16May 9, 2023Updated 2 years ago
- A tree-walk interpreter and a bytecode virtual machine interpreter written in the Rust Programming Language.☆13Jun 16, 2022Updated 3 years ago
- Yet another Ruby interpreter for Rinha de Compiladores☆23Sep 28, 2023Updated 2 years ago
- compile TypeScript or JavaScript to binaries☆21May 25, 2023Updated 2 years ago
- 🍞 | IDE focused programming language study☆39Mar 4, 2024Updated 2 years ago
- A simple (and unfinished!!) database management system.☆21Jun 12, 2023Updated 2 years ago
- 🦊 | A language that compiles to LLVM and has algebraic effects☆110Nov 26, 2023Updated 2 years ago
- Toy programming language☆20May 18, 2024Updated last year
- CLI framework for Elixir, with magic!☆43Aug 4, 2025Updated 7 months ago
- ☆20Oct 4, 2023Updated 2 years ago
- Porque Bash nunca desaponta☆54Feb 8, 2024Updated 2 years ago
- CAES005 - Introdução à Programação Funcional☆198Dec 4, 2025Updated 3 months ago
- A compile-to-JavaScript language with tight TypeScript integration.☆23Oct 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
- Aprenda Elixir em 4 Pull Requests!☆321Jan 1, 2024Updated 2 years ago
- 🦄 Front-end build with React, Relay and GraphQL☆22Oct 30, 2025Updated 4 months ago
- 🥖 | Rinha de compiladores (ou interpretadores kkkk☆925Oct 4, 2023Updated 2 years ago
- ☆17Nov 19, 2023Updated 2 years ago
- JavaScript Playground similar to runkit but on top of MDX and local first☆13Oct 9, 2020Updated 5 years ago
- Practical type inference for arbitrary-rank types☆11May 25, 2019Updated 6 years ago
- Backend Competition Winner Project (2023)☆169Sep 29, 2023Updated 2 years ago
- An implementation of interaction nets as a forth-like language.☆45Nov 16, 2025Updated 4 months ago
- OpenBSD cu(1) for Linux☆25Feb 25, 2023Updated 3 years ago
- Home to my personal configuration files.☆13Mar 12, 2026Updated last week
- cc @sseraphini☆175Mar 7, 2025Updated last year
- ☆15Mar 11, 2025Updated last year
- Lean 4 formalization of Rubik's cubes☆32Feb 17, 2025Updated last year
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated 11 months ago
- 🧪 | Lisp with REPL and macros which will compile itself☆13Dec 4, 2024Updated last year
- Idris Version Manager☆16Feb 23, 2025Updated last year
- "Modern compiler implementation" in Haskell!☆28Jan 12, 2015Updated 11 years ago
- An simple implementation of an auto-follower/unfollower and reposter bot in bsky.app☆14Sep 12, 2024Updated last year
- ☆358Jul 6, 2025Updated 8 months ago
- ☆13May 6, 2024Updated last year
- A linguagem dos memes☆13Sep 21, 2022Updated 3 years ago