Avatar for Ramiro Santa Ana Anguiano from gravatar.com

Ramiro Santa Ana Anguiano

Username    perro
Date joined   Joined

3 projects

k8math

Last released

Generate math word problems with AI

tree-sitter-metamath

Last released

A simple and flexible computer-processable language that supports rigorously verifying, archiving, and presenting mathematical proofs.

metamath2sqlite

Last released

Convert Metamath databases to SQLite
Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page