A fast 3D explorer for Lean 4 and mathlib dependency graphs.
- Python
- Lean 4
- JavaScript
- Three.js
Public
Code
A compendium of software projects and data work, with the technologies and access model for each one.
Top technologies · across all projects
Python
100%
SQL
42%
JavaScript
28%
Docker
28%
FastAPI
28%
Dagster
14%
GitHub activity · last 24 months
@Betancourt1An auditable multi-gRPC platform for resilient data pipelines.
- Python
- SQL
- Dagster
- Docker
- PostgreSQL
- gRPC
Private
Governed AI tools connecting language models to enterprise data.
- Python
- SQL
- FastAPI
- MCP
- Docker
- PostgreSQL
Private
A statistical library for demand forecasting and backtesting.
- Python
- StatsForecast
- Pandas
- NumPy
Private
A reproducible preservation pipeline for Mexican film-history datasets.
- Python
- Pandas
- Scraping
- CSV
- JSON
Public
Secure FastAPI endpoints connecting Custom GPTs to SAP HANA.
- Python
- SQL
- FastAPI
- SAP HANA
- Pandas
Private
An interactive graph of relationships between musical emotions.
- Python
- JavaScript
- Sigma.js
- Graphs
Public