Alternatives and similar repositories for awesome-type-theory

Users that are interested in awesome-type-theory are comparing it to the libraries listed below

• noghartt / my-awesome-stars
  ☆16Updated last year
• noghartt / garden
  A digital garden prototype - my notes and links are here
  ☆43Updated 3 years ago
• noghartt / blog
  My personal blog
  ☆60Updated this week
• dellamora / reading-diary
  ☆21Updated 5 months ago
• wrongbyte / awesome-learning
  A curated list of resources on the science of learning anything
  ☆34Updated 9 months ago
• jeffque / digital-garden
  Meu próprio jardim digital
  ☆16Updated 2 years ago
• sibelius / zettelkasten
  Thoughts and Ideas
  ☆53Updated last week
• KindaSloth / Haskell4Noobs
  Único roadmap de Haskell possível, do noob ao Thanos
  ☆239Updated 2 years ago
• lanjoni / rust-data-structure
  This repository aims to organize codes related to data structures in Rust. 🦀
  ☆20Updated 2 years ago
• leandronsp / magali
  A minimalist yet multi-threaded HTTP server coded in pure Assembly x86
  ☆43Updated last year
• EduardoRFS / anti-study-study-group
  ☆20Updated 2 years ago
• algebraic-dev / rinha-ts
  📜 | Example of how to create an interpreter for Rinha, providing insights into interpreter development.
  ☆14Updated 2 years ago
• woovibr / awesome-woovi-challenge
  Awesome Woovi Challenges
  ☆137Updated 3 months ago
• algebraic-dev / vulpi
  🦊 | A language that compiles to LLVM and has algebraic effects
  ☆108Updated last year
• appcumbuca / desafios
  Desafios de contratação. Vem fazer parte do nosso time!
  ☆113Updated 11 months ago
• vinibgoulart / zius
  ⚡ Schema validator with custom messages
  ☆26Updated last year
• 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
• PoorlyDefinedBehaviour / data-structures-and-algorithms
  for learning purposes
  ☆18Updated 3 months ago
• woovibr / woovi-playground
  ☆38Updated 6 months ago
• mauricioabreu / tutorial-de-go
  ☆11Updated 2 years ago
• 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
• learning-in-public / learn-you-computer-science
  ☆14Updated 3 years ago
• noghartt / fakeddit
  A Reddit clone developed as a monorepo with React + Relay + Node.js + MongoDB
  ☆35Updated 2 years ago
• DaviGGA / ze-backend-challenge
  A backend challenge of Zé Delivery
  ☆16Updated 8 months ago
• BemteviSeguros / jobs
  bem.te.vi's Job Opportunities
  ☆36Updated 10 months ago
• biantris / koa-server
  🗄️ GraphQL Back-end Server with Relay, Koa, MongoDB and Mongoose
  ☆53Updated 6 months ago
• andreluispy / makinglanguages4noobs
  O manual sobre criação de linguagens
  ☆38Updated 4 years ago
• leandronsp / canabrava
  Uma versão em Bash para a Rinha de Backend 2ª edição
  ☆35Updated last year
• tsouanas / fmcbook
  Matemática Fundacional para Computação: book by Thanos Tsouanas (in portuguese)
  ☆105Updated this week
• scarletquasar / OpenPixSDK
  Develop solutions quickly with an unnoficial OpenPix SDK
  ☆22Updated 3 years ago