Pinned Repositories
ANU-FP
The talks I do for the ANU Functional Programming Group.
BANNH
A back-propagating artificial neural network in Haskell
donovancrichton.github.io
Honours-Thesis
Bachelor Thesis (Hons 1): A Verified Type-Preserving Crossover Method for Higher-Order Abstract Syntax Trees.
Idris2
A purely functional programming language with first class types
PolyGP
Qualifications
My Tertiary Qualifications.
Talks
A repo of the talks I've given
Idris2
A purely functional programming language with first class types
donovancrichton's Repositories
donovancrichton/BANNH
A back-propagating artificial neural network in Haskell
donovancrichton/Honours-Thesis
Bachelor Thesis (Hons 1): A Verified Type-Preserving Crossover Method for Higher-Order Abstract Syntax Trees.
donovancrichton/Talks
A repo of the talks I've given
donovancrichton/ANU-FP
The talks I do for the ANU Functional Programming Group.
donovancrichton/donovancrichton.github.io
donovancrichton/Idris2
A purely functional programming language with first class types
donovancrichton/PolyGP
donovancrichton/Qualifications
My Tertiary Qualifications.