Skip to content
View ciaran-matthew-dunne's full-sized avatar
💭
Solving all problems, having lots of fun.
💭
Solving all problems, having lots of fun.
2 followers · 20 following

Achievements

Achievement: Pull SharkAchievement: Quickdraw

Achievements

Achievement: Pull SharkAchievement: Quickdraw

Block or report ciaran-matthew-dunne

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories

  1. isabelle-monokai isabelle-monokai Public

    Dark and colourful theme for Isabelle/jEdit

    Python 1

  2. haskell-steg haskell-steg Public

    Simple stenography implemented using Haskell

  3. diss-project diss-project Public

    Toward a Foundation of Mathematics More Suitable for Education

    TeX

  4. android_file_transfer android_file_transfer Public

    Forked from blixtdevelopment/android_file_transfer

    A simple Python GUI to transfer photos and videos from one android device to another

    Python

  5. arxiv-latex-cleaner arxiv-latex-cleaner Public

    Forked from google-research/arxiv-latex-cleaner

    arXiv LaTeX Cleaner: Easily clean the LaTeX code of your paper to submit to arXiv

    Python

  6. isabelle-html isabelle-html Public

    Generating hyperlinked HTML for Isabelle sessions

    Isabelle