VictorTaelin / taemoba
☆13Updated 7 months ago
Related projects: ⓘ
- ☆18Updated 11 months ago
- 📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).☆46Updated 2 years ago
- 🦊 | A language that compiles to LLVM and has algebraic effects☆104Updated 9 months ago
- ☆22Updated last year
- Banoffee is a social networking platform tailored for avid readers and knowledge seekers.☆12Updated 2 months ago
- A digital garden prototype - my notes and links are here☆39Updated 2 years ago
- 🐒 The Blow Your Mind Conference☆13Updated last week
- ☆18Updated 11 months ago
- ☆48Updated last year
- ☆33Updated this week
- Yet another Ruby interpreter for Rinha de Compiladores☆23Updated 11 months ago
- Único roadmap de Haskell possível, do noob ao Thanos☆243Updated 11 months ago
- A linguagem dos memes☆13Updated last year
- ☆17Updated 10 months ago
- Matemática Fundacional para Computação: book by Thanos Tsouanas (in portuguese)☆94Updated 2 months ago
- This repository aims to organize codes related to data structures in Rust. 🦀☆20Updated last year
- for learning purposes☆18Updated last month
- My personal blog☆53Updated this week
- ☆14Updated 2 years ago
- O manual sobre criação de linguagens☆37Updated 3 years ago
- ☆15Updated this week
- A curated list of resources on the science of learning anything☆28Updated 2 months ago
- ☆69Updated this week
- 🔰 Quer aprender a sair do Vim? Dê uma olhada aqui☆78Updated 2 years ago
- ☆10Updated 2 years ago
- ☆13Updated this week
- ☆318Updated 2 weeks ago
- ☆28Updated this week
- 🧪 | Rinha de Backend Lean4☆61Updated last year
- 🧠 Repositories that contain everything I've created and studied (bia knowledge base)☆69Updated this week