algebraic-dev / vulpi
🦊 | A language that compiles to LLVM and has algebraic effects
☆104Updated 11 months ago
Related projects ⓘ
Alternatives and complementary repositories for vulpi
- 🧪 | Rinha de Backend Lean4☆64Updated last year
- 📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).☆46Updated 2 years ago
- Yet another Ruby interpreter for Rinha de Compiladores☆23Updated last year
- Desafios de contratação. Vem fazer parte do nosso time!☆103Updated 2 weeks ago
- Único roadmap de Haskell possível, do noob ao Thanos☆244Updated last year
- Na Rinha de Algoritmos você deve utilizar suas habilidades para a criação de algoritmos eficientes para resolver problemas!☆168Updated 8 months ago
- O manual sobre criação de linguagens☆37Updated 3 years ago
- Uma versão em Bash para a Rinha de Backend 2ª edição☆32Updated 8 months ago
- Porque Bash nunca desaponta☆53Updated 9 months ago
- Matemática Fundacional para Computação: book by Thanos Tsouanas (in portuguese)☆95Updated last week
- ☆18Updated last year
- A minimalist yet multi-threaded HTTP server coded in pure Assembly x86☆28Updated 7 months ago
- 📜 | Example of how to create an interpreter for Rinha, providing insights into interpreter development.☆13Updated last year
- Stop worrying about regex, start worrying about another language☆49Updated 10 months ago
- ☆13Updated 3 weeks ago
- BacenSimulator is a docker image to simulate bacen, a official brazilian payment infrastructure☆95Updated 6 months ago
- 🔰 Quer aprender a sair do Vim? Dê uma olhada aqui☆80Updated 2 years ago
- A digital garden prototype - my notes and links are here☆40Updated 2 years ago
- cc @sseraphini☆174Updated 3 months ago
- Rinha backend 2023☆33Updated last year
- ❤️ | Fancy diagnostics for Miette☆14Updated last month
- Coloque aqui links de projetos com funcionalidades que envolvam o BlueSky! 🦋💙☆94Updated 2 months ago
- Bluesky-Repost-Bot☆39Updated 2 months ago
- rinha-2024☆21Updated 8 months ago
- Um livro que vai te guiar na construção de um chat, entendendo sobre protocolos, redes e programação☆29Updated last year
- Awesome Woovi Challenges☆127Updated last month
- ☆19Updated last year
- Tutorial de Bash para iniciantes☆78Updated last year
- Aprenda a linguagem Assembly do zero!☆124Updated last year