Sebastián Miró's starred repositories
the-art-of-command-line
Master the command line, in one page
papers-we-love
Papers from the computer science community to read and discuss.
system-design-101
Explain complex systems using visuals and simple terms. Help you prepare for system design interviews.
WaveFunctionCollapse
Bitmap & tilemap generation from a single example with the help of ideas from quantum mechanics
tree-sitter
An incremental parsing system for programming tools
kickstart.nvim
A launch point for your personal nvim configuration
docker-mailserver
Production-ready fullstack but simple mail server (SMTP, IMAP, LDAP, Antispam, Antivirus, etc.) running inside a container.
datatype99
Algebraic data types for C99
curious-ocaml
A curious book about OCaml: logic (types), algebra (values), computation (rewrite semantics), functions (lambda calculus), constraints, monads, expression.
id-doc-validator
A validator for different types of personal ID for multiple countries.
nvim-tree-preview.lua
Floating preview windows for nvim-tree