wabivm

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

Low-level networking interface

Parsing, analyzing, and comparing source code across many languages

A formatter for Haskell source code

Well-typed paths

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.