Beneficial-AI-Foundation/NumpySpec

numpy -> lean 4 through ai

/ 100

Experimental

No commits in the last 6 months.

Stale 6m No Package No Dependents

Maintenance 2 / 25

Adoption 3 / 25

Maturity 9 / 25

Community 12 / 25

Stars

Forks

Language

Lean

License

Apache-2.0

Category

Last pushed

Jul 28, 2025

Commits (30d)

Get this data via API

curl "https://pt-edge.onrender.com/api/v1/quality/ai-coding/Beneficial-AI-Foundation/NumpySpec"

Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.

Higher-rated alternatives

symforce-org/symforce

Fast symbolic computation, code generation, and nonlinear optimization for robotics

inducer/loopy

A code generator for array-based code on CPUs and GPUs

alphaville/optimization-engine

Nonconvex embedded optimization: code generation for fast real-time optimization + ROS support

inducer/islpy

Python wrapper for isl, an integer set library

loco-3d/crocoddyl

Crocoddyl is an optimal control library for robot control under contact sequence. Its solver is...