Brian Campbell's starred repositories
AntennaPod
A podcast manager for Android
connectbot
ConnectBot is the first SSH client for Android.
opam-repository
Main public package repository for opam, the source package manager of OCaml.
eth-isabelle
A Lem formalization of EVM and some Isabelle/HOL proofs
MetaprogAgda
being the materials for Summer 2013's course
opam-cross-android
An OCaml cross-toolchain for Android and several useful libraries