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