S

sympy

Step-level algebra autograder (Python/SymPy) → teacher Excel. Built for K–12 classrooms.

Math teachers save hours grading without losing insight. Carriage: Piloting Fall 2026

A deterministic verification layer for AI systems. QWED verifies AI outputs using mathematics, symbolic reasoning, and formal methods (Z3, SMT, SymPy), creating an auditable trust boundary for agentic AI. Not generation. Verification.

AnsiBisection is a root finder of a single variable function using bisection method, written in Python.

Code from mechanic physics labs (university course)

Repositorio de trabajos prácticos de la materia Teoría de los Circuitos 1.

Course called Introduction to Scientific Python. Please see the syllabus.

Demo of cubesat's orbit and attitude dynamics