lincolixavier / awesome-type-theoryLinks
☆15Updated 3 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:
- My personal blog☆60Updated this week
- A digital garden prototype - my notes and links are here☆43Updated 2 years ago
- A curated list of resources on the science of learning anything☆34Updated 6 months ago
- ☆16Updated last year
- ☆20Updated last year
- ☆11Updated 2 years ago
- ⚡ Schema validator with custom messages☆26Updated 9 months ago
- Meu próprio jardim digital☆16Updated 2 years ago
- O manual sobre criação de linguagens☆37Updated 3 years ago
- 📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).☆47Updated 3 years ago
- Sinnples, the app for your home reform service indication☆16Updated last year
- ☆19Updated 2 months ago
- Thoughts and Ideas☆52Updated this week
- Tereza monorepo☆17Updated last year
- Banoffee is a social networking platform tailored for avid readers and knowledge seekers.☆12Updated last year
- Notification system, that schedules alarms on redis and send to all consumers.☆13Updated 3 years ago
- Um esboço do que seria a arquitetura do Pix Crédito☆11Updated 2 years ago
- ☆38Updated 3 months ago
- This repository aims to organize codes related to data structures in Rust. 🦀☆20Updated 2 years ago
- for learning purposes☆18Updated 3 months ago
- A backend challenge of Zé Delivery☆16Updated 4 months ago
- OpenPix/Woovi Java SDK☆10Updated 11 months ago
- 📜 | Example of how to create an interpreter for Rinha, providing insights into interpreter development.☆13Updated last year
- App project to help taking order for a local beer store.☆11Updated 2 years ago
- A Rodrigo Faro bot that matches people☆16Updated 2 years ago
- A minimalist yet multi-threaded HTTP server coded in pure Assembly x86☆43Updated last year
- Fullstack monorepo for uploading transaction files☆26Updated last year
- 🦊 | A language that compiles to LLVM and has algebraic effects☆105Updated last year
- ☆14Updated 3 years ago
- creating a simple application to show how to use background jobs☆14Updated 2 years ago