David's repositories
Symmetries
My Winning Submission for Apple's WWDC 2021 Swift Student Challenge
algebraic-fibrations
A tool to find virtual algebraic fibrations of right-angled Coxeter groups.
bachelor-thesis
The Happy parser generator for Haskell
Language:HaskellNOASSERTION000
bibleserver-scraper-DE
Repackages German bibles from bibleserver.com for MySword and OpenLP
Language:JavaGPL-3.0000
ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
Language:Python000
haddock
Haskell Documentation Tool
Language:HTMLBSD-2-Clause000
nauty
unofficial repository of nauty and traces, the graph automorphism tools. We aspire to track the official repos closely, but for the latest please visit the official homepage.
Language:CNOASSERTION000