Search

Proof assistant based on the λΠ-calculus modulo rewriting

Pokémon Showdown extension that harnesses the power of parabolic calculus to strategically extract your opponents' Elo.

Scientific computing that fits on a microcontroller. Estimation, control, kinematics, Lie groups, calculus, autodiff and linear algebra in stable no_std Rust with no heap, no panics and no unsafe. Run the same code on your laptop and your Cortex-M0.

Data science for beginners involves learning to extract insights from data using statistics, programming (Python/R), and visualization. Key steps include data collection, cleaning, analysis, modeling, and communicating findings. Beginners should start with Python, basic math (linear algebra/calculus), and build projects to create a portfolio.

Calculus Made Easy 非官方简体中文翻译