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 / garden
  A digital garden prototype - my notes and links are here
  ☆42Updated 2 years ago
• noghartt / blog
  My personal blog
  ☆57Updated this week
• noghartt / my-awesome-stars
  ☆16Updated last year
• wrongbyte / awesome-learning
  A curated list of resources on the science of learning anything
  ☆34Updated 4 months ago
• sibelius / zettelkasten
  Thoughts and Ideas
  ☆51Updated this week
• jeffque / digital-garden
  Meu próprio jardim digital
  ☆16Updated last year
• jeffque / pix-credito
  Um esboço do que seria a arquitetura do Pix Crédito
  ☆11Updated 2 years ago
• learning-in-public / learn-you-computer-science
  ☆14Updated 3 years ago
• NicolasLopes7 / personal-notification-system
  Notification system, that schedules alarms on redis and send to all consumers.
  ☆13Updated 3 years ago
• finntechnologies / sinnples
  Sinnples, the app for your home reform service indication
  ☆16Updated last year
• VictorTaelin / taemoba
  ☆14Updated 6 months ago
• EduardoRFS / anti-study-study-group
  ☆20Updated last year
• woovibr / woovi-playground
  ☆38Updated last month
• duplicateduuid / banoffee
  Banoffee is a social networking platform tailored for avid readers and knowledge seekers.
  ☆12Updated 10 months ago
• lanjoni / rust-data-structure
  This repository aims to organize codes related to data structures in Rust. 🦀
  ☆21Updated 2 years ago
• noghartt / fakeddit
  A Reddit clone developed as a monorepo with React + Relay + Node.js + MongoDB
  ☆35Updated 2 years ago
• mauricioabreu / tutorial-de-go
  ☆11Updated 2 years ago
• vinibgoulart / wpp-playground
  Whatsapp playground
  ☆36Updated 8 months ago
• jeffque / rinha-compiler
  ☆19Updated last year
• dhilst / brlang
  A linguagem dos memes
  ☆13Updated 2 years 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
• NicolasLopes7 / tiny-background-job-redis-ts
  creating a simple application to show how to use background jobs
  ☆14Updated 2 years ago
• gambiconf / gambiconf.github.io
  🐒 The Blow Your Mind Conference
  ☆13Updated last week
• mauricioabreu / load-balancingo
  ☆23Updated last year
• tereza-org / tereza
  Tereza monorepo
  ☆17Updated 10 months ago
• dellamora / reading-diary
  ☆18Updated 3 weeks ago
• vinibgoulart / zius
  ⚡ Schema validator with custom messages
  ☆26Updated 7 months ago
• leandronsp / canabrava
  Uma versão em Bash para a Rinha de Backend 2ª edição
  ☆34Updated last year
• lffg / fdb
  A simple (and unfinished!!) database management system.
  ☆20Updated last year
• andreluispy / makinglanguages4noobs
  O manual sobre criação de linguagens
  ☆37Updated 3 years ago