Sebastián Miró's starred repositories

rust

Empowering everyone to build reliable and efficient software.

Language:RustLicense:NOASSERTIONStargazers:94907Issues:1483Issues:53402

papers-we-love

Papers from the computer science community to read and discuss.

neovim

Vim-fork focused on extensibility and usability

Language:Vim ScriptLicense:NOASSERTIONStargazers:79952Issues:983Issues:11448

fzf

:cherry_blossom: A command-line fuzzy finder

system-design-101

Explain complex systems using visuals and simple terms. Help you prepare for system design interviews.

mkcert

A simple zero-config tool to make locally trusted development certificates with any names you'd like.

Language:GoLicense:BSD-3-ClauseStargazers:46960Issues:474Issues:334

zed

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Language:RustLicense:NOASSERTIONStargazers:39726Issues:175Issues:6196

htmx

</> htmx - high power tools for HTML

Language:JavaScriptLicense:NOASSERTIONStargazers:35314Issues:199Issues:1296

bevy

A refreshingly simple data-driven game engine built in Rust

Language:RustLicense:Apache-2.0Stargazers:33914Issues:294Issues:4985

WaveFunctionCollapse

Bitmap & tilemap generation from a single example with the help of ideas from quantum mechanics

Language:C#License:NOASSERTIONStargazers:22983Issues:502Issues:49

delta

A syntax-highlighting pager for git, diff, grep, and blame output

Language:RustLicense:MITStargazers:21374Issues:81Issues:766

fmt

A modern formatting library

Language:C++License:NOASSERTIONStargazers:19851Issues:322Issues:2570

tree-sitter

An incremental parsing system for programming tools

kickstart.nvim

A launch point for your personal nvim configuration

gleam

⭐️ A friendly language for building type-safe, scalable systems!

Language:RustLicense:Apache-2.0Stargazers:16530Issues:87Issues:1749

docker-mailserver

Production-ready fullstack but simple mail server (SMTP, IMAP, LDAP, Antispam, Antivirus, etc.) running inside a container.

Language:ShellLicense:MITStargazers:13847Issues:196Issues:2093

wuzz

Interactive cli tool for HTTP inspection

Language:GoLicense:AGPL-3.0Stargazers:10509Issues:169Issues:74

xmake

🔥 A cross-platform build utility based on Lua

Language:LuaLicense:Apache-2.0Stargazers:9510Issues:140Issues:3056

i3

A tiling window manager for X11

Language:CLicense:BSD-3-ClauseStargazers:9264Issues:160Issues:3670

datatype99

Algebraic data types for C99

sp1

A performant, 100% open-source, contributor-friendly zkVM.

Language:RustLicense:Apache-2.0Stargazers:811Issues:36Issues:83

munit

µnit is a small testing framework for C

Language:CLicense:NOASSERTIONStargazers:552Issues:22Issues:64

riot

An actor-model multi-core scheduler for OCaml 5 🐫

Language:OCamlLicense:NOASSERTIONStargazers:507Issues:11Issues:36

mpanic

[MINISHELL TESTER] Tester developed to test the minishell project.

curious-ocaml

A curious book about OCaml: logic (types), algebra (values), computation (rewrite semantics), functions (lambda calculus), constraints, monads, expression.

Language:TclLicense:GPL-3.0Stargazers:25Issues:2Issues:3

NationGPT

A comprehensive repository organizing the constitution, national laws, and provincial regulations of a country for easy access and updates.

Language:HTMLLicense:GPL-3.0Stargazers:17Issues:5Issues:0

id-doc-validator

A validator for different types of personal ID for multiple countries.

Language:JavaScriptLicense:MITStargazers:7Issues:0Issues:0

nvim-tree-preview.lua

Floating preview windows for nvim-tree

License:MITStargazers:1Issues:0Issues:0