Pinned Repositories
dungeon-helper
🎲 A Discord bot for performing Dungeons and Dragons 5th Edition dice rolls.
honours-thesis
My undergraduate honours thesis, titled "Refinement Quantifiers for Logics of Belief and Knowledge".
phd-thesis
My doctoral thesis in dynamic epistemic logic, titled "Quantifying over epistemic updates".
spectroscopy
Composing Lenses and Prisms with stronger resulting properties
jameshales's Repositories
jameshales/dungeon-helper
🎲 A Discord bot for performing Dungeons and Dragons 5th Edition dice rolls.
jameshales/honours-thesis
My undergraduate honours thesis, titled "Refinement Quantifiers for Logics of Belief and Knowledge".
jameshales/phd-thesis
My doctoral thesis in dynamic epistemic logic, titled "Quantifying over epistemic updates".
jameshales/spectroscopy
Composing Lenses and Prisms with stronger resulting properties
jameshales/12-halts-1-hole
An Overwatch Workshop game mode where Orisa's pull each other into Ilios well
jameshales/bulma-slate
jameshales/codecov-haskell
codecov.io support for haskell code coverage with hpc
jameshales/dotfiles-archive
Here be dragons
jameshales/fs2-cats-effect
A backport of IOAsyncInstances from fs2-cats to cats 0.9.0
jameshales/fs2-pipeline
A collection of order-relaxing concurrent operations on fs2 streams.
jameshales/ivory
Fork of Ambita's Ivory
jameshales/language-cecon
Cecil's Object Notation language support in Atom
jameshales/lorem-ipsum-generator
Automatically exported from code.google.com/p/lorem-ipsum-generator
jameshales/name-a-gobbo
A random name generator for goblins.
jameshales/piano-scales
jameshales/scum-bot
jameshales/search-guard-enterprise-modules
Enterprise Modules for Search Guard 6
jameshales/spark-example
Word count example in Apache Spark
jameshales/thump
jameshales/voltorb-flip
Simulator and solver for Voltorb Flip