Prevent this user from interacting with your repositories and sending you notifications.
Learn more about blocking users.
Contact GitHub support about this user’s behavior.
Learn more about reporting abuse.
Carroll is a command-line tool for classical logic.
Parser for Fountain markup, written in Rust.
Recreating Tatsuo Miyajima's works (e.g. Mega Death) in Elm
A calculator for logic
The philosophy honours thesis written by Adam Chalmers at University of Sydney.
Seeing something unexpected? Take a look at the
GitHub profile guide.