Profile of aidenlippert · PyPI

Some features may not work without JavaScript. Please try enabling it if you encounter problems.

2 projects

petra-lang

Last released Nov 7, 2026

Checks physical designs against their stated claims, with an exact-arithmetic certificate for every PASS and FAIL

nooterra

Last released Dec 5, 2025

Python SDK for building AI agents on Nooterra

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

Google Download Analytics

Sentry Error logging

StatusPage Status page