walck
Professor of Physics at Lebanon Valley College
Lebanon Valley CollegeAnnville, Pennsylvania, USA
Pinned Repositories
cyclotomic
A subfield of the complex numbers for exact calculation.
functional_programming_in_lean
A book about functional programming in Lean
HoTT-UF-Agda-Lecture-Notes
Lecture notes on univalent foundations of mathematics with Agda
learn-physics
A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechanics and electromagnetic theory.
not-gloss
easy 3d plotting in haskell
physics
Physics problem solutions
stackage
"Stable Hackage": vetted consistent packages from Hackage
SymmetryBook
This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
TypeCompose
Type composition classes & instances & misc
walck.github.io
walck's Repositories
walck/learn-physics
A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechanics and electromagnetic theory.
walck/cyclotomic
A subfield of the complex numbers for exact calculation.
walck/functional_programming_in_lean
A book about functional programming in Lean
walck/HoTT-UF-Agda-Lecture-Notes
Lecture notes on univalent foundations of mathematics with Agda
walck/not-gloss
easy 3d plotting in haskell
walck/physics
Physics problem solutions
walck/stackage
"Stable Hackage": vetted consistent packages from Hackage
walck/SymmetryBook
This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
walck/TypeCompose
Type composition classes & instances & misc
walck/walck.github.io
walck/www.haskell.org
www.haskell.org site source