sphaso

milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

semantic

Parsing, analyzing, and comparing source code across many languages

ormolu

A formatter for Haskell source code

accelerate

Embedded language for high-performance array computations

library

The papers and books I've read or am about to read.

network

Low-level networking interface

monad-challenges

A set of challenges for jump starting your understanding of monads.

holmes

A reference library for constraint-solving with propagators and CDCL.

IBL-AbstractAlgebra

IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.

IBL-IntroToProof

A textbook for the transition to proof course for mathematics majors utilizing IBL.

IBLLinearAlgebra

Series of worksheets designed to guide students through an inquiry based first year Linear Algebra course

mod

Modular arithmetic, promoting moduli to the type level

monopati

Well-typed paths

ibl-combinatorics

Combinatorics through Guided Discovery

20181025-strongly-typed-martini

Go-Baduk-Study-Materials

General Go/Baduk books, problems, pro games & more

multivariable-calculus-IBL

An Inquiry-Based Learning approach to multivariable calculus by Ben Woodruff, licensed CC-by-sa 3.0 US.

linear-algebra-ibl

An IBL-style linear algebra set of notes

munihac-graph-coloring

wabi

wabivm

Analytic-Geometry-IBL-Notes

These are notes to do an analytic geomtery course at the precalculus level in an Inquiry Based Learning environment.