icon heya, i'm mirvox.

I develop languages and applications for a better future.

experience projects papers github email cv

Work Experience

Rigtank Global

2026 - Present

Mid-Level Systems Developer

Development of on-premise applications for highly sensitive document verification, combining open-source and proprietary OCR technologies. Design and implementation of enterprise infrastructure and in-house applications in TypeScript, Python and Haskell.

Development of a complete, autonomous ERP for import/export logistics, featuring a self-improving translation system and automation of DUIMP filings, Bills of Lading, Packing Lists, Commercial Invoices and Certificates of Analysis.

Design of a hybrid chatbot/agent architecture integrating OpenJev, Claude and rule-based chatbot techniques into a fully autonomous agent.

Automation of operational and financial workflows, consolidating PDFs, spreadsheets and e-mails into structured controls: weekly sourcing plans, freight rate auditing, invoice and extra-cost tracking, damage-claim management and shipping-document processing.

Multi-entity, multi-currency bank reconciliation (BRL, USD, EUR), cross-checking bank statements, ERP reports and payment evidence to generate vendor-level action plans.

Business process mapping and requirements specification for the selection of an ISO tank fleet management system, including billing models, route-level cost allocation and fleet tracking.

Standardization of the DUIMP product catalog methodology, enabling reuse across recurring clients' import processes.

IT project governance: task hierarchy, criticality and operational/management validation workflows.

RDC Promotora de Crédito LTDA.

Jan 2024 - Aug 2025

Independent Contractor · Former Intern

Full-Stack development leader and maintenance of web applications with C#/.NET

Full-Stack development of cross-platform desktop applications using Electron, JavaScript, ExpressJS, and EJS, creation and use of RESTful APIs, as well as web application development with Vue and NuxtJS.

Development of automation and scraping applications in Python and JavaScript using Selenium. Development of CLI applications for Linux using NodeJS. Management of relational databases using MySQL and non-relational databases using MongoDB, in addition to domain and VPS configuration.

Semicollon Estúdios

Jun 2020 - Present

Co-Founder, Lead Game Developer and Programmer

Co-founder and Board Member of a nonprofit organization, serving as the voluntary Chief Technology Officer (CTO) and Developer since its inception. Led the development of video games using Python, Lua and Odin, with a strong focus on designing custom tools and infrastructure.

Built and maintained proprietary game development frameworks, streamlining internal workflows and supporting rapid prototyping. Created Chesed, a custom game engine written in Haskell, designed for high reliability and functional architecture in game logic and simulation, which includes its own scripting language.

Designed and developed the studio's current proprietary engines in Odin with raylib: the Noue Engine, a 2D platformer engine powering Cassiopeia, with a complete in-game editor suite and Interlope, a custom content versioning system; and Cedilla, a WYSIWYG visual novel engine with its own scripting languages. Also developed the studio's multilingual website (Portuguese, English, Spanish and Japanese), which hosts the public demo of Cassiopeia.

Successfully led multidisciplinary and multicultural teams, integrating diverse skills and backgrounds across technical and creative domains. Coordinated teams ranging from 4 to 12 members, handling task delegation, time management, and people leadership. Trained junior developers and creatives, enabling them to contribute meaningfully to various stages of the game development pipeline.

Team lead in the Global Game Jam 2025, managing a team of 5 developers, culminating in the publication of an original computer game named "Cassiopeia". Also Team Lead in the Global Game Jam 2026 with the release of "LARVIS" - a digital card game originally made only in 48 hours, now available on Steam. Since the jam, led its growth into a full release written in Odin with raylib, featuring story, adventure and roguelike modes, multiplayer, microgames, deck building, Steam achievements and Steam Input controller support, localization into Portuguese, English, Chinese and Russian, and an Android build pipeline.

Professional Applications

Kortex: System for Credit Brokerages

2026

A CRM for credit brokerage companies covering the whole sales operation: prospecting from imported client bases and segmented campaigns, call tabulation and negotiation tracking, team and permission management, and real-time performance dashboards for promoters, team leaders and administrators.

It includes a sales analytics module that cross-references CRM activity with paid contracts, imported from spreadsheets or fetched automatically through scheduled Playwright automation, to measure production, funnel efficiency and goals by team, promoter, agreement and bank. Built with Astro, React, TypeScript and Tailwind CSS, on a Node.js/Express backend with MongoDB and PostgreSQL.

Available for sales and constantly updated with new features, licensed under International Peace Mediation Association (IPMA).

Kortex is currently the main CRM product used by RDC Promotora de Crédito LTDA.

Noue Engine

2025 - Present

The 2D proprietary platformer game engine developed for the game Cassiopeia. Written in Odin on top of raylib and Box2D, this game engine features a fully-fledged built-in level, sprite, lighting, pixel art, cutscene, interaction and dialog editor that runs inside the game itself, supporting a proprietary versioning system for sharing tilesets, levels, dialogs and much more without the need of git, regardless of the version the actual game code is currently in.

The editor includes tile painting with auto-tiling learned from existing maps, a pixel editor with onion-skinned sprite animation that hot-reloads tilesets, radial, cone and beam lights with per-level post-processing shaders (CRT, bloom, chromatic aberration, dithering and more), combinable weather systems lit by the scene's light map, a timeline-based cutscene editor with 37 step types, and a bilingual (PT/EN) dialog editor backed by its own rules language for interactions, flags and conditions. Debugging tools include a world graph that flags broken room links, prefabs, frame-perfect input recording and replay, slow motion and frame stepping, and one-key bug reports.

Its versioning system, Interlope, keeps maps, tilesets, sprites, dialogs, cutscenes, audio and shaders in a shared database with per-file history, restore and a structural map diff, syncing at boot and hot-reloading content without restarting the game. It runs on a database client written from scratch in Odin, implementing the MongoDB wire protocol, BSON encoding and SCRAM-SHA-256 authentication.

Cedilla Visual Novel Engine

2026 - Present

Semicollon's proprietary Visual Novel engine: a WYSIWYG editor and player written in Odin with raylib, successor to Sablier, the studio's earlier Haskell engine. Stories are written in SBL, a Markdown-inspired scripting language with dialogue, choices, branching, session and persistent flags, background and sprite transitions, music, sound effects, voice and video, edited either as raw text with syntax highlighting or visually, line by line, over a live preview of the stage, alongside a story map of every branch.

Screens and menus are built in a visual Screen Creator with no-code event actions, or programmed in Til, its own Python-like language running on a garbage-collected VM, written as text or as Scratch-style blocks. This enables point-and-click scenes and minigames (a complete chess game ships as a preset), and even the save/load, backlog, options, gallery and music room menus are ordinary editable screens.

The runtime includes typewriter text, NVL mode, 24 save slots with thumbnails, a backlog that rewinds the story, auto and skip modes, a CG gallery and music room, hot reload of scripts and screen logic, and one-click export to a standalone executable.

Sapoti ERP

2026

A complete, autonomous ERP for import/export logistics, developed at Rigtank Global. It automates DUIMP filings and the preparation of Bills of Lading, Packing Lists, Commercial Invoices and Certificates of Analysis, and features a self-improving translation system for trade documentation.

It also features a hybrid chatbot/agent architecture integrating OpenJev, Claude and rule-based chatbot techniques into a fully autonomous agent and much more of the applications previously mentioned above in the Work Experience section.

The Sapoti ERP is not available for public use, as it is a proprietary application developed for Rigtank Global.

RDC Promotora (Website)

2024 - 2025

The Website and administration system for RDC Promotora de Crédito. Developed with JS, TS, Express and EJS.

Semicollon Estúdios (Website)

2024 - 2025

The Website for Semicollon Estúdios. Developed entirely in house with JS, TS, Express and EJS.

BlackConsult & BlackFilters

2024 - 2025

Proprietary applications developed for RDC Promotora. Real time, instant banking data collection, aggregation and retrieval service. Made in TS, JS, C#, Python and Haskell.

Academic Experience

Graduate in Analysis and Development of Systems

2022 - 2025

Graduate student in the Technologist degree program in Systems Analysis and Development
at FATEC Rubens Lara under Centro Paula Souza, located in Santos - SP, Brazil.

Academic Title of Brilliant Student

Mar 2025

Awarded the title of Brilliant Student for the development of the Markers Markup Language for academic use. You can read the interview here.

Skills

Development of Interpreted Languages

Design and implementation of interpreted programming, scripting and markup languages, from lexing and parsing to abstract syntax trees, validation, tree-walking interpreters and virtual machines with garbage collection. Sole creator of the Markers Markup Language, the Teto Array Language and the Chesed Scripting Language, all implemented in Haskell.

Creator of Bern, an open-source, interpreted and dynamically typed programming language implemented in Haskell, blending functional ideas such as auto-currying, lazy ranges and exhaustive match checking with a lightweight imperative syntax inspired by Lua and Odin. Bern features file-level pragmas for opt-in strict typing, immutability and errors-as-values, a REPL, standalone executable builds and a VSCode extension published on the Visual Studio Marketplace.

Creator of the languages behind Semicollon's engines in Odin: Til, a Python-like scripting language with its own virtual machine, mark-and-sweep garbage collector and Scratch-style block editor, and the rules language that drives interactions and dialog in the Noue Engine. Also implemented the parser, serializer and validator for SBL, Semicollon's Markdown-inspired visual novel scripting language.

Full-Stack Web Development

Development of full-stack web applications in TypeScript, JavaScript, C#, Java and Python, using frameworks such as Astro, React, Vue, NuxtJS, .NET, ExpressJS and EJS, styled with Tailwind CSS. Design of RESTful APIs documented with Swagger, authentication and role-based permission systems, real-time dashboards and reporting for production systems such as Kortex.

Experience with relational and non-relational databases (PostgreSQL, MySQL and MongoDB), including schema migrations, indexing and transactions across various languages and libraries.

Knowledge of Agile Methodology (SCRUM and Lean) and tools like Jira.

Cross-Platform Desktop Development

Proficiency in developing cross-platform desktop applications using JavaScript and the Electron Framework along with frameworks such as ExpressJS and AlpineJS, including Miragem, an IDE and academic paper generator with real-time collaboration via CRDT.

Knowledge of developing desktop apps using Tauri for Rust and building multiplatform applications using Flutter.

Game Engine and Tools Development

Development of 2D game engines and tooling in Odin with raylib and Box2D, including in-game level, pixel art, lighting, cutscene and dialog editors, custom immediate-mode GUI toolkits, post-processing shaders, particle and weather systems, hot reload and frame-perfect input replay. Earlier game development in Python, Lua and Haskell.

Build and release tooling for Windows, including cross-compiling Windows executables from Linux with an LLVM-based toolchain and one-click game export.

AI, Automation and Document Processing

Integration of large language models such as Claude into production systems, including a hybrid chatbot/agent architecture that combines LLMs with rule-based techniques into a fully autonomous agent. Document processing pipelines combining open-source and proprietary OCR for highly sensitive document verification, and automated generation of trade documents.

Browser automation and scraping with Playwright and Selenium, and automation of operational and financial workflows that turn PDFs, spreadsheets and e-mails into structured data and controls.

Systems and Infrastructure

Design and implementation of enterprise and on-premise infrastructure for in-house applications, deployed using (or not) Docker containers on Linux servers and VPS, including domain configuration.

Low-level systems work such as a MongoDB client written from scratch in Odin, implementing the wire protocol, BSON encoding and SCRAM-SHA-256 authentication over multithreaded networking.

Business Analysis and Leadership

Business process mapping, requirements specification and IT project governance, with domain knowledge in import/export logistics (DUIMP, Bills of Lading, Packing Lists, Commercial Invoices and Certificates of Analysis), multi-currency financial reconciliation and credit brokerage operations.

Experience leading multidisciplinary and multicultural teams of 4 to 12 members, handling task delegation and time management, and training junior developers and creatives.