Skip to content

jecaro/diverk

Folders and files

NameName
Last commit message
Last commit date

Latest commit

3807c71 · Mar 21, 2025

History

69 Commits
Feb 4, 2024
Oct 12, 2023
Sep 18, 2023
Oct 2, 2024
Aug 30, 2023
Oct 30, 2024
Mar 21, 2025
Aug 30, 2023
Oct 2, 2024
Oct 29, 2024
Aug 30, 2023
Nov 6, 2023
Aug 30, 2023
Oct 29, 2024
Aug 30, 2023
Aug 30, 2023
Feb 4, 2024

Repository files navigation

Diverk

Get it on Google Play

Diverk is a simple app that allows you to browse a GitHub repository on your Android device. It renders markdown files and is thus mainly used to access personal notes or documentation written in this format.

It is available on google play and on the web.

It is able to access private repositories when given a valid access token. We recommend using fine-grained access tokens for this purpose.

Note that the app uses the GitHub API and is thus subject to rate limiting. Without a token, the rate limit is 60 requests per hour. It roughly corresponds to 60 pages per hour. It should be enough for quickly looking up something. But for a more intensive use, we recommend using a token.

Using a token increases the rate limit to 5,000 requests per hour. More information about rate limits is available in the GitHub documentation. Additionally, to be able to search in a repository, a token is mandatory. This uses the search code feature of the GitHub API. For this specific feature, the rate limit is 10 searches per hour.

Building

The app is written in Haskell using the obelisk framework.

Start a shell with ob command:

$ nix-shell

Run locally the app with:

$ ob run

and go to http://localhost:8000 to access it.

To hack on the code, haskell-langage-server can be made available in the shell with:

$ ob shell

The Android app can be built with:

$ nix-build -A android.frontend -o result-android

Plug your phone with USB debugging on, then run:

$ ./result-android/bin/deploy

to install the app on the device.

See also the obelisk documentation for more details.

About

An Android app to browse GitHub repositories

Topics

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages