algebraic-sofia / Idris2Noobs
๐ | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).
โ46Updated 2 years ago
Related projects: โ
- โ18Updated 11 months ago
- โ22Updated last year
- Yet another Ruby interpreter for Rinha de Compiladoresโ23Updated 11 months ago
- ๐ฆ | A language that compiles to LLVM and has algebraic effectsโ104Updated 9 months ago
- Banoffee is a social networking platform tailored for avid readers and knowledge seekers.โ12Updated 2 months ago
- ๐ The Blow Your Mind Conferenceโ13Updated last week
- ๐ฃ๏ธ | Javascript interpreter for ednaldo languageโ43Updated 3 years ago
- A linguagem dos memesโ13Updated last year
- โ18Updated 11 months ago
- โ33Updated this week
- โ48Updated last year
- A simple (and unfinished!!) database management system.โ18Updated last year
- This repository aims to organize codes related to data structures in Rust. ๐ฆโ20Updated last year
- โ13Updated 7 months ago
- Some day, a purely functional Lisp. Right now? Just a silly prototype.โ15Updated 3 years ago
- O manual sobre criaรงรฃo de linguagensโ37Updated 3 years ago
- Simple twitch bot made with Go - Study purposeโ17Updated 2 years ago
- ๐ฎ | Is a programming language aimed at incorporating everything Iโd like to have in Haskell, except dependent types.โ13Updated 2 years ago
- รnico roadmap de Haskell possรญvel, do noob ao Thanosโ243Updated 11 months ago
- A digital garden prototype - my notes and links are hereโ39Updated 2 years ago
- ๐งช | Rinha de Backend Lean4โ61Updated last year
- A Json parser in TypeScriptโ15Updated last year
- A brainfuck interpreter in Haskell. Rewrite of tsfuckโ11Updated 3 years ago
- โ17Updated 10 months ago
- โ12Updated this week
- ๐ | IDE focused programming language studyโ31Updated 6 months ago
- My personal blogโ53Updated this week
- โ14Updated 2 years ago
- for learning purposesโ18Updated last month
- โ22Updated last year