Hi there 👋

I'm a software developer from Colombia 🇨🇴 living in Canada 🇨🇦.

I build and run apps like:

• 🧰 Utilarium Free tools and apps that work in your browser, with no sign-up: Picks for stock research, Coro to learn salsa, practice tests for driving and trade exams, PDF signing, image and PDF tools, calculators, and more.

I'm the creator of projects like:

Nix ecosystem

• 💅 Alejandra The uncompromising Nix code formatter. Fast, reliable, and beautiful by default.
• 🦄 Makes A software supply chain framework powered by Nix, for reproducible CI/CD in production (archived).
• ✨ Std The Nix Flakes framework for perfectionists with deadlines (now maintained by @blaggacao).
• 🐍 Python on Nix An extensive collection of Python projects from PyPI, ready for Nix.
• 🗃️ Nixpkgs-DB Every package from every version, commit, and channel of Nixpkgs, in one database.
• 🐉 Nixel A fast and complete parser for the Nix Expression Language.
• 🐃 B3 Reproducible builds, development environments, and deployments.
• 💻 Machine My operating system, development tools, and dotfiles, all as code.

Rust

• 🐆 Santiago A lexing and parsing toolkit for Rust.
• 🖥️ Modern-Terminal Rich text and beautiful formatting for the terminal.

Python and tooling

• ⚡ Aioextensions High-performance helpers for Python's asyncio.
• 🔭 Tracers Open-source application performance monitoring (APM).
• 📄 Metaloaders JSON and YAML loaders that keep line and column numbers.
• 🔀 Mailmap-Linter A small tool that is easy to install and use, to keep your Git mailmap clean.

I have also contributed to (or regularly contribute to) projects like:

• Fluid Attacks More than 2,500 merge requests to an application security platform.
• Nix The purely functional package manager.
• Nixpkgs The Nix packages collection and NixOS.
• Home Manager Manage a user environment with Nix.
• Nix RFCs The design process of the Nix community.
• chrono The date and time library for Rust.
• ts-rs Generate TypeScript bindings from Rust types.
• rust-mime-sniffer Detect MIME types by sniffing content.

I'm interested in Application Security, Functional Programming, and Free Software.

If you like what I build, feel free to sponsor me, or talk to me about an awesome position at your company!

- Kevin