Un editor local-first y keyboard-first de Markdown que funciona por completo en la terminal.
- Rust
- Ratatui
- Crossterm
- Markdown
Público
Código
Un compendio de proyectos de software y datos, con las tecnologías y el modelo de acceso de cada uno.
Tecnologías principales · en todos los proyectos
Python77%
SQL33%
JavaScript22%
Docker22%
FastAPI22%
Dagster11%
GitHub activity · últimos 24 meses
@Betancourt1Una reproducción cartográfica interactiva de 323,648 viajes de MiBici registrados durante junio de 2026.
- React
- Vite
- Canvas 2D
- Cloudflare Workers
Público
Un explorador 3D rápido de dependencias de Lean 4 y mathlib.
- Python
- Lean 4
- JavaScript
- Three.js
Público
Una plataforma multi-gRPC auditable para pipelines de datos resilientes.
- Python
- SQL
- Dagster
- Docker
- PostgreSQL
- gRPC
Privado
Herramientas de IA gobernadas que conectan modelos de lenguaje con datos empresariales.
- Python
- SQL
- FastAPI
- MCP
- Docker
- PostgreSQL
Privado
Una librería estadística para pronóstico de demanda y backtesting.
- Python
- StatsForecast
- Pandas
- NumPy
Privado
Un pipeline reproducible para preservar datos históricos del cine mexicano.
- Python
- Pandas
- Scraping
- CSV
- JSON
Público
Endpoints seguros en FastAPI que conectan Custom GPTs con SAP HANA.
- Python
- SQL
- FastAPI
- SAP HANA
- Pandas
Privado
Un grafo interactivo de relaciones entre emociones musicales.
- Python
- JavaScript
- Sigma.js
- Graphs
Público