algebraic-dev / idris-4-noobsLinks
📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).
☆47Updated 3 years ago
Alternatives and similar repositories for idris-4-noobs
Users that are interested in idris-4-noobs are comparing it to the libraries listed below
Sorting:
- ☆19Updated last year
- 🦊 | A language that compiles to LLVM and has algebraic effects☆105Updated last year
- Yet another Ruby interpreter for Rinha de Compiladores☆23Updated last year
- Banoffee is a social networking platform tailored for avid readers and knowledge seekers.☆12Updated last year
- ☆48Updated 2 years ago
- ☆20Updated last year
- O manual sobre criação de linguagens☆37Updated 3 years ago
- ☆15Updated 3 months ago
- ☆22Updated 2 years ago
- 🧪 | Rinha de Backend Lean4☆64Updated last year
- Único roadmap de Haskell possível, do noob ao Thanos☆243Updated last year
- A digital garden prototype - my notes and links are here☆43Updated 2 years ago
- 🍞 | IDE focused programming language study☆34Updated last year
- 🗣️ | Javascript interpreter for ednaldo language☆44Updated 4 years ago
- A curated list of resources on the science of learning anything☆34Updated 6 months ago
- A linguagem dos memes☆13Updated 2 years ago
- ☆14Updated 7 months ago
- for learning purposes☆18Updated 3 months ago
- 🐒 The Blow Your Mind Conference☆13Updated last week
- 📜 | Example of how to create an interpreter for Rinha, providing insights into interpreter development.☆13Updated last year
- A Json parser in TypeScript☆17Updated last year
- My personal blog☆60Updated this week
- 🎮 | Is a programming language aimed at incorporating everything I’d like to have in Haskell, except dependent types.☆15Updated 2 years ago
- A minimalist yet multi-threaded HTTP server coded in pure Assembly x86☆43Updated last year
- A simple (and unfinished!!) database management system.☆21Updated 2 years ago
- A simple viewer of the cutoff scores for all Brazilian universities participating in SISU☆16Updated last year
- ☆16Updated last year
- Some day, a purely functional Lisp. Right now? Just a silly prototype.☆15Updated 4 years ago
- Matemática Fundacional para Computação: book by Thanos Tsouanas (in portuguese)☆100Updated 3 weeks ago
- ☆12Updated 2 years ago