Skip to content

Instantly share code, notes, and snippets.

View dpzmick's full-sized avatar

David Zmick dpzmick

View GitHub Profile
@roehst
roehst / Direction.idr
Last active December 9, 2018 23:42
Simple verification in Idris
module Main
data Direction = North | South | West | East
turn : Direction -> Direction
turn North = East
turn South = West
turn West = North
turn East = South
@sandsmark
sandsmark / api.txt
Last active January 10, 2023 05:47
reMarkable USB "restish" API
Enable in Settings -> Storage.
Listing documents (returns json blob): http://10.11.99.1/documents/
Listing documents in folder: http://10.11.99.1/documents/${folder_id}/
Getting thumbnail for last opened page: http://10.11.99.1/thumbnail/${document_id}
Upload/import (standard POST call, with 'file' parameter, accepts pdfs and epubs): http://10.11.99.1/upload/
Download (svg or zip with pngs): http://10.11.99.1/download/${document_id}/{pdf,png}
All other requests are served from /usr/share/remarkable/webui/
@taktoa
taktoa / .ghci
Last active December 27, 2017 18:11
My .ghci dotfile
--------------------------------------------------------------------------------
---- Reset all metaflags -------------------------------------------------------
:unset +m
:unset +r
:unset +s
:unset +t
:unset +c
--------------------------------------------------------------------------------