Skip to content
View dunhamsteve's full-sized avatar
47 followers · 6 following

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Starstruckx2Achievement: Arctic Code Vault Contributor

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 235 14

  2. ios ios Public

    Utility to extract files and keychain information from iOS backups

    Go 127 28

  3. iwork iwork Public

    Code to convert pages files to HTML

    Go 29 7

  4. newt newt Public

    A toy dependent typed language.

    Agda 28

  5. nutrition-data nutrition-data Public

    Code to create a sqlite db from USDA nutrition database

    Python 13

  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

530 contributions in the last year

Contribution Graph
Day of Week April May June July August September October November December January February March April
Sunday
Monday
Tuesday
Wednesday
Thursday
Friday
Saturday
Learn how we count contributions
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More

Activity overview

Contributed to dunhamsteve/newt, idris-lang/Idris2, dunhamsteve/idris2-js and 18 other repositories
Loading A graph representing dunhamsteve's contributions from April 21, 2024 to April 22, 2025. The contributions are 89% commits, 7% pull requests, 3% code review, 1% issues.

Contribution activity

April 2025

Created 11 commits in 2 repositories

Created a pull request in idris-lang/Idris2 that received 3 comments

[ fix ] Declare function types in idris2_dispatch_closure fixes #3538

Description The runtime.c file in the refc backend calls closure functions without a prototype. clang warns that this is deprecated, and newer vers…

+69 −27 lines changed • 3 comments
Reviewed 1 pull request in 1 repository
idris-lang/Idris2 1 pull request
Loading