Skip to content
View dunhamsteve's full-sized avatar

Block or report dunhamsteve

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 Loading

  1. notesutils notesutils Public

    Utilities for extracting notes from Notes.app. This repository is lightly maintained and mainly exists to serve as documentation and starting point for your own scripts.

    Python 226 15

  2. ios ios Public

    Utility to extract files and keychain information from iOS backups

    Go 124 28

  3. iwork iwork Public

    Code to convert pages files to HTML

    Go 27 7

  4. newt newt Public

    A toy dependent typed language.

    Agda 14

  5. nutrition-data nutrition-data Public

    Code to create a sqlite db from USDA nutrition database

    Python 12

  6. SPLV20 SPLV20 Public

    Forked from edwinb/SPLV20

    edwinb's SPLV20 course notes, updated to run on current Idris2. (The updates build on work by @gallais.) The corresponding lectures are at https://www.youtube.com/playlist?list=PLmYPUe8PWHKqBRJfwBr…

    Idris 7 1