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
- Banoffee is a social networking platform tailored for avid readers and knowledge seekers.โ12Updated 11 months ago
- ๐ฆ | A language that compiles to LLVM and has algebraic effectsโ105Updated last year
- Yet another Ruby interpreter for Rinha de Compiladoresโ23Updated last year
- โ22Updated 2 years ago
- โ48Updated 2 years ago
- A linguagem dos memesโ13Updated 2 years ago
- ๐ฃ๏ธ | Javascript interpreter for ednaldo languageโ44Updated 3 years ago
- A digital garden prototype - my notes and links are hereโ43Updated 2 years ago
- โ20Updated last year
- ๐ The Blow Your Mind Conferenceโ13Updated last week
- ๐งช | Rinha de Backend Lean4โ64Updated last year
- โ15Updated 2 months ago
- โ14Updated 7 months ago
- My personal blogโ60Updated this week
- ๐ | IDE focused programming language studyโ34Updated last year
- O manual sobre criaรงรฃo de linguagensโ37Updated 3 years ago
- โค๏ธ | Fancy diagnostics for Mietteโ14Updated 8 months ago
- รnico roadmap de Haskell possรญvel, do noob ao Thanosโ243Updated last year
- A Json parser in TypeScriptโ17Updated last year
- A curated list of resources on the science of learning anythingโ34Updated 5 months ago
- Some day, a purely functional Lisp. Right now? Just a silly prototype.โ15Updated 4 years ago
- ๐ | Example of how to create an interpreter for Rinha, providing insights into interpreter development.โ13Updated last year
- ๐ฎ | Is a programming language aimed at incorporating everything Iโd like to have in Haskell, except dependent types.โ15Updated 2 years ago
- A brainfuck interpreter in Haskell. Rewrite of tsfuckโ11Updated 3 years ago
- โ16Updated last year
- A simple viewer of the cutoff scores for all Brazilian universities participating in SISUโ16Updated last year
- A Reddit clone developed as a monorepo with React + Relay + Node.js + MongoDBโ35Updated 2 years ago
- Toy programming languageโ19Updated last year
- for learning purposesโ18Updated 2 months ago