algebraic-dev / idris-4-noobs
📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).
☆46Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for idris-4-noobs
- ☆18Updated last year
- ☆22Updated 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 4 months ago
- ☆47Updated last year
- 🦊 | A language that compiles to LLVM and has algebraic effects☆104Updated 11 months ago
- 🗣️ | Javascript interpreter for ednaldo language☆43Updated 3 years ago
- ☆18Updated last year
- A digital garden prototype - my notes and links are here☆40Updated 2 years ago
- ☆13Updated 2 weeks ago
- 🎮 | Is a programming language aimed at incorporating everything I’d like to have in Haskell, except dependent types.☆13Updated 2 years ago
- A linguagem dos memes☆13Updated 2 years ago
- 🐒 The Blow Your Mind Conference☆13Updated 3 weeks ago
- 🧪 | Rinha de Backend Lean4☆64Updated last year
- A simple (and unfinished!!) database management system.☆18Updated last year
- ☆17Updated last year
- Único roadmap de Haskell possível, do noob ao Thanos☆245Updated last year
- A brainfuck interpreter in Haskell. Rewrite of tsfuck☆11Updated 3 years ago
- O manual sobre criação de linguagens☆37Updated 3 years ago
- Some day, a purely functional Lisp. Right now? Just a silly prototype.☆15Updated 3 years ago
- A Json parser in TypeScript☆16Updated last year
- Simple twitch bot made with Go - Study purpose☆17Updated 3 years ago
- This repository aims to organize codes related to data structures in Rust. 🦀☆20Updated last year
- 🍞 | IDE focused programming language study☆32Updated 8 months ago
- My personal blog☆56Updated this week
- ❤️ | Fancy diagnostics for Miette☆14Updated last month
- A Reddit clone developed as a monorepo with React + Relay + Node.js + MongoDB☆35Updated last year
- for learning purposes☆18Updated this week