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 225 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. nutrition-data nutrition-data Public

   Code to create a sqlite db from USDA nutrition database

   Python 12

5. 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

6. newt newt Public

   A toy dependent typed language.

   Agda 5