Skip to content
View maricastroc's full-sized avatar
🎯
Focusing
🎯
Focusing
22 followers · 7 following

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: YOLOAchievement: Quickdraw

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: YOLOAchievement: Quickdraw

Block or report maricastroc

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.

Content in all repositories owned by your account will be closed.
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
maricastroc/README.md

Mariana Castro 👩‍💻

👋 Hi!

I'm a full-stack developer building tools that make complex information legible, trustworthy and auditable.

TypeScript / React / Next.js on the front, PHP / Laravel and Python on the back. Currently building digital-government tools at ÍRIS, the Government of Ceará's innovation and data lab.

📫 How to reach me:

🚀 Selected work

  • Lucid: a deterministic plain-language auditor (ISO 24495-1). An LLM proposes a rewrite; a deterministic engine verifies it. The fence between the two is enforced by the build.
  • Horizonte: a music player where the record has mass and mass bends space. A hand-written gravitational-lens shader and an in-browser FFT, held to the same numbers as an offline Python pipeline.
  • Access Check: a visual accessibility inspector that audits any URL against WCAG 2.1 AA, ties every finding to the element that caused it, and verifies each fix against the live DOM.
  • Gauntlet: a tournament engine where standings are a derived read-model, recomputed on every result and streamed over SSE, on a TypeScript/PHP core checked against shared conformance vectors.

🏆 Experience

ÍRIS (Government of Ceará's Innovation and Data Lab) · Full-Stack Software Engineer · Mar 2023 to Present Web and mobile apps, REST integrations, and AI-powered and automation solutions for public-sector innovation.

Chief Scientist Program for Digital Transformation (Government of Ceará) · Tech Lead & Full-Stack · Jul 2023 to Mar 2025 Led the team behind the Ceará Sem Fome platform (React + PHP/Laravel), a state program against food insecurity, owning features from data modeling to production, plus reviews and tests.

LESC (Computer Engineering and Systems Lab, UFC) · Tech Lead & Full-Stack · 2026 to Present An ERP for project management on a decoupled Python/Flask and React architecture (DDD, Clean Architecture), with financial-simulation modules and Docuseal e-signing.

🛠️ Stack

TypeScript · React · Next.js · Node.js · Tailwind CSS · PHP · Laravel · Python · PostgreSQL · Docker

✅ Open to collaborations on projects with social or technical impact. Reach out.

Pinned Loading

  1. lucid lucid Public

    LLM proposes. Engine verifies. A deterministic text auditor built on traceable criteria, including ISO 24495-1: it judges but never writes, traces every finding to its source, and refuses to certif…

    TypeScript

  2. horizonte horizonte Public

    A spatial music player where music has mass and bends space. Each record shapes its own physics through real audio analysis, including records you bring yourself.

    TypeScript

  3. urban-flow urban-flow Public

    A deterministic agent-based traffic simulation where every road closure, signal, or priority change becomes a controlled experiment.

    TypeScript

  4. access-check access-check Public

    Scan any URL for accessibility issues and get verified, copy-paste fixes, proven by re-running the audit. Built with Next.js, Playwright & axe-core.

    TypeScript

  5. origin-trace origin-trace Public

    Deterministic provenance tracing for Wikipedia. A gap-robust binary-search engine that reconstructs the evidence history of any claim directly from the complete revision history; no LLMs, no guessw…

    TypeScript

  6. gauntlet-api gauntlet-api Public

    Tournament management API built around derived state: standings, tiebreaks and knockout progression are computed from match results, not stored.

    PHP