Alternatives and similar repositories for taemoba

Users that are interested in taemoba are comparing it to the libraries listed below

• teikalang / teika
  ☆355Updated last month
• algebraic-dev / idris-4-noobs
  📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).
  ☆47Updated 3 years ago
• EduardoRFS / anti-study-study-group
  ☆20Updated last year
• algebraic-dev / vulpi
  🦊 | A language that compiles to LLVM and has algebraic effects
  ☆108Updated last year
• lincolixavier / awesome-type-theory
  ☆16Updated 5 months ago
• KindaSloth / Haskell4Noobs
  Único roadmap de Haskell possível, do noob ao Thanos
  ☆239Updated last year
• duplicateduuid / banoffee
  Banoffee is a social networking platform tailored for avid readers and knowledge seekers.
  ☆12Updated last year
• tsouanas / fmcbook
  Matemática Fundacional para Computação: book by Thanos Tsouanas (in portuguese)
  ☆103Updated last week
• EduardoRFS / thoughts
  ☆22Updated 2 years ago
• Universidade-Livre / rinha-de-algoritmos
  Na Rinha de Algoritmos você deve utilizar suas habilidades para a criação de algoritmos eficientes para resolver problemas!
  ☆169Updated last year
• leandronsp / patropi
  Yet another Ruby interpreter for Rinha de Compiladores
  ☆23Updated last year
• gambiconf / gambiconf.github.io
  🐒 The Blow Your Mind Conference
  ☆13Updated 2 weeks ago
• dellamora / reading-diary
  ☆21Updated 4 months ago
• Camilotk / ocaml4noobs
  Tutorial de OCaml para iniciantes na Linguagem.
  ☆393Updated 2 years ago
• VictorTaelin / UrnaCripto
  Referendos criptograficamente incorruptíveis.
  ☆61Updated 8 years ago
• lambda-study-group / awesome-functional-studies
  A curated list of functional programming resources to study the fp paradigm
  ☆181Updated last year
• wrongbyte / awesome-learning
  A curated list of resources on the science of learning anything
  ☆35Updated 8 months ago
• algebraic-dev / rinha-ts
  📜 | Example of how to create an interpreter for Rinha, providing insights into interpreter development.
  ☆14Updated last year
• noghartt / blog
  My personal blog
  ☆60Updated this week
• rodrigogribeiro / pcc116-2021-2
  ☆10Updated 3 years ago
• jeffque / rinha-compiler
  ☆19Updated last year
• aripiprazole / rinha
  🧪 | Rinha de Backend Lean4
  ☆66Updated last year
• lambda-study-group / hacker-rank
  Functional Path do hacker Rank
  ☆52Updated 2 years ago
• lanjoni / rust-data-structure
  This repository aims to organize codes related to data structures in Rust. 🦀
  ☆20Updated 2 years ago
• noghartt / garden
  A digital garden prototype - my notes and links are here
  ☆43Updated 3 years ago
• foxx3r / FPAboveUs
  Este repósitório irá te ensinar programação funcional do zero com Haskell :) também falaremos um pouco de Prolog e Agda aqui.
  ☆23Updated 4 years ago
• andreluispy / makinglanguages4noobs
  O manual sobre criação de linguagens
  ☆38Updated 4 years ago
• lambda-study-group / desafios
  FP Challenges
  ☆80Updated 2 years ago
• has256 / sicp-ptbr
  Tradução do livro Structure and Interpretation of Computer Programs (SICP) - 2ª edição.
  ☆68Updated 5 years ago
• leandronsp / canabrava
  Uma versão em Bash para a Rinha de Backend 2ª edição
  ☆35Updated last year