Jeferson Reis

About

I build production web systems with Next.js, TypeScript, and C#/.NET — and when I'm not doing that, I write operating systems, compilers, and databases in Rust from scratch.

Based in Salvador, Brazil · Available for remote work globally.

What sets me apart:

Shipped a full x86_64 OS in Rust — bare metal, no Linux underneath, boots on real hardware
Built a Redis-compatible in-memory database with lock-free concurrency (Rust + Tokio)
Designed a systems programming language with an LLVM backend
Deliver production web systems across full-stack (TypeScript, React, .NET)

Tech Stack

Primary

TypeScript C# Rust Next.js .NET Go Python

Infrastructure & Tools

React FastAPI PostgreSQL Redis Docker Tailwind CSS Supabase Linux

Featured Projects

OSJeff

x86_64 OS written from scratch in Rust — no Linux underneath

Preemptive scheduler (context switch inside timer ISR), heap allocator, hardware interrupt handling, damage-tracking compositor, and 3 native apps. Boots on real hardware and QEMU. 99 tests, ~98% logic coverage.

Vex Lang

Systems programming language — fast as C++, safe as Rust

Compiles to native binaries via LLVM 17. Hybrid ownership model (generational references + linear types) eliminates the borrow checker burden. Targets Linux and Windows.

StormDB

Redis-compatible in-memory database in Rust

Lock-free reads via DashMap sharding, async I/O on Tokio, AOF persistence, Pub/Sub, master-slave replication, and a TUI monitoring dashboard. Full RESP2 protocol support.

Portfolio & Web Projects

Full-stack web systems — TypeScript, React, Next.js, C#/.NET

Production apps including financial dashboards, e-commerce, SEO-optimized sites, and REST/GraphQL APIs. Clean architecture, strong typing, performance-focused.