Steven Clontz's repositories
clontz.org
my website
Language:SageMIT000
colltoaction-widip
Computing with diagrams in modern systems.
CC0-1.0000
MIT000
ex-link-pretext-bug
Minimal example of a pretext bug when linking to an exercise.
MIT000
MIT000
MIT000
Language:HTML000
github-for-mathematicians-minimal-mistakes
Minimal Mistakes GitHub Pages site starter.
MIT000
LetsSplitUpGang
Tool for organizing working groups via the AIMath.org workshop model
Language:SvelteMIT000
linear-algebra-tbil
Materials for running a Team-Based Inquiry Learning linear algebra course
Language:HTMLNOASSERTION000
mathlib4
The math library of Lean 4
Language:LeanApache-2.0000
pi-base-data
A community database of topological counterexamples
pretext
PreTeXt: an authoring and publishing system for scholarly documents
Language:XSLTNOASSERTION000
pretext-build-action
Github action to build PreTeXt source
GPL-3.0000
rs
A New Monorepo structure for Runestone
NOASSERTION000
runestoneinteractive.github
This is for templates that apply to all Runestone Repositories
000
MIT000
MIT000
tbil-custom-library
Monorepo for the TBIL library and project webpage
NOASSERTION000
MIT000