Things I'm currently Coding in The Open: - Type-safe Algebraic Effects System for Rust. With Lenses and Context Adaptation and Quantified Effects. (Research Project) - Algebraic Effects System for Nix, ported from fx.rs - I'm core contributor to this effect system with dependent and linear types and Hoas checker for Nix. based from nfx. - A A Golang compiler for Nix language into delta-interaction networks. (Research Project) - Golang compiler target and runtime for delta-interaction nets. (Research Project) Tools for Dendritic Nix. - Non-flakes dendritic examples using different top-level module classes. - Generates flake.nix/unflake.nix/npins inputs from Nix modules. - Nix file loader. Easy, configurable, with extensible API. - Parametric, context-aware Dendritic Nix Configurations framework. - Aspects provide a tree and graph dependency for Dendritic modules. - Community-driven Nix Distribution. (Dendritic Nix Community) - Find and pin nix pkgs at known stable ranges (Nix Community) - My NixOS multi-host, automated Dendritic configuration. - I've been contributing to this awesome jj TUI. For a full list of my projects, see my GitHub repositories. Having a life with purpose I believe my life has a purpose. And that purpose for me is Love. I believe that we are not the authors of Love, but Love is has authored us. And as much as we are willing to receive it (God/Love) we will also be able to give it into others. None of us is perfect and we all have made wrong, but there's so much in life than only our past. Learn, change, adapt, become a better person every single day. So, having a purpose in life, for me, means having the willingness to be transformed by Love and be able to give it for others. Contact open a discussion if you want to have an open conversation about anything. I'd love to hear about you. vborja@apache.org, for business and spam. oeiuwq@x oeiuwq@bsky I'm always open to remote opportunities I love to work on developer tools, compilers, effect systems, or nix-infra tooling. Nowadays I prefer doing Nix, Elm, Scala3, Rust and Go. Here's my CV Feel free to reach out if you’d like to collaborate or discuss opportunities or just talk about common interests or projects.

If you like what I'm doing and want to show your support, I'm open to donations. You can also just say "Hey, here's a potato" and leave a potato or anything else. If you want me to contribute to some project I can also take comissions for working on OpenSource. GitHub User #331 About me I'm single, send a pull-request fixing this. I love poetry, Rothko paintings, the Rebecca purple color and effect systems. I'm a Seventh Day Adventist. I enjoy our Sabbath School so much, self-reflecting, learning lessons from the Bible that can teach me about the real character of God and the love he gives us for us to give. I also enjoy reading about Religions, Theology, Physics, Math (mainly related to C.S), Type Theory and Effect Systems. I have a ~50% hearing disability. So I pretty much prefer to communicate via async written form whenever possible. I love customizing my Glove80 Keyboard, and layout optimizations that can reduce finger stress. I'm doing lots of Nix, Scala3, Go and Rust. And love creating stuff for people like me: nerds. Table of Contents Things I'm currently hacking Mission Skills What I'm Looking For Notable Projects & Contributions Scala Elixir Emacs Lisp Go Rust Shell/Bash Nix Significant Community Contributions)

---

OpenSource Mission

Everything I know, I've learned by reading others code. I believe in the power of sharing knowledge.

I create tools and languages that empower developers by making their work more productive, reliable, and enjoyable.

My passion is building robust, real-world solutions with functional programming, effect systems, and language implementation.

Skills

• Functional programming (Scala, Haskell, Elm, Elixir)
• Effect systems and concurrency models
• Compiler and language implementation (Scala, Rust, Go, Ruby, Python)
• Nix and reproducible developer tooling
• Open source leadership and community building

Things I enjoy doing:

I love working in the following areas:

• Compiler and language implementation
• Effect systems research and development
• Developer tooling and infrastructure
• Functional programming projects

If you’re building something in these areas, let’s connect!

Projects Highlight & Contributions

Here are some of my original open source projects, spanning several languages and ecosystems:

Nix

• - Import all Nix files in a directory tree.
• - Community-driven Nix distribution.
• - Generate flake.nix from module options.

Scala

• - μKanren-inspired relational/logic programming for ZIO2.
• - Minimalist distroless Docker images for Java apps using Mill.
• - Immutable double linked list in Scala 3.
• - Giter8 launcher for scala-cli.
• - Cycle.js style user-computer model in Laminar.
• - Scala 3 compiler plugin to prevent unsafe function calls.
• - Logic programming language based on typed concatenative effects (Scala prototype).
• - Define big project structures as a regular Scala project.
• - Functional-reactive interfaces on Laminar and Scala.js.

Elixir

• - Ecto-style parameter validation/casting.
• - Macro for extracting/transforming values in pipe flows.
• - Macro to avoid commas in Elixir's with special form.
• - Data specification conformance and generation.
• - Reusable, composable patterns across Elixir libraries.
• - Pipe Elixir functions that match ok/error tuples or custom patterns.
• - State-aware Elixir functions without spawning processes.
• - Minimalist function decorators for Elixir.
• - Macro for easily piping arguments at any position.
• - The alchemist's happy path with Elixir.
• - Elixir Indifferent access on maps/lists/tuples with custom key transforms.

Emacs Lisp

• - The purple turtle theme for Spacemacs.
• - Vic's Emacs Environment.
• - Better fuzzy matching for Emacs ido-mode.
• - Set Emacs color themes by buffer.
• - Let Emacs suggest which key bindings to press.

Go

• - Search Nix package versions and minimalist devshell/version manager.
• - Vim/Evil leader-key for your $SHELL.

Rust

• - Algebraic Effects System in Rust.

Shell/Bash

• - Send keyboard macros to Spacemacs or DOOM Emacs via emacsclient.
• - Create reusable Docker layered images from Java fat-jar apps.
• - Deploy Nim applications to Heroku.
• - Git-based server provisioning.

Other Significant Contributions (Forks & Community)

• Darcs: my early contributions to opensource.
• Ragel: Ragel State Machine Compiler - early contributor: Ruby and Rubinius VM code compilers.
• vtd-xml: Contributed patches to the streaming parser.
• Buildr: Core contributor and Apache Software Foundation member - Project Management Chair.
• asdf-vm: Maintainer and plugin author for the extensible version manager.
• Rubinius: Early contributor to the Ruby VM.
• Fancy Language: Contributor of a dynamic, functional OO language.
• Typhon: Python implementation for Rubinius VM.
• effects-bibliography: Collaborative bibliography of computational effects.

For a full list of my projects, see my GitHub repositories.

---