A local-first, keyboard-first Markdown editor that runs entirely in the terminal.
- Rust
- Ratatui
- Crossterm
- Markdown
Public
Code
A compendium of software projects and data work, with the technologies and access model for each one.
Top technologies · across all projects
Python77%
SQL33%
JavaScript22%
Docker22%
FastAPI22%
Dagster11%
GitHub activity · last 24 months
@Betancourt1An interactive map replay of 323,648 MiBici trips recorded during June 2026.
- React
- Vite
- Canvas 2D
- Cloudflare Workers
Public
A fast 3D explorer for Lean 4 and mathlib dependency graphs.
- Python
- Lean 4
- JavaScript
- Three.js
Public
An 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