Hi there π
I'm a software developer from Colombia π¨π΄ living in Canada π¨π¦.
I build and run apps like:
- π Picks Stock research at a glance: fair value, discount, moat, and analyst rating for every stock on the list.
- πΆ Coro Everything you need to learn salsa: lessons, song stories, dance patterns, technique, and a rhythm mixer to practice with your own band.
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.
- β¨ 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





