Un explorador 3D rápido de dependencias de Lean 4 y mathlib.
- Python
- Lean 4
- JavaScript
- Three.js
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
Python100%
SQL42%
JavaScript28%
Docker28%
FastAPI28%
Dagster14%
GitHub activity · últimos 24 meses
@Betancourt1Una 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