algebraic-dev / vulpi
🦊 | A language that compiles to LLVM and has algebraic effects
☆104Updated last year
Alternatives and similar repositories for vulpi:
Users that are interested in vulpi are comparing it to the libraries listed below
- 🧪 | Rinha de Backend Lean4☆64Updated last year
- 📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).☆47Updated 2 years ago
- Yet another Ruby interpreter for Rinha de Compiladores☆23Updated last year
- A minimalist yet multi-threaded HTTP server coded in pure Assembly x86☆42Updated 11 months ago
- 📜 | Example of how to create an interpreter for Rinha, providing insights into interpreter development.☆13Updated last year
- ☆19Updated last year
- O manual sobre criação de linguagens☆37Updated 3 years ago
- Na Rinha de Algoritmos você deve utilizar suas habilidades para a criação de algoritmos eficientes para resolver problemas!☆167Updated last year
- ☆20Updated last year
- Único roadmap de Haskell possível, do noob ao Thanos☆242Updated last year
- ☆48Updated 2 years ago
- Porque Bash nunca desaponta☆53Updated last year
- Uma versão em Bash para a Rinha de Backend 2ª edição☆34Updated last year
- Desafios de contratação. Vem fazer parte do nosso time!☆108Updated 4 months ago
- Stop worrying about regex, start worrying about another language☆50Updated last year
- ❤️ | Fancy diagnostics for Miette☆14Updated 5 months ago
- BacenSimulator is a docker image to simulate bacen, a official brazilian payment infrastructure☆99Updated 10 months ago
- Matemática Fundacional para Computação: book by Thanos Tsouanas (in portuguese)☆96Updated 2 months ago
- ☆23Updated 2 years ago
- Estrutura de dados e Algoritmos em Golang☆37Updated 4 years ago
- Cv Keep front end official repository☆99Updated 8 months ago
- ☆82Updated 2 years ago
- 🔰 Quer aprender a sair do Vim? Dê uma olhada aqui☆80Updated 3 years ago
- ☆14Updated 4 months ago
- ☆343Updated 2 months ago
- My progress studying Golang☆70Updated 2 years ago
- Um livro que vai te guiar na construção de um chat, entendendo sobre protocolos, redes e programação☆29Updated 2 years ago
- 🥤 | Toy parser combinator☆24Updated last year
- Convert videos into text animation!☆41Updated last year
- A dead-simple automation tool. Inspired by Makefile and Justfile.☆29Updated 3 months ago