Alternatives and similar repositories for idris-4-noobs

Users that are interested in idris-4-noobs are comparing it to the libraries listed below

• duplicateduuid / banoffee
  Banoffee is a social networking platform tailored for avid readers and knowledge seekers.
  ☆12Updated last year
• algebraic-dev / vulpi
  🦊 | A language that compiles to LLVM and has algebraic effects
  ☆108Updated last year
• jeffque / rinha-compiler
  ☆19Updated 2 years ago
• EduardoRFS / anti-study-study-group
  ☆20Updated 2 years ago
• teikalang / teika
  ☆356Updated 3 months ago
• algebraic-dev / ednaldo
  🗣️ | Javascript interpreter for ednaldo language
  ☆43Updated 4 years ago
• lffg / fdb
  A simple (and unfinished!!) database management system.
  ☆21Updated 2 years ago
• leandronsp / patropi
  Yet another Ruby interpreter for Rinha de Compiladores
  ☆23Updated 2 years ago
• EduardoRFS / thoughts
  ☆22Updated 2 years ago
• gambiconf / gambiconf.github.io
  🐒 The Blow Your Mind Conference
  ☆13Updated 3 weeks ago
• KindaSloth / Haskell4Noobs
  Único roadmap de Haskell possível, do noob ao Thanos
  ☆239Updated 2 years ago
• aripiprazole / lura
  🍞 | IDE focused programming language study
  ☆36Updated last year
• vitorsouzaalmeida / json-parser
  A Json parser in TypeScript
  ☆17Updated 2 years ago
• EduardoRFS / youtube-channel
  ☆51Updated 2 months ago
• wrongbyte / awesome-learning
  A curated list of resources on the science of learning anything
  ☆34Updated 10 months ago
• dhilst / brlang
  A linguagem dos memes
  ☆13Updated 3 years ago
• miguel-nascimento / brainfuck-hs
  A brainfuck interpreter in Haskell. Rewrite of tsfuck
  ☆11Updated 4 years ago
• algebraic-dev / nuko
  🎮 | Is a programming language aimed at incorporating everything I’d like to have in Haskell, except dependent types.
  ☆15Updated 3 years ago
• noghartt / blog
  My personal blog
  ☆60Updated last week
• lincolixavier / awesome-type-theory
  ☆16Updated 7 months ago
• noghartt / garden
  A digital garden prototype - my notes and links are here
  ☆43Updated 3 years ago
• andreluispy / makinglanguages4noobs
  O manual sobre criação de linguagens
  ☆38Updated 4 years ago
• algebraic-dev / rinha-ts
  📜 | Example of how to create an interpreter for Rinha, providing insights into interpreter development.
  ☆14Updated 2 years ago
• samueldurantes / susi
  A simple viewer of the cutoff scores for all Brazilian universities participating in SISU
  ☆16Updated last year
• aripiprazole / rinha
  🧪 | Rinha de Backend Lean4
  ☆66Updated 2 years ago
• tsouanas / fmcbook
  Matemática Fundacional para Computação: book by Thanos Tsouanas (in portuguese)
  ☆106Updated 2 weeks ago
• noghartt / my-awesome-stars
  ☆16Updated last year
• Camilotk / ocaml4noobs
  Tutorial de OCaml para iniciantes na Linguagem.
  ☆388Updated 2 years ago
• samueldurantes / haildo
  Toy programming language
  ☆20Updated last year
• lanjoni / rust-data-structure
  This repository aims to organize codes related to data structures in Rust. 🦀
  ☆20Updated 2 years ago