Alternatives and similar repositories for genaver

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

• lincolixavier / awesome-type-theory
  ☆16Updated 6 months ago
• algebraic-dev / vulpi
  🦊 | A language that compiles to LLVM and has algebraic effects
  ☆108Updated last year
• viglioni / lang-studies
  Repo with algorithms or small projects in some languages I am studying
  ☆22Updated 3 weeks ago
• gambiconf / gambiconf.github.io
  🐒 The Blow Your Mind Conference
  ☆13Updated this week
• wrongbyte / awesome-learning
  A curated list of resources on the science of learning anything
  ☆34Updated 9 months ago
• algebraic-dev / idris-4-noobs
  📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).
  ☆48Updated 3 years ago
• KindaSloth / Haskell4Noobs
  Único roadmap de Haskell possível, do noob ao Thanos
  ☆239Updated last year
• noghartt / blog
  My personal blog
  ☆60Updated this week
• vitorsouzaalmeida / json-parser
  A Json parser in TypeScript
  ☆17Updated 2 years ago
• learning-in-public / learn-you-computer-science
  ☆14Updated 3 years ago
• viniciusfonseca / alexdb
  ☆14Updated 5 months ago
• woovibr / java-sdk
  OpenPix/Woovi Java SDK
  ☆10Updated last year
• mauricioabreu / construindo-seu-proprio-chat
  Um livro que vai te guiar na construção de um chat, entendendo sobre protocolos, redes e programação
  ☆28Updated 2 years ago
• leandronsp / magali
  A minimalist yet multi-threaded HTTP server coded in pure Assembly x86
  ☆43Updated last year
• PoorlyDefinedBehaviour / data-structures-and-algorithms
  for learning purposes
  ☆18Updated 2 months ago
• noghartt / garden
  A digital garden prototype - my notes and links are here
  ☆43Updated 3 years ago
• NicolasLopes7 / personal-notification-system
  Notification system, that schedules alarms on redis and send to all consumers.
  ☆13Updated 3 years ago
• racerxdl / asm2web
  Código usado na live de Assembly for Noobs!
  ☆56Updated 5 years ago
• hehehenri / paxos
  Paxos implementation in Rust
  ☆14Updated 2 years ago
• leandronsp / patropi
  Yet another Ruby interpreter for Rinha de Compiladores
  ☆23Updated last year
• appcumbuca / desafios
  Desafios de contratação. Vem fazer parte do nosso time!
  ☆114Updated 10 months ago
• algebraic-dev / soda
  🥤 | Toy parser combinator
  ☆23Updated last year
• felipenlunkes / osdevbr
  Tutoriais e referências para o desenvolvimento de um sistema operacional (português)
  ☆19Updated 3 years ago
• sibelius / zettelkasten
  Thoughts and Ideas
  ☆51Updated last week
• jeffque / digital-garden
  Meu próprio jardim digital
  ☆16Updated 2 years ago
• aripiprazole / rinha
  🧪 | Rinha de Backend Lean4
  ☆66Updated 2 years ago
• jeffque / pix-credito
  Um esboço do que seria a arquitetura do Pix Crédito
  ☆11Updated 3 years ago
• aripiprazole / lura
  🍞 | IDE focused programming language study
  ☆35Updated last year
• tsouanas / fmcbook
  Matemática Fundacional para Computação: book by Thanos Tsouanas (in portuguese)
  ☆104Updated 3 weeks ago
• josethz00 / copy-vs-insert
  Performance comparison between COPY and INSERT using Bunjs and Postgres16
  ☆16Updated last year