lincolixavier / awesome-type-theoryLinks
☆16Updated 6 months ago
Alternatives and similar repositories for awesome-type-theory
Users that are interested in awesome-type-theory are comparing it to the libraries listed below
Sorting:
- ☆16Updated last year
- A digital garden prototype - my notes and links are here☆43Updated 3 years ago
- My personal blog☆60Updated this week
- ☆21Updated 5 months ago
- A curated list of resources on the science of learning anything☆34Updated 9 months ago
- Meu próprio jardim digital☆16Updated 2 years ago
- Thoughts and Ideas☆53Updated last week
- Único roadmap de Haskell possível, do noob ao Thanos☆239Updated 2 years ago
- This repository aims to organize codes related to data structures in Rust. 🦀☆20Updated 2 years ago
- A minimalist yet multi-threaded HTTP server coded in pure Assembly x86☆43Updated last year
- ☆20Updated 2 years ago
- 📜 | Example of how to create an interpreter for Rinha, providing insights into interpreter development.☆14Updated 2 years ago
- Awesome Woovi Challenges☆137Updated 3 months ago
- 🦊 | A language that compiles to LLVM and has algebraic effects☆108Updated last year
- Desafios de contratação. Vem fazer parte do nosso time!☆113Updated 11 months ago
- ⚡ Schema validator with custom messages☆26Updated last year
- 📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).☆48Updated 3 years ago
- for learning purposes☆18Updated 3 months ago
- ☆38Updated 6 months ago
- ☆11Updated 2 years ago
- Um livro que vai te guiar na construção de um chat, entendendo sobre protocolos, redes e programação☆28Updated 2 years ago
- ☆14Updated 3 years ago
- A Reddit clone developed as a monorepo with React + Relay + Node.js + MongoDB☆35Updated 2 years ago
- A backend challenge of Zé Delivery☆16Updated 8 months ago
- bem.te.vi's Job Opportunities☆36Updated 10 months ago
- 🗄️ GraphQL Back-end Server with Relay, Koa, MongoDB and Mongoose☆53Updated 6 months ago
- O manual sobre criação de linguagens☆38Updated 4 years ago
- Uma versão em Bash para a Rinha de Backend 2ª edição☆35Updated last year
- Matemática Fundacional para Computação: book by Thanos Tsouanas (in portuguese)☆105Updated this week
- Develop solutions quickly with an unnoficial OpenPix SDK☆22Updated 3 years ago