Pinned Repositories
agda
Agda is a dependently typed programming language / interactive theorem prover.
agda
Agda is a dependently typed programming language / interactive theorem prover.
benzene-vanilla-cmake
CMake managed Benzene vanilla for playing and solving the game of Hex, easier to install!
cabal
Official upstream development repository for Cabal and cabal-install
containers
Assorted concrete container types
hexgui
gui for board game hex (and Y) by broderick arneson
katahex
linear-algebra
An open source Linear Algebra textbook by Peter Selinger, based on the original text by Lyryx Learning and Ken Kuttler.
pg
Problem rendering engine for WeBWorK
set-monad
Set monad
selinger's Repositories
selinger/linear-algebra
An open source Linear Algebra textbook by Peter Selinger, based on the original text by Lyryx Learning and Ken Kuttler.
selinger/hexgui
gui for board game hex (and Y) by broderick arneson
selinger/katahex
selinger/cabal
Official upstream development repository for Cabal and cabal-install
selinger/pg
Problem rendering engine for WeBWorK
selinger/agda
Agda is a dependently typed programming language / interactive theorem prover.
selinger/benzene-vanilla-cmake
CMake managed Benzene vanilla for playing and solving the game of Hex, easier to install!
selinger/containers
Assorted concrete container types
selinger/set-monad
Set monad