VictorTaelin / taemoba
☆14Updated 4 months ago
Alternatives and similar repositories for taemoba:
Users that are interested in taemoba are comparing it to the libraries listed below
- 📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).☆47Updated 2 years ago
- ☆20Updated last year
- 🦊 | A language that compiles to LLVM and has algebraic effects☆104Updated last year
- ☆23Updated 2 years ago
- Banoffee is a social networking platform tailored for avid readers and knowledge seekers.☆12Updated 8 months ago
- A digital garden prototype - my notes and links are here☆41Updated 2 years ago
- Único roadmap de Haskell possível, do noob ao Thanos☆242Updated last year
- Yet another Ruby interpreter for Rinha de Compiladores☆23Updated last year
- ☆343Updated 2 months ago
- ☆19Updated last year
- This repository aims to organize codes related to data structures in Rust. 🦀☆20Updated last year
- O manual sobre criação de linguagens☆37Updated 3 years ago
- Referendos criptograficamente incorruptíveis.☆59Updated 8 years ago
- My personal blog☆57Updated this week
- 🐒 The Blow Your Mind Conference☆13Updated 4 months ago
- ☆16Updated 3 months ago
- Matemática Fundacional para Computação: book by Thanos Tsouanas (in portuguese)☆96Updated 2 months ago
- Uma versão em Bash para a Rinha de Backend 2ª edição☆34Updated last year
- Tradução para o português do livro Functional Light JS☆58Updated 2 years ago
- ☆16Updated last year
- ☆14Updated 3 years ago
- 📖 Exercicios de Algoritmos da UBL☆34Updated 2 years ago
- Na Rinha de Algoritmos você deve utilizar suas habilidades para a criação de algoritmos eficientes para resolver problemas!☆167Updated last year
- ☆48Updated 2 years ago
- Quer aprender a usar o monstro dos editores de texto, mas não sabe por onde começar? Veio ao lugar certo.☆18Updated last year
- A curated list of resources on the science of learning anything☆32Updated 2 months ago
- Awesome Woovi Challenges☆125Updated 4 months ago
- 🧪 | Rinha de Backend Lean4☆64Updated last year
- A linguagem dos memes☆13Updated 2 years ago