Stars
Modular arithmetic, promoting moduli to the type level
A reference library for constraint-solving with propagators and CDCL.
Embedded language for high-performance array computations
Parsing, analyzing, and comparing source code across many languages
These are notes to do an analytic geomtery course at the precalculus level in an Inquiry Based Learning environment.
An IBL-style linear algebra set of notes
Series of worksheets designed to guide students through an inquiry based first year Linear Algebra course
An Inquiry-Based Learning approach to multivariable calculus by Ben Woodruff, licensed CC-by-sa 3.0 US.
A textbook for the transition to proof course for mathematics majors utilizing IBL.
IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
Combinatorics through Guided Discovery
General Go/Baduk books, problems, pro games & more
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
A set of challenges for jump starting your understanding of monads.