-
sper-viewer Public
Client-side applicaiton for browsing the Static PreTeXt Exercise Library and generating printed assessments.
JavaScript UpdatedJun 24, 2025 -
-
-
-
checkit Public
Platform for authoring free and open randomized exercises for practice and assessment.
-
-
-
-
-
-
checkit-template Public template
Template repository for making a CheckIt bank
-
-
-
-
key-lock-graphs Public
Code and proofs exploring key-lock graphs (e.g. Zelda dungeons)
-
GameSkeleton Public template
Forked from hhu-adam/GameSkeletonThe standard template to create a lean game
Shell MIT License UpdatedMay 16, 2025 -
lean4game Public
Forked from leanprover-community/lean4gameServer to host lean games.
TypeScript GNU General Public License v3.0 UpdatedMay 16, 2025 -
-
-
-
-
-
ghpages-redirect Public template
Quick template to set up redirection with HTTPS via GitHub Pages
HTML UpdatedMar 21, 2025 -
-
passwordless Public
Forked from mikker/passwordless🗝 Authentication for your Rails app without the icky-ness of passwords
-
-
-
openmathbooks.github.io Public
Forked from OpenMathBooks/openmathbooks.github.ioWebsite for the OpenMathBooks project
UpdatedFeb 13, 2025 -
pi-base-data Public
Forked from pi-base/dataA community database of topological counterexamples
Creative Commons Attribution 4.0 International UpdatedJan 31, 2025 -
github-for-mathematicians-minimal-mistakes Public template
Forked from mmistakes/mm-github-pages-starterMinimal Mistakes GitHub Pages site starter.
{{ message }}