Skip to content
View alcompa's full-sized avatar
🐲
🐲
  • AImageLab

Highlights

  • Pro

Block or report alcompa

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Stars

Math🟰

19 repositories

Repository for the Stacks Project

TeX 1,005 161 Updated Apr 16, 2026

HTML conversion of a great beginner calculus book

HTML 282 43 Updated Apr 20, 2025

Notes for using Julia while learning calculus

Typst 167 32 Updated Feb 27, 2026

The mdbook source of a free online book on the theory and algorithms of physics-based simulations. You are welcome to make contributions by submitting pull requests or directly contacting the authors.

Handlebars 158 15 Updated Mar 31, 2026

Interactive Linear Algebra

Python 753 120 Updated Oct 11, 2023

Graphic notes on Gilbert Strang's "Linear Algebra for Everyone"

PostScript 21,293 2,530 Updated Jun 30, 2025

A project to map out the relations between different equational theories of Magmas.

Lean 512 91 Updated Apr 6, 2026

An Infinitely Large Napkin

TeX 1,865 174 Updated Apr 11, 2026

These are a set of interactive notes where I review the basics of collocation spectral methods.

Jupyter Notebook 5 3 Updated Nov 6, 2025

A concise, beginner-friendly introduction to the core ideas of matrix calculus.

2 1 Updated Sep 7, 2025

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

SMT 1,280 287 Updated Apr 17, 2026

Visualize 3d/4d hyperbolic honeycombs and Boyd-Maxwell sphere packings.

GLSL 270 10 Updated Dec 26, 2025

Derived from https://github.com/Syntopia/Fragmentarium/

C++ 378 32 Updated Nov 28, 2025

C++ library for ODE integration via Taylor's method and LLVM

C++ 239 14 Updated Apr 3, 2026

OpenBLAS is an optimized BLAS library based on GotoBLAS2 1.13 BSD version.

C 7,387 1,660 Updated Apr 16, 2026

MIT IAP short course: Matrix Calculus for Machine Learning and Beyond

Jupyter Notebook 582 85 Updated Jan 31, 2026

Matematica Open è un progetto di condivisione dei materiali didattici per i corsi di Matematica Generale insegnati nelle Università Italiane

3 1 Updated Nov 27, 2023

A linear algebra book being written by Delft University of Technology employees.

Python 21 4 Updated Jan 21, 2026

A book about category theory

HTML 469 53 Updated Apr 16, 2026