Skip to content
View Jeffinp's full-sized avatar
✝️
✝️

Highlights

  • Pro

Block or report Jeffinp

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Jeffinp/README.md

Jeferson Reis

Typing SVG

Email LinkedIn Portfolio


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.


GitHub Stats

GitHub Stats Top Languages
GitHub Streak

Email LinkedIn Portfolio

Pinned Loading

  1. sistema-solar-3d sistema-solar-3d Public

    JavaScript

  2. meu-ecommerce meu-ecommerce Public

    HTML

  3. gestao_financeira gestao_financeira Public

    TypeScript 1

  4. MenuInterativo MenuInterativo Public

    JavaScript