Brian Howard's repositories
focsipedia
Source for the FoCSipedia website
csc424-template
Starter repository for assignments in DePauw CSC 424, Programming Languages
creative-scala-template
Template for those following Creative Scala
Language:ScalaApache-2.0000
CSC232-Animation
Demo of simple animations to show off some design patterns.
FoundOfComp
Foundations of Computation textbook
scala-lang
sources for the Scala language website
Language:SCSSNOASSERTION000
stainless-codespaces
Example repo to work with Stainless in Github Codespaces
Language:Dockerfile000